Order

From PKC
Revision as of 05:00, 13 June 2022 by Benkoo (talk | contribs)
Jump to navigation Jump to search

Order is an asymmetric, or directed relation. 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

  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