What do Gödel’s incompleteness theorems truly mean?
Natalie Wolchover writes: In 1931, by turning logic on itself, Kurt Gödel proved a pair of theorems that transformed the landscape of knowledge and truth. These “incompleteness theorems” established that no formal system of mathematics — no finite set of rules, or axioms, from which everything is supposed to follow — can ever be complete. There will always be true mathematical statements that don’t logically follow from those axioms. I spent the early weeks of the Covid pandemic learning how…