The states of a computing system bear information and change time, while its events bear time and change information.
— from The Duality of Time and Information by Vaughan Pratt
The most promising transformational logic seems to us to be Girard’s linear logic.
— from Rational Mechanics and Natural Mathematics by Vaughan Pratt
References:
Vaughan Pratt / The Duality of Time and Information http://boole.stanford.edu/pub/dti.pdf
Vaughan Pratt / Time and Information in Sequential and Concurrent Computation http://boole.stanford.edu/pub/tppp.pdf
Vaughan Pratt / Rational Mechanics and Natural Mathematics http://chu.stanford.edu/guide.html#ratmech
[*5.170]
<>
States and Events, per Pratt, are Stone Duals. This way of thinking might allow for a reconstruction of physics that sees particles as the topological spaces that are duals to theories (when representable as logical algebras).
LikeLike