The Beginning of Infinity: Explanations That Transform the World

by David Deutsch

as the mathematician Kurt Gödel had discovered using a different approach to Hilbert’s challenge – almost all mathematical truths have no proofs. They are unprovable truths.