Mathematical Modeling and the Conjecture of Comprehensible Representation of Existence Theory

In order to discover a fundamental declaration that can meaningfully represent the abstraction of reality, it is first necessary to understand whether or not reality exists. And there for leading to the question - can the true nature of existence ever be fundamentally and comprehensively understood explained and formally represented.

The Conjecture of Comprehensible Existence states that for Existence to be understood comprehensively, an abstraction would have to discovered that is capable of representing a compressive representation of existence, given that all human understandings are represented as abstractions all the way to the level of human brain functionality.

Since is existence is not an abstraction by definition, the conjecture is met with a conundrum. To resolve this conflict, only the union of all abstractions would be capable of representing a comprehensive understanding of existence. Since this would not be possible, it follows that existence cannot be comprehensively described.

The consequence would be that while the laws of nature might exist, they can never fully be know, but they can be represented abstractly. There will always be limits to modeling reality.

Built on this conjecture, it is reasonable to define concepts that allow the collection of abstractions without disturbing the inherently heterogeneous nature of abstract representations. In other words to form a union of all abstractions, such a union must not interfere or impose upon the abstraction.

The essential functions as represented by View Editor (including confluence), Docgen and Docweb, as well as a wide range of mathematically and computationally sound languages such python, SysML and formal mathematical representations.

Representing and Managing Models

The concept of the Model Management System is conceived to establish a practical means by which models can be accumulated in a Service. The service comes with features necessary for Engineering such as Configuration Management, Data Federation and Version Managment.

Views of Models

A View of reality or existence. Given the theory of Comprehensible Existence, it may seem glib to represent an abstraction of existence with an abstraction. However this is an intentional pattern given the assumption that the union of abstractions may in fact represent a Comprehension of reality that is equivalent to true comprehension.

The notion of a View is built out of a tree of tranclusive expressions.

Transclusions - https://en.wikipedia.org/wiki/Transclusion#:~:text=In%20computer%20science%2C%20transclusion%20is,transparent%20to%20the%20end%20user.

A transclusion the act of dereferencing information at a location

transclusion some element = *content found at (address of content)

This basic structure can then be used to build a tree of expressions that represent a presentation element

View = expression tree addresses of content. This can and must include addresses of other views making the view the essential structure.

The interesting experiment comes with combining the notion of a transclusion with a query. A transclusion is derefernces a location, but what happens when that location is a behavior of some kind. This motives the notion of a transquery or transpression where by behavior is dereferenced rather than structure.

A transquery uses a language to collect a set of addresses and dereferences the content for each address.

A View prescribes a window into both content and presentation. It is in fact the concepts of transclusion and presentation that set Views apart from other forms of representation.

View(model)

Content()

Presentation()

Docgen

It is these concepts that set the Docgen language on a somewhat unique footing. Docgen is a transclusion language. A language designed to program transclusons. In other words the instructions are built around defining and constructing transcluded results.

Collect - collect addresses based on content rules. These rules can be based on default behavior or behavior explicitly stated

Filter - filter based on collected content and rules. Rules need to be stated

Present - transclude content into view presentation.

View = Docgen(model)

Docgen( model)

View = Collect(model, rules)

Filter(view

Documents, Frameworks and Templates