Architekt der symbolischen Logik: Wie John McCarthy Lisp, Time-Sharing und die Grundlagen der KI schuf

Im Jahr 1944 trat der junge John McCarthy in das California Institute of Technology ein, nachdem er sich den Mathematiklehrplan für das Grundstudium in seinen Jugendjahren vollständig im Selbststudium angeeignet hatte. Laut der Biografie über McCarthy ermöglichte ihm diese eigenständige Vorbereitung, die Mathematikkurse der ersten zwei Jahre am Caltech zu überspringen. Nach einer Unterbrechung durch den Dienst in der US-Armee kehrte er zurück und schloss 1948 seinen Bachelor of Science in Mathematik ab. Diese frühzeitige Beherrschung mathematischer Strukturen legte das Fundament für eine Karriere, die das hochrangige Rechnen grundlegend verändern sollte.

Vom autodidaktischen Mathematikstudium nach Dartmouth

Nachdem McCarthy 1951 an der Princeton University promoviert hatte, wechselte er 1955 als Assistant Professor an das Dartmouth College. Schneller als viele andere erkannte er, dass das aufstrebende Feld des mechanisierten Denkens eine schlüssige wissenschaftliche Identität brauchte. Im Sommer 1956 verfasste McCarthy gemeinsam mit Marvin Minsky, Nathaniel Rochester und Claude Shannon den Antrag für einen Workshop. Dieses Dokument führte den Begriff „künstliche Intelligenz“ in die wissenschaftliche Fachsprache ein und begründete eine eigene Disziplin, die auf der Annahme basierte, dass Lernen und andere Aspekte von Intelligenz präzise beschrieben und von Maschinen simuliert werden können.

Entwicklung von Lisp und Speicherverwaltung

Ende der 1950er-Jahre – inzwischen am Massachusetts Institute of Technology tätig – widmete sich McCarthy einer grundlegenden technischen Hürde: Die damaligen Programmiersprachen waren kaum für die symbolische Datenverarbeitung geeignet. Um dieses Problem zu lösen, entwickelte er auf Basis symbolischer Ausdrücke und des Lambda-Kalküls die Programmiersprache Lisp und veröffentlichte 1960 eine wissenschaftliche Arbeit, die die Sprache im Detail beschrieb. Um die dynamische symbolische Ausführung auch auf begrenzter Hardware praktikabel zu machen, erfand McCarthy um 1959 die automatische Speicherbereinigung (Garbage Collection), die Programmierer von der manuellen Speicherzuweisung befreite. Im selben Zeitraum – im August 1959 – schlug er als Mitglied eines Komitees der Association for Computing Machinery vor, Rekursion und bedingte Ausdrücke in ALGOL zu integrieren, was wesentliche Entwurfsmuster moderner Programmiersprachen begründete.

Pionierleistungen zu Time-Sharing und Recheninfrastruktur

McCarthy erkannte außerdem, dass die Stapelverarbeitung auf Großrechnern die Forschungsproduktivität erheblich ausbremste. Er drängte auf Echtzeit-Interaktion und nahm eine Schlüsselrolle bei der Entwicklung früher Time-Sharing-Systeme ein, darunter das Compatible Time-Sharing System (CTSS), das BBN Time-Sharing System sowie das Dartmouth Time-Sharing System. Indem er mehreren Nutzern gleichzeitig den Zugriff auf zentrale Hardware ermöglichte, definierte McCarthy die Ressourcenverwaltung neu. In einer Rede zum hundertjährigen Bestehen des MIT im Jahr 1961 führte er diese architektonische Vision weiter aus und formulierte das Konzept der Recheninfrastruktur als Versorgungsnetz: Interaktive Rechenleistung und spezialisierte Anwendungen könnten Nutzern eines Tages ähnlich wie öffentliche Versorgungsleistungen für Wasser oder Elektrizität zur Verfügung gestellt werden.

Logik, Zirkumskription und die Auszeichnung mit dem Turing Award

Über Jahrzehnte hinweg verfeinerte McCarthy logische Systeme für das Schlussfolgern des gesunden Menschenverstands. 1966 leitete er das Team, das ein Schachprogramm für den Kotok-McCarthy-Wettkampf gegen sowjetische Informatiker entwickelte – einen Test für Spielalgorithmen, der für McCarthys Mannschaft mit zwei Unentschieden und zwei Niederlagen endete. Zwischen 1978 und 1986 entwickelte er die Zirkumskription, ein mathematisches Verfahren zur Formalisierung nicht-monotonen Schließens bei unvollständigen Informationen. McCarthys umfassende Beiträge zur künstlichen Intelligenz, zur symbolischen Datenverarbeitung und zum Systementwurf brachten ihm 1971 den Turing Award der Association for Computing Machinery ein.

McCarthys frühe Arbeiten im Bereich Time-Sharing und Recheninfrastruktur legten das theoretische Fundament für moderne Servernetzwerke und Cloud-Infrastrukturen. Durch die Verbindung mathematischer Logik mit automatisierter Speicherverwaltung etablierten seine Architekturentscheidungen zentrale Softwareparadigmen, die die moderne Informatik und Softwareentwicklung bis heute prägen.

KI-generierte redaktionelle Illustration; kein Dokumentarfoto.

Quelle: John McCarthy (computer scientist)