Difference between revisions of "Partially-ordered set"
| Line 1: | Line 1: | ||
Partially-ordered sets ([[POSet]]) are composed of directed relations, similar to a tuple whose data entries' ordered relations is a crucial aspect of information encoding. According to Data Scott<ref>{{:Paper/Outline of a Mathematical Theory of Computation}}</ref>, a [[Partially-ordered set]], also known as: [[POSet]], is the most universal building block for the theory of computation. | Partially-ordered sets ([[POSet]]) are composed of directed relations, similar to a tuple whose data entries' ordered relations is a crucial aspect of information encoding. According to Data Scott<ref>{{:Paper/Outline of a Mathematical Theory of Computation}}</ref>, a [[Partially-ordered set]], also known as: [[POSet]], is the most universal building block for the theory of computation. In other words, it is the data representation of [[Universal abstraction]]. | ||
=Critical Revelation in Programming= | =Critical Revelation in Programming= | ||
Revision as of 14:17, 18 January 2022
Partially-ordered sets (POSet) are composed of directed relations, similar to a tuple whose data entries' ordered relations is a crucial aspect of information encoding. According to Data Scott[1], a Partially-ordered set, also known as: POSet, is the most universal building block for the theory of computation. In other words, it is the data representation of Universal abstraction.
Critical Revelation in Programming
Knowing that POSet is a universal data structure, that means all programs are some variants of POSet. The most important reason for knowing this must be true, is due to the single direction of time flow.
All events must be somehow ordered in time. Therefore, they must all be placed in a Partially ordered set.
This single-minded idea allows one to think of all algorithms in terms of traversing some POSet, or in an other word:Tree. This revelation helps us to see that all databases should be managed in terms of some kind of POSet, and therefore, should be taught and programmed accordingly.
References
- ↑ Scott, Dana (January 1, 1970). "Outline of a Mathematical Theory of Computation". local page: Oxford University Computing Laboratory Programming Research Group.