Timeline for Scott on the consistency of the lambda calculus
Current License: CC BY-SA 2.5
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 21, 2018 at 14:07 | comment | added | Anton Salikhmetov | At 35:49 in LogicLounge with Dana S. Scott, there is an interesting comment about the story behind denotational semantics for the lambda calculus: youtu.be/nhc94A829qI?t=35m49s | |
| Apr 6, 2010 at 12:36 | vote | accept | Charles Stewart | ||
| Mar 1, 2010 at 22:15 | comment | added | Andrej Bauer | Professor Scott always mentions Strachey when he speaks about the history of domain theory. | |
| Mar 1, 2010 at 15:19 | comment | added | Neel Krishnaswami | There's also the philosophical angle, in that the asymmetry of observability of termination induces the Sierpinski topology on the 2-point space. A great deal of basic domain theory can be derived from that intuition. | |
| Mar 1, 2010 at 14:53 | comment | added | Charles Stewart | Which suggests "domain-model-ability" is the property in question, and not "consistency". I think your suggestion is sound, and I probably should ask directly. The obvious advantage of domain models over, say, Böhm-tree models is that they allow you to solve fixpoint equations, and so are useful in the semantics of programming languages. Which might point to the concrete influence of Strachey in his choice of research goals, rather than a high-level matter of perspective. | |
| Mar 1, 2010 at 12:43 | history | answered | Andrej Bauer | CC BY-SA 2.5 |