Bernard Bolzano

Bernard Bolzano (1781–1848) was a Bohemian priest, philosopher and mathematician who insisted that calculus should be built on airtight logic, not hand-waving about "infinitely small" quantities. He was decades ahead of his time — and almost nobody noticed while he was alive.

The lasting imprint

Bolzano was one of the first to pin down exactly what it means for a sequence to converge — to home in on a limit — and his ideas point straight at Cauchy sequences, the notion of terms that bunch ever closer together. The Bolzano–Weierstrass theorem, which guarantees a hidden convergent thread inside any bounded sequence, still carries his name at the heart of real analysis.

Bolzano's honesty got him in trouble. His outspoken sermons on peace and social justice annoyed the Austrian authorities so much that he was stripped of his professorship, placed under surveillance, and forbidden to publish. So he kept writing quietly and let much of his best mathematics sit unread for decades. When those manuscripts finally surfaced, mathematicians were amazed to find he'd anticipated ideas they thought were brand new. A man whose greatest work was basically a message in a bottle to the future.