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=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: