Completed
Formal Proof
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Propositions as Types
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction
- 2 David Hilbert
- 3 Antidual problem
- 4 Incompleteness theorem
- 5 Alonzo Church
- 6 lambda calculus
- 7 girdle
- 8 Turing machines
- 9 Is mathematics invented
- 10 Natural Deduction
- 11 Formal Proof
- 12 Sub Formula Property
- 13 Example
- 14 Type Theory
- 15 Evaluation
- 16 Holding problem
- 17 Evaluation of programs
- 18 History
- 19 Polymorphic lambda calculus
- 20 Philosophy
- 21 Multiverses
- 22 Questions
