K

Kurt Gödel

Person

Proved incompleteness theorems showing no complete, consistent formal system exists for arithmetic.

Mentioned in 1 video

BrilliantRussell'S ParadoxCantor
Math's Fundamental Flaw

Math's Fundamental Flaw

Veritasium

Proved incompleteness theorems showing no complete, consistent formal system exists for arithmetic.