Completed
Formal Proofs
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
The Limits of Proof
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction
- 2 Formal Proofs
- 3 Gottlob Fraga
- 4 David Hilbert
- 5 Bertrand Russell
- 6 Alfred North Whitehead
- 7 girdle
- 8 Hilbert
- 9 Finiteness
- 10 Propositional Logic
- 11 Boolean Formulas
- 12 Textbook Proofs
- 13 Truth Tables
- 14 Inference Systems
- 15 Linear Time Transformation
- 16 Resolution Proofs
- 17 DPL
- 18 CDCL
- 19 Random formulas
- 20 Frege systems
- 21 Proof complexity
- 22 Polynomial calculus
- 23 optimization
- 24 cutting planes
- 25 higher degree proof systems
- 26 positive selling sets
- 27 sum of squares proofs
- 28 sum of squares
- 29 extension complexity
- 30 dynamic systems
- 31 general proof systems
