Rechner, Regelung und frühe KI

Eine Aufgabe braucht eine genaue Beschreibung

Was soll ein Rechner tun, und woran wäre die richtige Ausführung zu erkennen? Turing entwickelt eine formale Beschreibung einzelner Schritte und untersucht ihre allgemeine Reichweite. Die Beschreibungsfrage Manchester Baby erprobt später die physische Erhaltung von Anweisungen und Zahlen. Der Speicher als Versuchsaufgabe Das eine ersetzt das andere nicht: Eine gültige Beschreibung garantiert noch kein zuverlässiges Gerät, ein funktionierender Speicher noch keine Lösung jeder denkbaren Entscheidungsfrage.

Ordnungen machen Unterschiede prüfbar

Shannon trennt die statistische Auswahl einer Nachricht von ihrem Sinn. Information und Bedeutung Hamming zeigt, wie zusätzliche Prüfstellen bestimmte Störungen erkennbar machen. Die zusätzliche Ordnung eines Codes Beide Arbeiten verlangen genaue Voraussetzungen. Welche Möglichkeiten hat die Quelle? Was lässt der Kanal zu? Welche Fehlerklasse kann die Prüfung unterscheiden? Die passende Antwort entsteht aus diesem Zusammenhang, nicht aus einer bloßen Zahl von Zeichen oder einem einzelnen bestandenen Test.

Veränderung hat unterschiedliche Kriterien

Ashbys Homeostat verändert Parameter, bis bestimmte Größen in einem vorgesehenen Bereich bleiben. Stabilität als Kriterium Perzeptronmodelle verändern bestimmte Antwortverbindungen nach einer Lernregel. Veränderbare Antworten Beide Vorgänge lassen sich untersuchen, ohne sie mit jeder Form biologischen Lernens gleichzusetzen. Achte auf die vorhandenen Möglichkeiten, die veränderbaren Teile und die Bedingung, unter der eine Einstellung beibehalten oder geändert wird. Ein Erfolg zeigt seine Reichweite erst zusammen mit diesen Voraussetzungen.

Eine Suche ist nicht ihr kontrolliertes Ergebnis

Logic Theorist verbindet die Auswahl eines Suchwegs mit formal prüfbaren Schritten. Suchlauf und Beweis Ein gefundener Beweis kann kontrolliert werden, ohne jeden erfolglosen Suchzweig erneut zu durchlaufen. Ein abgebrochener Lauf ist umgekehrt kein Unbeweisbarkeitsnachweis. Die drei Befundvergleiche des Raums greifen solche Unterschiede auf. Das Quiz konzentriert sich auf eine noch kleinere Frage: Was bedeutet es, wenn eine einzelne Paritätsbedingung nach der Übertragung erfüllt bleibt?

Eine überzeugende Ausgabe verlangt einen Blick ins Verfahren

ELIZA zeigt, wie Schlüsselwörter, Muster und begrenzte Erinnerung einen anschlussfähigen Gesprächsverlauf erzeugen können. Textoperationen und Eindruck Der Rundgang führt durch alle sieben Stationen. Nimm drei Fragen mit: Welche Aufgabe war festgelegt? Welcher Mechanismus erzeugt das Ergebnis? Welche zusätzliche Beobachtung würde eine weitergehende Behauptung prüfen? So lassen sich technische Leistungen würdigen und zugleich die Unterschiede zwischen zuverlässigem Ablauf, gezielter Anpassung und zugeschriebenem Verständnis sichtbar halten.

Quellen und Nachweise

Die Quellen sind den Aussagen im Text zugeordnet. Originalstudien, Sammlungstexte und eigene Einordnung erfüllen unterschiedliche Aufgaben. Einige Fachtexte sind beim Verlag nur teilweise frei zugänglich.

1. Endliche Beschreibung, Universalität und Entscheidungsgrenze

   Alan M. Turing: On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, Serie 2, 42, 1936–1937, S. 230–265.

   Teillektüre, keine vollständige Beweisprüfung. Fortgesetzte Ziffernausgabe von bloßer Laufzeit oder Terminierung getrennt; theoretisches Modell, kein gebautes Gerät.

   ← Zur Textstelle: Eine Aufgabe braucht eine genaue Beschreibung
2. Ein Versuchsrechner zum Nachweis der Speichertechnik

   Frederic C. Williams und Tom Kilburn: Electronic Digital Computers. Nature 162, 1948, S. 487.

   Die moderne redaktionelle Ergänzung ist vom kurzen Originaltext getrennt. Der beschriebene Rechner dient zunächst dem Nachweis des Speichers.

   ← Zur Textstelle: Eine Aufgabe braucht eine genaue Beschreibung
3. Die Speicherorganisation und die ersten Läufe

   Brian Napper: The Manchester Small Scale Experimental Machine. University of Manchester, Stand April 1999.

   32 Wörter zu 32 Bit, Regeneration und unterschiedliche Röhrenaufgaben. Die 52 Minuten betreffen einen größeren Teilerlauf nach dem ersten Lauf mit kleineren Zahlen.

4. Original, Rekonstruktion und spätere Speicherobjekte

   Computer History Museum: Manchester Baby and the Birth of Computer Memory.

   Original nicht erhalten, Rekonstruktion 1998. Spätere Ferranti-Speicherröhre mit anderer Kapazität nicht dem Baby zugeschrieben.

5. Statistische Auswahl und Übertragungsbedingungen

   Claude E. Shannon: A Mathematical Theory of Communication. Bell System Technical Journal 27, 1948; korrigierter gemeinsamer Nachdruck.

   Wahrscheinlichkeiten und Kanalbedingungen, keine Messung von Sinn oder Wahrheit. Beliebig kleine Fehlerwahrscheinlichkeit nicht mit absoluter Fehlerfreiheit endlicher Nachrichten gleichgesetzt.

   ← Zur Textstelle: Ordnungen machen Unterschiede prüfbar
6. Fehler erkennen und unter Voraussetzungen lokalisieren

   Richard W. Hamming: Error Detecting and Error Correcting Codes. Bell System Technical Journal 29, April 1950, S. 147–160.

   Parität und überlappende Prüfungen mit jeweiliger Fehlerannahme. Das kleine Beispiel 1010 ist eine eigene Erklärung, kein historischer Messdatensatz.

   ← Zur Textstelle: Ordnungen machen Unterschiede prüfbar
7. Stabilitätskriterium, Parameterwechsel und Konstruktionsaufwand

   W. Ross Ashby: Can a Mechanical Chess-Player Outplay Its Designer? 1952. In: Roger Conant (Hg.), Mechanisms of Intelligence, 1981, S. 281–294.

   Homeostat mit vier Einheiten und begrenzten vorgesehenen Einstellungen. Er spielte kein Schach; biologische Verallgemeinerungen und unbeschränkte Intelligenzbehauptungen nicht übernommen.

   ← Zur Textstelle: Veränderung hat unterschiedliche Kriterien
8. Die Entwicklung im späteren Familienbericht

   Jill Ashby: W. Ross Ashby – Biography. Familienarchiv.

   Rückblick mit Werkstattarbeit und Bannisters Unterstützung. Nicht als unmittelbar gelesenes zeitgenössisches Werkstattprotokoll ausgegeben.

9. Ausgeführte Suche, Beweisfolgen und Ressourcen

   Allen Newell, J. Clifford Shaw und Herbert A. Simon: Empirical Explorations with the Logic Theory Machine. 1957.

   Keine Volllektüre des vollständigen Aufsatzes behauptet. Ein begrenzter erfolgloser JOHNNIAC-Lauf ist kein Unbeweisbarkeitsnachweis; Abschätzung und gemessene Laufzeit getrennt.

   ← Zur Textstelle: Eine Suche ist nicht ihr kontrolliertes Ergebnis
10. Strategien und Reihenfolgen als Untersuchungsgegenstand

    Allen Newell, J. Clifford Shaw und Herbert A. Simon: Empirical Exploration of the Logic Theory Machine. Kurzfassung P-951-A, 10. Oktober 1956.

    Vollständige Kurzfassung, kein vollständiger empirischer Aufsatz. Gedächtnis, Reihenfolge und Programmvarianten sind getrennte Bedingungen.

11. Der zunächst formale Entwurf der Logic Theory Machine

    Allen Newell und Herbert A. Simon: The Logic Theory Machine: A Complex Information Processing System. IRE Transactions on Information Theory, 1956, S. 61–79.

    Die frühe Beschreibung ist zunächst eine formale Maschine. Shaw und der spätere ausgeführte Versuch werden getrennt berücksichtigt.

12. Perzeptronvarianten, veränderbare Verbindungen und Hypothesen

    Frank Rosenblatt: The Perceptron: A Probabilistic Model for Information Storage and Organization in the Brain. Psychological Review 65(6), 1958, S. 386–408.

    Mehrere Varianten; keine Gleichsetzung mit jeder heutigen Einzelelementskizze. Das eigene Geradenbeispiel gilt ausdrücklich nur für die beschriebene vereinfachte Ausgabe bei festen Merkmalen.

    ← Zur Textstelle: Veränderung hat unterschiedliche Kriterien
13. Erhaltene Funktionen des Mark I Perceptron

    Smithsonian National Museum of American History: Mark I Perceptron, Inventar 1987.0819.01.

    Herstellung 1958, spätere Übernahme 1967. Inventarnummer, Baujahr und einzelne erhaltene Teile werden unterschieden.

14. Ein Forschungsantrag mit ausdrücklich formulierter Vermutung

    John McCarthy, Marvin Minsky, Nathaniel Rochester und Claude Shannon: A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence. 31. August 1955.

    Vorschlag für 1956, kein Bericht über einen bereits nachgewiesenen Erfolg oder eine einheitliche tatsächlich anwesende Gruppe.

15. Gesprächsskript, Textoperationen und zugeschriebene Glaubwürdigkeit

    Joseph Weizenbaum: ELIZA – A Computer Program for the Study of Natural Language Communication Between Man and Machine. Communications of the ACM 9(1), 1966, S. 36–45.

    MAD-SLIP, IBM 7094 und Fernschreiber; OCR-Fehler 7091 nicht übernommen. Kein vollständiges Skript ausgeführt. Begrenzte Erinnerung berücksichtigt, keine Verständnis- oder Therapieprüfung behauptet.

    ← Zur Textstelle: Eine überzeugende Ausgabe verlangt einen Blick ins Verfahren

Redaktion: Benjamin Metzig. Erste vollständige Fassung dieser Sammlung vom 8. September 2026. Generative KI diente als Werkzeug für Text und Bild.