In the weeks leading up to September 1891, mathematician Georg Cantor prepared an ambush. For years he had sparred - philosophically, mathematically and emotionally - with his formidable rival Leopold Kronecker, one of Germany's most influential mathematicians. Kronecker thought that mathematics should deal only with whole numbers and proofs built from them and therefore rejected Cantor's study of infinity. "God made the integers," Kronecker once said. "All else is the work of man."
The fastest human in the world, according to the Ancient Greek legend, was the heroine Atalanta. Although she was a famous huntress who joined Jason and the Argonauts in the search for the golden fleece, she was most renowned for the one avenue in which she surpassed all other humans: her speed. While many boasted of how swift or fleet-footed they were, Atalanta outdid them all. No one possessed the capabilities to defeat her in a fair footrace.
A drawn circle is at least something physical. You can see it, touch it, erase it. The skeptic can still say, "Circles are grounded in physical reality. Justice is different; it's just an idea in your head." So let's talk about the number two. Point to it. Not two apples, not two fingers, not a numeral on a page-that's just a symbol.
Walking through a field one day, a 17-year-old schoolteacher named George Boole had a vision. His head was full of abstract mathematics - ideas about how to use algebra to solve complex calculus problems. Suddenly, he was struck with a flash of insight: that thought itself might be expressed in algebraic form. Boole was born on November 2, 1815, at four o'clock in the afternoon, in Lincoln, England.
Many philosophers strike me as like Polish apparatchiks in 1983-they turn up to work and do what they did yesterday just because they don't know what else to do, not because they seriously believe in the system they are maintaining. I think it's not been fully appreciated how much of a blow it is to the confidence of the field's youth that scientific ambitions are increasingly abandoned as untenable.