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.

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.

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.

Darwinism is not a sufficient condition for a phenomenon like Nazism but I think it's certainly a necessary one.

Just who has imposed on the suffering human race poison gas, barbed wire, high explosives, experiments in eugenics, the formula for zyklon b, heavy artillery, pseudo-scientific justifications for mass murder, cluster bombs, attack submarines, napalm, intercontinental missiles , military space platforms and nuclear weapons? If memory serves it was not the Vatican.

The world of shapes, lines, curves, and solids is as varied as the world of numbers, and it is only our long-satisfied possession of Euclidean geometry that offers us the impression, or the illusion, that it has, that world, already been encompassed in a manageable intellectual structure. The lineaments of that structure are well known: as in the rest of life, something is given and something is gotten; but the logic behind those lineaments is apt to pass unnoticed, and it is the logic that controls the system.

Aristotelian logic is massive and marmoreal, but every monument accumulates graffiti.