Frühe Theorie
1930er–1950er · Turing & 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 & 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 & 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. Sein Student war Turing, und gemeinsam formulierten sie die Church-Turing-These, die 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. Wiener warnte auch als Erster vor den möglichen Gefahren der KI.
Berühmte Zitate
Ich schlage vor, die Frage zu betrachten: „Können Maschinen denken?“
Jedes hinreichend mächtige formale System ist unvollständig.
Die Gefahr der Maschinen liegt nicht in den Maschinen selbst, sondern in der Abhängigkeit des Menschen von ihnen.