Science
Stanford Mathematician Proves ZFC System Insufficient for Natural Mathematical Statements
Theories of Everything
The Genius Who Invented Reverse Mathematics
"I attack it differently. I say it isn't even good enough to do finitary things that we care about. I spent almost my entire life since 1967 trying to uncover uncontrived mathematical contexts in which the ZFC axioms are nowhere near enough."
Friedman argues that the gold standard foundational system for mathematics, ZFC (Zermelo-Fraenkel set theory with the Axiom of Choice), cannot prove natural, concrete mathematical theorems that working mathematicians care about. His 60-year program aims to show ZFC's incompleteness applies to mainstream mathematics, not just abstract set theory. This directly challenges the sufficiency of modern mathematical foundations.
From this episode
Theories of Everything