Fifty years ago Kurt Gödel... proved that the world of pure mathematics is inexhaustible. … I hope that the notion of a final statement of the laws of physics will prove as illusory as the notion of a formal decision process for all mathematics.

— Freeman Dyson, Infinite in All Directions (1988)

From his 1988 book Infinite in All Directions.

Topics: mathematics