Provenly Unprovable: Can mathematics describe the world?
Solomon Feferman, 9 February 2006
Like Heisenberg’s uncertainty principle, Gödel’s incompleteness theorem has captured the public imagination, supposedly demonstrating that there are absolute limits to what can be known. More specifically, it is thought to tell us that there are mathematical truths which can never be proved. These are among the misconceptions that proliferate around Gödel’s theorem...
