Completed
Kleene: the marriage of recursion theory and intuitionism
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Sam Sanders - Uniformity in Mathematics
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Historical examples of uniformity
- 3 Uniform theorems, then and now
- 4 The Gödel hierarchy
- 5 Gödel hierarchy (including higher-order arithmetic)
- 6 Cousin's lemma and HBU
- 7 Beyond Riemann and Lebesgue integration
- 8 Reverse Mathematics of HBU The following properties of the
- 9 Known 'uniform' theorems
- 10 New uniform theorems: Ramsey's theorem
- 11 The Monty Hall problem of logic
- 12 Collapsing the Godel hierarchy
- 13 Kleene: the marriage of recursion theory and intuitionism
