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/1r...

DISCORD ►►   / discord  
PATREON ►►   / moderndaymath