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 BerlinskiArithmetic is where the content lies, and not logic; but logic prompts certainty, and not arithmetic.
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 BerlinskiLeibniz endeavored to provide an account of inference and judgment involving the mechanical play of symbols and very little else. The checklists that result are the first of humanity's intellectual artifacts. They express, they explain, and so they ratify a power of the mind. And, of course, they are artifacts in the process of becoming algorithms.
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 Berlinski