Kurt Gödel proved in the 1930s that the set of mathematical truths is much larger than the set of things provable by algorithms, meaning mathematical truth exceeds what computers can prove.
factualpending
Speaker
Tim PalmerEvidence Quote
“the set of mathematical truths is actually much much larger than the set of things that can be proven by algorithms”
Source
Chaos theory and geometry: can they predict our world? – with Tim Palmer— The Royal InstitutionCreated: 8/10/2026, 11:02:02 PM
My Notes
Loading notes...