Completed
Evaluation of programs
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