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.
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 BerlinskiDarwin'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.
David BerlinskiMore 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.
David BerlinskiAristotelian logic is massive and marmoreal, but every monument accumulates graffiti.
David BerlinskiAt 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 Berlinski