Dana Scott
Retired American logicianWikipedia
11
MENTIONS
2
EPISODES
2
PODCASTS
Search complete. 11 mentions across 2 episodes found for "Dana Scott".
Sep 23, 2026
Neil GhaniGUEST
So it was known So it wasn't
Thorsten AltenkirchHOST
Actually, we had, uh, uh, p- uh, previously, uh, in this, uh, space, uh, we had Dana Scott.
Neil GhaniGUEST
Mm-hmm.
Thorsten AltenkirchHOST
And, and Dana once said that how lambda calculus should have been invented-
Peter WolfendaleGUEST
And he sort of traces various different mathematical theories that lie on the edge of this.
Peter WolfendaleGUEST
The most important one being Scott domains, right? Which is the Dana Scott's semantics for untyped lambda calculus, which Abramski himself showed is basically, well, in logical form, if you go from the topological spatial form to the logical form, you get geometric logic, which is the internal logic of Groff and Dijkstra puzzles.
Peter WolfendaleGUEST
But I'll come back to this.
Peter WolfendaleGUEST
The key point Abramski gets at is that in Scott domains, information increases monotonically.
Peter WolfendaleGUEST
Right.
Peter WolfendaleGUEST
So, so Scott domains give you a semantics for processes that are non terminating, but convergent to say like a process that calculates the digit of digits of PI that's never going to terminate, but it's always going to
Peter WolfendaleGUEST
incrementally increase the information.
Peter WolfendaleGUEST
Right.