Frühe Theorie
1930er–1950er · Turing und die Geburt des Rechnens
Noch bevor elektronische Computer existierten, erforschten Mathematiker bereits eine tiefgreifende Frage: Können Maschinen „denken“? Diese Frage führte zur Entstehung theoretischer Grundlagen, die die mathematischen und logischen Voraussetzungen für die spätere Geburt der künstlichen Intelligenz schufen. Die Pioniere dieser Ära — Turing, Church, Gödel — leisteten nicht nur mathematische Forschungsarbeit, sondern betrieben auch philosophische Untersuchungen über das Wesen des menschlichen Geistes.
Die theoretische Erkundung dieser Ära lässt sich in drei Hauptstränge unterteilen: die Entwicklung der Berechnungstheorie (vorangetrieben von Turing und Church), die Grenzen der formalen Logik (Gödels Werk) und die Geburt der Informationstheorie (Shannons Beitrag). Diese drei Richtungen verflechten sich und bilden den theoretischen Grundstein der künstlichen Intelligenz.
Wichtige Meilensteine
Gödels Unvollständigkeitssätze
Kurt Gödel veröffentlichte seine Unvollständigkeitssätze und bewies, dass jedes hinreichend mächtige formale System Aussagen enthält, die innerhalb dieses Systems weder bewiesen noch widerlegt werden können. Diese Entdeckung erschütterte nicht nur die mathematische Gemeinschaft, sondern hatte auch tiefgreifende Auswirkungen auf die Berechnungstheorie und die künstliche Intelligenz.
Kurt Gödel (1906–1978)
Church-Turing-These
Alonzo Church und Alan Turing schlugen unabhängig voneinander die berühmte Church-Turing-These vor. Diese These besagt, dass jede effektiv berechenbare Funktion Turing-berechenbar ist. Damit wurde die intuitive Vorstellung von „Berechenbarkeit“ formalisiert und das Fundament der Informatik gelegt.
Alonzo Church und Alan Turing
Turing-Maschine
Alan Turing führte in seiner bahnbrechenden Arbeit „On Computable Numbers, with an Application to the Entscheidungsproblem“ das Konzept der Turing-Maschine ein. Dieses abstrakte Berechnungsmodell kann jeden mathematisch berechenbaren Prozess simulieren.
Alan Turing (1912–1954)
Lambda-Kalkül
Alonzo Church schlug den Lambda-Kalkül vor, ein formales System zur Definition und Anwendung von Funktionen. Der Lambda-Kalkül gilt als theoretische Grundlage der funktionalen Programmierung. Der ursprüngliche Lambda-Kalkül von 1936 war typlos; Church fügte 1940 einfache Typen hinzu („A Formulation of the Simple Theory of Types“) und schuf damit eines der frühesten explizit getypten Systeme.
Alonzo Church (1903–1995)
Neuronenmodell
Warren McCulloch und Walter Pitts veröffentlichten „A Logical Calculus of the Ideas Immanent in Nervous Activity“ und führten das erste künstliche Neuronenmodell ein (McCulloch-Pitts-Neuron). Dieses Modell vereinfachte Neuronen zu binären Schwellwertschaltern und legte den Grundstein für die spätere Erforschung neuronaler Netze.
Warren McCulloch und Walter Pitts
Kybernetik
Norbert Wiener veröffentlichte „Cybernetics: Or Control and Communication in the Animal and the Machine“ und begründete damit die neue Disziplin der Kybernetik. Die Erforschung der Selbstregulierung von Systemen durch Rückkopplungsmechanismen hatte tiefgreifende Auswirkungen auf KI und Robotik.
Norbert Wiener (1894–1964)
Shannons Informationstheorie
Claude Shannon veröffentlichte „A Mathematical Theory of Communication“ und legte damit den Grundstein für die Informationstheorie. Konzepte wie Entropie, Kodierung und Informationsmenge wurden zu zentralen Werkzeugen für das Verständnis von Daten und die Verarbeitung von Informationen.
Claude Shannon (1916–2001)
Turing-Test
In „Computing Machinery and Intelligence“ ersetzte Turing die mehrdeutige Frage „Können Maschinen denken?“ durch das Imitationsspiel, bei dem eine befragende Person anhand eines schriftlichen Dialogs Maschine und Mensch unterscheiden soll. Es ist ein Verhaltenskriterium, kein Beweis für Bewusstsein.
Alan Turing
Der Dartmouth-Vorschlag von 1955
1955 verwendeten John McCarthy, Marvin Minsky, Nathaniel Rochester und Claude Shannon im Vorschlag für das Dartmouth Summer Research Project den Begriff „artificial intelligence“ und skizzierten ein Forschungsprogramm für den Sommer 1956.
John McCarthy et al.
Wichtige Persönlichkeiten
Alan Turing
Vater der Informatik
Turing war nicht nur der Begründer der Informatik, sondern auch ein Pionier des KI-Denkens. Sein Turing-Maschinen-Modell legte den Grundstein für die Berechnungstheorie, und der Turing-Test schuf einen Maßstab für intelligente Maschinen. Während des Zweiten Weltkriegs half seine Arbeit bei der Entschlüsselung des deutschen Enigma-Codes. 1954 starb Turing, nachdem er wegen seiner Homosexualität verfolgt worden war. 2013 gewährte ihm Königin Elisabeth II. eine posthume königliche Begnadigung.
Alonzo Church
Vater des Lambda-Kalküls
Church war Professor an der Princeton University. Sein Lambda-Kalkül ist die theoretische Grundlage der funktionalen Programmierung. Turing promovierte bei ihm in Princeton. Beide hatten 1936 unabhängig voneinander eine Definition der Berechenbarkeit gegeben, die später Church-Turing-These genannt wurde und bis heute zentral für die Berechnungstheorie ist.
Kurt Gödel
Logiker
Gödels Unvollständigkeitssätze gelten als eine der bedeutendsten mathematischen Entdeckungen des 20. Jahrhunderts. Sie zeigen, dass selbst präzise Systeme wie die Mathematik inhärente Grenzen haben — eine philosophische Erkenntnis, die die KI-Entwicklung tiefgreifend beeinflusst.
Claude Shannon
Vater der Informationstheorie
Shannon war nicht nur der Begründer der Informationstheorie, sondern auch ein früher Erforscher der künstlichen Intelligenz. Er baute eine mechanische Maus (Theseus), die Labyrinthe lösen konnte — eine der frühen Demonstrationen einer lernenden Maschine. Seine 1937er Masterarbeit „A Symbolic Analysis of Relay and Switching Circuits“ gilt als grundlegend für die digitale Schaltungstheorie.
Norbert Wiener
Vater der Kybernetik
Wiener war Mathematiker am MIT und begründete die Kybernetik als interdisziplinäres Forschungsfeld. Sein Konzept der „Rückkopplung“ beeinflusste die frühe KI-Forschung. Er gehörte auch zu den ersten Wissenschaftlern, die vor den Gefahren solcher Maschinen warnten, war aber nicht der Erste, der sie fürchtete: Sein Aufsatz von 1960 in Science stellt seine Warnung dem fast ein Jahrhundert älteren Roman von Samuel Butler gegenüber, in dem Maschinen die Menschen beherrschen.
Berühmte Zitate
Ich schlage vor, die Frage zu betrachten: „Können Maschinen denken?“
Computing Machinery and Intelligence · Mind 59 (236), 1950, 433–460
Entweder … übertrifft der menschliche Geist (selbst im Bereich der reinen Mathematik) die Fähigkeiten jeder endlichen Maschine unendlich, oder es gibt absolut unlösbare diophantische Probleme.
Some basic theorems on the foundations of mathematics and their implications · Gibbs Lecture, 1951; Collected Works III, 1995, p. 310 · Internet Encyclopedia of Philosophy
Wenn wir zur Erreichung unserer Zwecke ein mechanisches Werkzeug einsetzen, in dessen Arbeitsweise wir nicht wirksam eingreifen können, sobald wir es in Gang gesetzt haben, … dann sollten wir ganz sicher sein, dass der Zweck, den wir der Maschine eingeben, der Zweck ist, den wir wirklich wünschen, und nicht bloß eine schillernde Nachahmung davon.
Some Moral and Technical Consequences of Automation · Science 131 (3410), 1960, 1355–1358