Dana Scott on Lambda Calculus
Revision as of 02:41, 19 January 2022 by Benkoo (talk | contribs) (→Once you define Topology, you may define continuous functions)
Prof. Dana Scott gave a few talks on Lambda Calculus, and some of them are available on Youtube.
Once you define Topology, you may define continuous functions
- Define Continuous Functions
- The main difficulty is that there are two quantifiers, forming a rational number
- Finite amount of information can only be represented by a finite amount of rational numbers
A list of them can be found here: