Philosophy
Gödel's Incompleteness Theorems for Philosophers
Quick fact
Gödel proved his first incompleteness theorem by constructing a statement that essentially says 'This statement cannot be proved' within arithmetic—a mathematical version of the liar paradox.
Why this is interesting
You rely on logic every day—but what if the most rigorous logical system couldn't prove all its own truths? Gödel's theorems show that mathematics has unavoidable blind spots.