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

Cory Chang explains Gödel's incompleteness theorems and what they mean for the limits of axiomatic mathematical systems.

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 (cs.cmu.edu/~odonnell/). Twitter: twitter.com/UBehavior — Extra Resources: Ryan O’Donnell’s slide deck: cs.cmu.edu/~aada/courses/15251s16/www/slides/15251-s16-lectu… Wikipedia Entry: en.wikipedia.org/wiki/Gödel%27s_incompleteness_theorems Axiomatic Systems: en.wikipedia.org/wiki/Axiomatic_system Peano Axioms: en.wikipedia.org/wiki/Peano_axioms Principle of Explosion: en.wikipedia.org/wiki/Principle_of_explosion Picture credits: wallpapervortex.com/wallpaper-15925_shadow_of_the_colossus.h… nomads-sotc-blog.blogspot.com/2011/08/colossi-sizes.html nomads-sotc-blog.blogspot.com/2011/07/5th-colossus.html wired.com/2015/07/sorry-perfect-lego-brick-may-never-eco-fri… i.ytimg.com/vi/TZJByZjfNwM/maxresdefault.jpg disney.wikia.com/wiki/Yoda fictionalcharacterbattles.wikia.com/wiki/Darth_Vader spriters-resource.com/mobile/robouniatk/sheet/51416/ clipart-library.com/image_gallery/2180.png