Difference between revisions of "Order"

From PKC
Jump to navigation Jump to search
 
(3 intermediate revisions by the same user not shown)
Line 1: Line 1:
Order is an asymmetric, or [[directed relation]]. It is such an important construct, it has been the essential building block for any computable programs<ref>{{:Paper/Outline of a Mathematical Theory of Computation}}</ref>, since [[Dana Scott]] considers that all data types are [[Partially ordered set]]s. It is also the basis of physical time, as articulated by [[Leslie Lamport]] in his famous paper:[[Paper/Time, Clocks, and the Ordering of Events in a Distributed System|Time, Clocks, and the Ordering of Events in a Distributed System]]<ref>{{:Paper/Time, Clocks, and the Ordering of Events in a Distributed System}}</ref>. Ordering as a physical phenomenon, has a lot to do with [[spacetime]]. It would be particularly relevant to cite [[Hermann Minkowski]]:
Order is an asymmetric, or [[directed relation]]. [[Order]] defines the '''distinguishable''' structures of [[spacetime]]. It is a foundational construct. [[Order]] as a data structure, has been the essential building block for any computable programs<ref>{{:Paper/Outline of a Mathematical Theory of Computation}}</ref>, since [[Dana Scott]] considers that all data types are [[partially ordered set]]s. [[Order]] is also the basis of physical time, as articulated by [[Leslie Lamport]] in his famous paper:[[Paper/Time, Clocks, and the Ordering of Events in a Distributed System|Time, Clocks, and the Ordering of Events in a Distributed System]]<ref>{{:Paper/Time, Clocks, and the Ordering of Events in a Distributed System}}</ref>. Ordering as a physical phenomenon, has a lot to do with [[spacetime]]. It would be particularly relevant to cite [[Hermann Minkowski]]:


{{:Quote/Space by itself, and time by itself, are doomed to fade away}}
{{:Quote/Space by itself, and time by itself, are doomed to fade away}}

Latest revision as of 05:06, 13 June 2022

Order is an asymmetric, or directed relation. Order defines the distinguishable structures of spacetime. It is a foundational construct. Order as a data structure, has been the essential building block for any computable programs[1], since Dana Scott considers that all data types are partially ordered sets. Order is also the basis of physical time, as articulated by Leslie Lamport in his famous paper:Time, Clocks, and the Ordering of Events in a Distributed System[2]. Ordering as a physical phenomenon, has a lot to do with spacetime. It would be particularly relevant to cite Hermann Minkowski:

The following quote appeared in Spacetime Physics[3], on page 15:

Henceforth space by itself, and time by itself, are doomed to fade away into mere shadows, and only a union of the two will preserve an independent reality.

— Hermann Minkowski, 1864-1909



References

  1. Scott, Dana (January 1, 1970). "Outline of a Mathematical Theory of Computation". local page: Oxford University Computing Laboratory Programming Research Group. 
  2. Lamport, Leslie (July 1978). "Time, Clocks, and the Ordering of Events in a Distributed System" (PDF). 21 (7). local page: Communication of ACM. 
  3. Taylor, Edwin; Wheeler, John (1992). Spacetime Physics: Introduction to Special Relativity (2nd ed.). local page: W. H. Freeman and Company. ISBN 978-0-7167-2327-1.  , Chapter 1.5 Unity of Spacetime, Page 15

Related Pages