Gödel's Second Incompleteness Theorem, Proof Sketch

In order for math to prove its own correctness, it would have to be incorrect. This result is Gödel’s second incompleteness theorem, and in this video, we provide a sketch of the proof.

Created by: Cory Chang
Produced by: Vivian Liu
Script Editor: Justin Chen, Brandon Chen, Zachary Greenberg

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

Twitter: https://twitter.com/UBehavior

—
Extra Resources:
Ryan O’Donnell’s slide deck: http://www.cs.cmu.edu/~aada/courses/15251s16/www/slides/15251-s16-lecture16.pdf
Wikipedia entry: https://en.wikipedia.org/wiki/Gödel's_incompleteness_theorems
Boolean algebra: https://en.wikipedia.org/wiki/Boolean_algebra
Playlist to previous videos: https://www.youtube.com/playlist?list=PLlwsleWT767dwRXyAyL0-63ON6cCOXY8E

Видео Gödel's Second Incompleteness Theorem, Proof Sketch канала Undefined Behavior