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.
David BerlinskiI do not know whether any of this is true. I am certain that the scientific community does not know that it is false.
David BerlinskiThe definition of a limit is essentially his [Cauchy's] creation and is as much of a miracle as those fantastic Swiss clocks of the period in which hundreds of gleaming cogs are made to celebrate not only the time and date but the phases of the moon.
David BerlinskiAn 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.
David BerlinskiCommentators 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.
David BerlinskiWhile 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.
David Berlinski