Leibniz 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.

Ultimately, 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.

Commentators 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.

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.

The 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.

There are gaps in the fossil graveyard, places where there should be intermediate forms, but where there is nothing whatsoever instead. No paleontologist..denies that this is so. It is simply a fact, Darwin's theory and the fossil record are in conflict.

The calculus is the story this [the Western] world first told itself as it became the modern world.