An axiomatic system establishes a reverberating relationship between what a mathematician assumes (the axioms) and what he or she can derive (the theorems). In the best of circumstances, the relationship is clear enough so that the mathematician can submit his or her reasoning to an informal checklist, passing from step to step with the easy confidence the steps are small enough so that he cannot be embarrassed nor she tripped up.

More than sixty years ago, mathematical logicians, by defining precisely the concept of an algorithm, gave content to the ancient human idea of an effective calculation. Their definitions led to the creation of the digital computer, an interesting example of thought bending matter to its ends.

Just who has imposed on the suffering human race poison gas, barbed wire, high explosives, experiments in eugenics, the formula for zyklon b, heavy artillery, pseudo-scientific justifications for mass murder, cluster bombs, attack submarines, napalm, intercontinental missiles , military space platforms and nuclear weapons? If memory serves it was not the Vatican.

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.

In the end, every scheme and every science is justified by itself or it is not justified at all.

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.

If moral statements are about something, then the universe is not quite as science suggests it is, since physical theories, having said nothing about God, say nothing about right or wrong, good or bad. To admit this would force philosophers to confront the possibility that the physical sciences offer a grossly inadequate view of reality. And since philosophers very much wish to think of themselves as scientists, this would offer them an unattractive choice between changing their allegiances or accepting their irrelevance.