You On AI Field Guide · Gottlob Frege The You On AI Field Guide Home
TxtLowMedHigh
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
← Home0%
PERSONBook →

Keep reading with YOU ON AI

Unlock the full book, 10,000+ field-guide entries, and a 1000+ thinker library. If you have a book code, register now — it takes a minute.

Register with book code Sign in