Completed
15-251: Great Theoretical ideas in Computer Science Spring 2016, Lecture 1.5
Class Central Classrooms beta
YouTube playlists curated by Class Central.
Classroom Contents
Great Ideas in Theoretical Computer Science - On Proofs
Automatically move to the next video in the Classroom when playback concludes
- 1 15-251: Great Theoretical ideas in Computer Science Spring 2016, Lecture 1.5
- 2 Proposition
- 3 Banach-Tarski Theorem
- 4 What is a proof?
- 5 Proofs — prehistory
- 6 Proofs — 19th century
- 7 Principia Mathematica, ca. 1912
- 8 Classification of Finite Simple Groups
- 9 More anecdotes
- 10 Kepler Conjecture
- 11 Computer-assisted proof
- 12 Computer-formalized proofs
- 13 Proof of the Four Color Theorem
- 14 10 tips for finding proofs
- 15 Open notebook mathematics
- 16 Alternate Perspective
- 17 Possible complaints/points off from your TA
- 18 Some common induction mistakes
- 19 Problem: Prove 2n n for all integers n 2 1.
