Difference between revisions of "Order"
| 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 structure of [[spacetime]]. 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]]: | ||
{{: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}} | ||
Revision as of 05:02, 13 June 2022
Order is an asymmetric, or directed relation. Order defines the structure of spacetime. It is such an important construct, it has been the essential building block for any computable programs[1], since Dana Scott considers that all data types are partially ordered sets. It 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
- ↑ Scott, Dana (January 1, 1970). "Outline of a Mathematical Theory of Computation". local page: Oxford University Computing Laboratory Programming Research Group.
- ↑ Lamport, Leslie (July 1978). "Time, Clocks, and the Ordering of Events in a Distributed System" (PDF). 21 (7). local page: Communication of ACM.
- ↑ 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