Propositions as Types

Propositions as Types

Strange Loop Conference via YouTube Direct link

Formal Proof

11 of 22

11 of 22

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. 1 Introduction
  2. 2 David Hilbert
  3. 3 Antidual problem
  4. 4 Incompleteness theorem
  5. 5 Alonzo Church
  6. 6 lambda calculus
  7. 7 girdle
  8. 8 Turing machines
  9. 9 Is mathematics invented
  10. 10 Natural Deduction
  11. 11 Formal Proof
  12. 12 Sub Formula Property
  13. 13 Example
  14. 14 Type Theory
  15. 15 Evaluation
  16. 16 Holding problem
  17. 17 Evaluation of programs
  18. 18 History
  19. 19 Polymorphic lambda calculus
  20. 20 Philosophy
  21. 21 Multiverses
  22. 22 Questions

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.