Although every novel is derived directly from another novel, there is really only one novel, the Quixote.

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

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

The desire to see and the desire to ratify what one has seen are desires at odds with one another, if only because they proceed from separate places in the imagination.

However good an argument in philosophy may happen to be, it is generally not good enough.

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.

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.