What We Cannot Know

The Economist:

field of mathematics. If people cannot know everything about the physical world, then perhaps they can at least rely on mathematical truth? But even here there are limits. Mathematicians have shown that some theorems have proofs so long that it would take the lifetime of the universe to finish them. And no mathematical system is complete: as Kurt Gödel, an Austrian logician, showed in the 1930s, there are always true statements that the system is not strong enough to prove.

Where does this leave us? In the end, Mr du Sautoy has an optimistic message. There may be things people will never know, but they don’t know what they are. And ultimately, it is the desire to know the unknown that inspires humankind’s search for knowledge in the first place.