PERSON
Gottlob Frege
The logician who built the grammar of machines—inventor of modern predicate logic, architect of the sense-reference distinction, and the most honest builder in history: shown his cathedral contained a contradiction, he documented the crack rather than papering over it.
Frege is the founding father no one names. Almost no one outside philosophy and mathematics knows his name, yet anyone who has ever written a line of code, queried a database, or asked a chatbot a question has lived inside the structure he built. In 1879, in a thin book almost no one read, a mathematics professor in Jena published
Begriffsschrift—the concept-script—and with it invented modern logic: quantifiers, variables, functions, the whole formal apparatus that would become two generations later the grammar of computation itself. His project, called
logicism, aimed to reduce all of arithmetic to pure logic, and it produced two revolutions: first
symbolic AI's founding language, and then—when
Bertrand Russell showed the system contained a fatal paradox—the crisis that led directly through
Kurt Gödel and
Alan Turing to computation itself. His most consequential distinction—between the
sense of an expression and its
reference, the object it reaches in the world—is the sharpest