Zeitstrahl der KI Epoche 3 von 12

Formale Logik

1936–1943 1 Beitrag

In wenigen Jahren entsteht die theoretische Grundlage: Denken lässt sich als Rechnen beschreiben — mit klaren Grenzen.

Was in dieser Epoche geschah

1936 veröffentlichte Alan Turing „On Computable Numbers“. Er beschrieb eine Maschine, die ein Band mit Symbolen liest, schreibt und den Kopf bewegt — und zeigte, dass sie jede berechenbare Aufgabe lösen kann. Zugleich bewies er, dass es Aufgaben gibt, die keine solche Maschine entscheiden kann, darunter das Halteproblem. Unabhängig davon entwickelte Alonzo Church den Lambda-Kalkül mit demselben Ergebnis.

1937 zeigte Claude Shannon in seiner Masterarbeit, dass sich Boolesche Logik mit elektrischen Schaltkreisen umsetzen lässt. Aus wahr und falsch wurden Strom an und Strom aus.

1943 beschrieben Warren McCulloch und Walter Pitts das Neuron als Schwellwertschalter: Ein Nervenzellmodell, das Eingaben gewichtet, summiert und bei Überschreiten einer Schwelle feuert. Solche Einheiten lassen sich zu Netzen verbinden, die logische Funktionen berechnen.

Der Meilenstein

1936 — Turing beschreibt eine Maschine, die jede berechenbare Aufgabe ausführen kann, und zeigt zugleich, was sie nicht kann. Damit ist der Rahmen gesetzt, in dem sich KI bis heute bewegt.

Warum diese Epoche zählt

Weil jede Debatte darüber, ob eine KI etwas „kann“, in Wahrheit eine Debatte über Berechenbarkeit ist. Und weil Turing die Grenze mitgeliefert hat: Nicht alles, was man formulieren kann, lässt sich berechnen.

Belege

Jahreszahlen, Namen und Zitate dieser Seite wurden am 27. Oktober 2026 gegen die folgenden Arbeiten geprüft; die Wikipedia-Artikel dienen als Übersicht und Einstieg, nicht als Originalbeleg. Die Belege zu den Meilenstein-Sätzen aller Bänder stehen gesammelt unter Belege zum Zeitstrahl.

  1. Alan Turing, On Computable Numbers, with an Application to the Entscheidungsproblem, Proceedings of the London Mathematical Society 42, 1936 — en
  2. Alonzo Church, An Unsolvable Problem of Elementary Number Theory, 1936 (Lambda-Kalkül) — de
  3. Claude Shannon, A Symbolic Analysis of Relay and Switching Circuits, Masterarbeit MIT, 1937 — en
  4. Warren McCulloch und Walter Pitts, A Logical Calculus of the Ideas Immanent in Nervous Activity, 1943 — de

Beiträge aus dieser Zeit

Gezeigt werden alle Beiträge, deren Datum in diese Epoche fällt (1936–1943), neuere zuerst. Über die Suchmaske oben lässt sich die Liste auf einen Begriff eingrenzen.