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.
David BerlinskiDarwinism is not a sufficient condition for a phenomenon like Nazism but I think it's certainly a necessary one.
David BerlinskiNo 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 BerlinskiValidity is the touchstone of inference, and truth of judgment: the fact that vichyssoise is cold ratifies the judgment that vichyssoise is, indeed, cold, and the judgment that vichyssoise is cold expresses the fact that vichyssoise is cold.
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 BerlinskiUltimately, Leibniz argued, there are only two absolutely simple concepts, God and Nothingness. From these, all other concepts may be constructed, the world, and everything within it, arising from some primordial argument between the deity and nothing whatsoever. And then, by some inscrutable incandescent insight, Leibniz came to see that what is crucial in what he had written is the alternation between God and Nothingness. And for this, the numbers 0 and 1 suffice.
David Berlinski