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

Although every novel is derived directly from another novel, there is really only one novel, the Quixote.

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.

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.

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.

I do not know whether any of this is true. I am certain that the scientific community does not know that it is false.

An axiomatic system comprises axioms and theorems and requires a certain amount of hand-eye coordination before it works. A formal system comprises an explicit list of symbols, an explicit set of rules governing their cohabitation, an explicit list of axioms, and, above all, an explicit list of rules explicitly governing the steps that the mathematician may take in going from assumptions to conclusions. No appeal to meaning nor to intuition. Symbols lose their referential powers; inferences become mechanical.