Math isn’t perfect, and math can prove it. In this video, we dive into Gödel’s incompleteness theorems, and what they mean for math.

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

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%2...
Axiomatic Systems: https://en.wikipedia.org/wiki/Axiomat...
Peano Axioms: https://en.wikipedia.org/wiki/Peano_a...
Principle of Explosion: https://en.wikipedia.org/wiki/Princip...

Picture credits:
http://www.wallpapervortex.com/wallpa...
http://nomads-sotc-blog.blogspot.com/...
http://nomads-sotc-blog.blogspot.com/...
https://www.wired.com/2015/07/sorry-p...
https://i.ytimg.com/vi/TZJByZjfNwM/ma...
http://disney.wikia.com/wiki/Yoda
http://fictionalcharacterbattles.wiki...
https://www.spriters-resource.com/mob...
http://clipart-library.com/image_gall...