Commentators who today talk of 'The Dark Ages' when faith instead of reason was said to ruthlessly rule, have for their animadversions only the excuse of perfect ignorance. Both Aquinas' intellectual gifts and his religious nature were of a kind that is no longer commonly seen in the Western world.

Arithmetic is where the content lies, and not logic; but logic prompts certainty, and not arithmetic.

There are gaps in the fossil graveyard, places where there should be intermediate forms, but where there is nothing whatsoever instead. No paleontologist..denies that this is so. It is simply a fact, Darwin's theory and the fossil record are in conflict.

Some philosophers see into themselves, and some into their times; still others forge an alliance with the future.

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.

Bystanders wandered in and out of the merchant's stall, passing the time, talking of dreams they might purchase. Workers and slaves stooped from labor asked timidly for dreams of wine and ease. Women asked for dreams of love, and men for dreams of women.

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.