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 Vaughn Pratt
The most promising transformational logic seems to us to be Girard’s linear logic.
— from Rational Mechanics and Natural Mathematics by Vaughn Pratt
Here we have three duals: information – time, state – event, and bear – change.
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]
<>
November 29, 2015 at 12:04 PM |
[…] have previously tried to diagram some of computer scientist Vaughn Pratt’s notions, such as a Duality of Time and Information and the Stone Gamut. Another recent attempt is the diagram above of four transformations that issue […]
February 21, 2017 at 10:45 AM |
[…] times before. The first time was about Richard McKeon’s Aspects of Knowing, the second was about Vaughn Pratt’s Duality of Information and Time, and now we have Edward de Bono’s Six Thinking […]