1848: Gottlob Frege is born

On 8 November 1848, Friedrich Ludwig Gottlob Frege was born in Wismar, in what is now Germany. A mathematician, logician and philosopher, Frege laid the foundations of modern formal logic—the precise symbolic language that later made programmable machines and artificial intelligence conceivable.

In 1879 he published Begriffsschrift (“Concept Script”), a slim book that introduced a fully formal system of predicate logic. For the first time, statements about “all,” “some,” and relations between objects could be written with the same rigor as equations. Frege later developed a philosophy of language that distinguished sense from reference, clarifying how symbols acquire meaning—an issue that still sits at the heart of knowledge representation and natural-language processing.

Although Frege’s work was little noticed in his lifetime, it profoundly shaped the next generation. Bertrand Russell and Alfred North Whitehead built upon his logic in Principia Mathematica; Ludwig Wittgenstein and the Vienna Circle took his ideas into analytic philosophy; Alonzo Church and Alan Turing later formalized computation itself in ways that rested on Fregean foundations. The very notion that reasoning could be reduced to mechanical symbol manipulation—the core premise of classical AI—traces directly back to Frege’s invention of a gap-free logical calculus.

Today every major AI technique that relies on formal knowledge bases, automated theorem proving, semantic parsing or logic-based planning inherits tools Frege first forged. Large language models may learn statistical patterns rather than explicit axioms, yet the questions they raise about meaning, reference and valid inference are the same ones Frege posed more than a century ago. On his birthday we remember the quiet scholar whose symbols still underwrite the machines that think.