Mathematical Theory

Nearly a hundred years after its publication, Kurt Gödel's famous proof that every mathematical system must contain propositions that are true - yet never provable - continues to unsettle mathematics, philosophy, and computer science. Yet unlike Einstein, with whom he formed a warm and abiding friendship, Gödel has long escaped all but the most casual scrutiny of his life.

On August 10, 1632, five men in flowing black robes convened in a somber Roman palazzo to pass judgment on a deceptively simple proposition: that a continuous line is composed of distinct and infinitely tiny parts. With the stroke of a pen the Jesuit fathers banned the doctrine of infinitesimals, announcing that it could never be taught or even mentioned. The concept was deemed dangerous and subversive, a threat to the belief that the world was an orderly place, governed by a strict and unchanging set of rules.