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.

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.

The motion of the mind is conveyed along a cloud of meaning.~ There is this paradox that we get to meaning only when we strip the meaning from symbols.

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.

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

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.

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