1925: Gottlob Frege avlider

Den 26 juli 1925 dog den tyske filosofen och matematikern Gottlob Frege i Bad Kleinen, sjuttio sex år gammal. Fastän han var föga firad under sin livstid hade Frege i tysthet lagt om grunderna för logiken. Hans lilla skrift Begriffsschrift från 1879 presenterade ett helt formellt språk med kvantifikatorer och predikat—den första notationen som var stark nog att fånga den invecklade strukturen i vanligt matematiskt tänkande.

Före Frege var logiken i stort sett en katalog över syllogismer ärvda från Aristoteles. Efter honom blev den en exakt kalkyl som i princip kunde utföras av en maskin. Hans åtskillnad mellan mening och referens, hans krav på en skarp gräns mellan objekt och begrepp, och hans ofullbordade försök att härleda aritmetiken ur ren logik gav de begreppsliga redskap som senare användes av Russell, Whitehead, Carnap, Church och Gödel.

Dessa redskap gick rakt in i den digitala tidsåldern. När Turing formaliserade beräkning, när McCarthy konstruerade Lisp och när moderna teorembevisare söker efter bevis, stöder de sig alla på den predikatlogik Frege skapade. Även de kunskapsrepresentationsspråk som finns inuti dagens stora språkmodeller—grafer av entiteter, relationer och kvantifierade villkor—är avlägsna ättlingar till den notation han tecknade för hand.

Frege såg aldrig en elektronisk dator, men varje AI-system som resonerar i stället för att bara känna igen mönster vandrar en stig som han öppnade. På denna årsdag minns vi den tyste lärde vars död avslutade ett kapitel och vars idéer fortfarande ger liv åt det nästa.