No distinction in kind rather than degree between ourselves and the chimps? No distinction? Seriously, folks? Here is a simple operational test: the chimpanzees invariably are the one behind the bars of their cages.
David BerlinskiArithmetic is where the content lies, and not logic; but logic prompts certainty, and not arithmetic.
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 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 BerlinskiAn 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 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