Darwin's theory of evolution is the last of the great nineteenth-century mystery religions. And as we speak it is now following Freudians and Marxism into the Nether regions, and I'm quite sure that Freud, Marx and Darwin are commiserating one with the other in the dark dungeon where discarded gods gather.

Ultimately, Leibniz argued, there are only two absolutely simple concepts, God and Nothingness. From these, all other concepts may be constructed, the world, and everything within it, arising from some primordial argument between the deity and nothing whatsoever. And then, by some inscrutable incandescent insight, Leibniz came to see that what is crucial in what he had written is the alternation between God and Nothingness. And for this, the numbers 0 and 1 suffice.

While science has nothing of value to say on the great and aching questions of life, death, love, and meaning, what the religious traditions of mankind have said forms a coherent body of thought... There is recompense for suffering. A principle beyond selfishness is at work in the cosmos. All will be well. I do not know whether any of this is true. I am certain that the scientific community does not know that it is false.

At the beginning of the new millennium, we still do not know why mathematics is true and whether it is certain. But we know what we do not know in an immeasurably richer way than we did. And learning this has been a remarkable achievement-among the greatest and least-known of the modern era.

Every computer divides itself into its hardware and its software, the machine host to its algorithm, the human being to his mind. It is hardly surprising that men and women have done what computers now do long before computers could do anything at all. The dissociation between mind and matter in men and machines is very striking; it suggests that almost any stable and reliable organization of material objects can execute an algorithm and so come to command some form of intelligence.

Validity is the touchstone of inference, and truth of judgment: the fact that vichyssoise is cold ratifies the judgment that vichyssoise is, indeed, cold, and the judgment that vichyssoise is cold expresses the fact that vichyssoise is cold.

For the most part, it is true, ordinary men and women regard mathematics with energetic distaste, counting its concepts as rhapsodic as cauliflower. This is a mistake-there is no other word. Where else can the restless human mind find means to tie the infinite in a finite bow?