*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.

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]

<>

### Like this:

Like Loading...

This entry was posted on May 2, 2013 at 9:45 AM and is filed under Cartesianism, Computation, fourfolds, Space and Time. You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.

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 […]