Difference between revisions of "Dana Scott on Lambda Calculus"
Jump to navigation
Jump to search
| Line 2: | Line 2: | ||
=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=3315 The main difficulty is that there are two quantifiers, forming a rational number] | *[https://youtu.be/S1aoZb7vF4M?t=3315 The main difficulty is that there are two quantifiers, forming a rational number] | ||
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:38, 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
A list of them can be found here: