Difference between revisions of "Dana Scott on Lambda Calculus"
Jump to navigation
Jump to search
| Line 3: | Line 3: | ||
=Once you define Topology, you may define continuous functions= | =Once you define Topology, you may define continuous functions= | ||
*[https://youtu.be/S1aoZb7vF4M?t=3290 Define Continuous Functions] | *[https://youtu.be/S1aoZb7vF4M?t=3290 Define Continuous Functions] | ||
*[https://youtu.be/S1aoZb7vF4M?t= | *[https://youtu.be/S1aoZb7vF4M?t=3310 The main difficulty is that there are two quantifiers, forming a rational number] | ||
*[https://youtu.be/S1aoZb7vF4M?t=3315 Finite amount of information can only be represented by a finite amount of rational numbers] | |||
A list of them can be found here: | A list of them can be found here: | ||
{{#ask: [[Category:Dana Scott on Lambda Calculus]] | {{#ask: [[Category:Dana Scott on Lambda Calculus]] | ||
Revision as of 02:40, 19 January 2022
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: