As headlines go, it's certainly an eye-catching one. "Scientists Prove Existence of God," German daily Die Welt wrote last week. But unsurprisingly, there is a rather significant caveat to that claim.

Paul Erdős, the famously eccentric, peripatetic and prolific 20th-century mathematician, was fond of the idea that God has a celestial volume containing the perfect proof of every mathematical theorem ...