Math's Existential Crisis (Gödel's Incompleteness Theorems)

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: 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%27s_incompleteness_theorems
Axiomatic Systems: https://en.wikipedia.org/wiki/Axiomatic_system
Peano Axioms: https://en.wikipedia.org/wiki/Peano_axioms
Principle of Explosion: https://en.wikipedia.org/wiki/Principle_of_explosion

Picture credits:
http://www.wallpapervortex.com/wallpaper-15925_shadow_of_the_colossus.html
http://nomads-sotc-blog.blogspot.com/2011/08/colossi-sizes.html
http://nomads-sotc-blog.blogspot.com/2011/07/5th-colossus.html
https://www.wired.com/2015/07/sorry-perfect-lego-brick-may-never-eco-friendly/
https://i.ytimg.com/vi/TZJByZjfNwM/maxresdefault.jpg
http://disney.wikia.com/wiki/Yoda
http://fictionalcharacterbattles.wikia.com/wiki/Darth_Vader
https://www.spriters-resource.com/mobile/robouniatk/sheet/51416/
http://clipart-library.com/image_gallery/2180.png

Видео Math's Existential Crisis (Gödel's Incompleteness Theorems) канала Undefined Behavior