In this episode, we cover the history of 20th century Austro-Hungarian mathematician, logician, and philosopher Kurt Gödel, considered to be one of the most significant logicians in history. He is most notable for his incompleteness theorems, which showed in any axiomatic mathematical system, there are propositions that cannot be proven or disproved within the axioms of the system.
As per usual, I don't go too deeply into the mathematics, largely just covering his history. Hope you enjoy!
Sources: https://docs.google.com/document/d/1r4T4DVhoAXLSBYGJPCWbYwIViBs4OW4varBXeNgtXYY/edit?usp=sharing
DISCORD ►► https://discord.gg/Jd3tCeK
PATREON ►► https://www.patreon.com/moderndaymath
Runtime 00:16:36
history, mathematics, logic, type theory, einstein, axiom of choice, philosophy, incompleteness, completeness, Gödel, godel, logician, continuum hypothesis, textile, protestant, afterlife, german, austrian, austro-hungarian, hungarian, hungary, vienna, russell, hilbert, ackermann, constructible universe, zermelo, fraenkel, frankel, set theory, poison, dawson,
