Gödel's First Incompleteness Theorem, Proof Sketch

Kurt Gödel rocked the mathematical world with his incompleteness theorems. With the halting problems, these proofs are made easy!

Created by: Cory Chang
Produced by: Vivian Liu
Script Editor: Justin Chen

Special thanks to Ryan O’Donnell, associate professor at Carnegie Mellon University (http://www.cs.cmu.edu/~odonnell/).

Twitter:   / ubehavior  

—

Extra Resources:
Ryan O’Donnell’s slide deck: http://www.cs.cmu.edu/~aada/courses/1...
Wikipedia entry: https://en.wikipedia.org/wiki/Gödel's...
Rules of deductive calculus: https://en.wikipedia.org/wiki/Hilbert...
Proof that square root of 2 is irrational, in Metamath: http://us.metamath.org/mpegif/sqr2irr...
Mizar system: http://www.mizar.org
Metamath: http://us.metamath.org/index.html
Playlist to previous videos:    • Infinity, and Beyond!