Der Beweis des Satzes über gleichschenklige Dreiecke
Eines der bemerkenswertesten Ergebnisse der frühen Forschung zum maschinellen Denken: ein Programm zum Beweisen von Geometriesätzen erzeugte einen Beweis des Satzes über gleichschenklige Dreiecke, den seine Designer nicht erwartet hatten & den die meisten Mathematiker nicht kannten.
Der klassische Beweis erfordert die Konstruktion einer Hilfslinie: Zeichne die Winkelhalbierende von der Spitze aus, verwende SWS-Kongruenz für die beiden Teildreiecke. Der Beweis funktioniert, erfordert aber eine externe Konstruktion, die das ursprüngliche Problem nicht erwähnt.
Der Beweis des Programms verwendete keine Hilfskonstruktion. Es verglich Dreieck ABC mit Dreieck CBA – dasselbe Dreieck, rückwärts gelesen. Die Entsprechung A↔A, B↔C, C↔B wandelt das ursprüngliche Dreieck in sich selbst um, wobei die Basiseckpunkte vertauscht sind. Beide Seiten sind gleich nach Voraussetzung. Nach SSS-Kongruenz ist Dreieck ABC kongruent zu Dreieck CBA, was bedeutet, dass Winkel B gleich Winkel C ist.
Der Beweis erscheint als Fußnote in einigen Auflagen von Euklid, war aber nicht weit verbreitet. Die Programmierer, die das System aufbauten, kannten ihn nicht. Das Programm fand ihn, indem es einer programmierten Strategie folgte: versuche zuerst den direkten Beweis; wenn festgefahren, versuche Hilfslinien zu zeichnen.
Zeigte das Programm Kreativität?
Hamming stellt die direkte Frage: Ist dies maschinelle Kreativität? Seine Antwort: teilweise, & die Einschränkung ist wichtig.
Die Programmierer schrieben Anweisungen zum direkten Beweisen von Sätzen & zum Versuch mit Hilfskonstruktionen, wenn es festgefahren ist. Das Programm folgte diesen Anweisungen. Der neuartige Beweis entstand durch die Anwendung dieser Anweisungen auf ein Problem, wo der direkte Beweis sich als elegant herausstellte.
Hamming's Beobachtung: Das ist genau, wie Kreativität bei Menschen funktioniert. Deine Geometrieausbildung lud ein Programm in dich. Die Anweisungen sagten: versuche den direkten Beweis; wenn festgefahren, zeichne Hilfslinien. Du hast diese Anweisungen weniger sauber gelernt als eine Maschine – du vergisst, wendest sie falsch an & benötigst endlose Wiederholung. Aber die Struktur ist dieselbe.
Das Paradoxon, das Hamming benennt: Sobald ein Programm existiert, um etwas zu tun, klassifizieren Beobachter das Verhalten automatisch als Routine ein. Die Existenz des Programms zerstört den Eindruck von Intelligenz. Eine Maschine kann einem skeptischen Publikum niemals demonstrieren, dass sie mehr ist als eine Maschine – weil jede Demonstration als 'nur Programmierung' reklassifiziert wird.
Max Mathews & Computermusik
Hamming wechselt von Geometrie zu Musik, & die Verschiebung ist absichtlich: Er möchte zeigen, dass maschinelles Denken über offensichtlich analytische Bereiche hinausgeht.
Max Mathews & John Pierce in den Bell Labs berechneten Musik durch digitale Synthese von Wellenformen. Das System erforderte die Wahl einer Abtastrate: Gemäß dem Nyquist-Theorem benötigst du eine Abtastrate von mindestens 2f, um Töne bis zur Frequenz f zu reproduzieren. Das menschliche Hören reicht bis etwa 18.000 Hz; Telefonqualität erfordert 8.000 Hz, was eine Abtastrate von mindestens 16.000 Hz erfordert.
Mit der festgelegten Abtastrate konnte das System jede Abfolge von Amplituden berechnen, die jede mögliche Wellenform darstellt, die Werte durch einen Digital-Analog-Wandler & Glättungsfilter leiten & das Ergebnis abspielen. Reine Töne sind einfache Sinuswellen. Instrumente kombinieren mehrere Frequenzen mit charakteristischen An- & Abklingverläufen. Komposition wurde zu einer Frage der Angabe von Notenfolgen & Instrumentmodellen.
Dann fragten sie: warum die Noten manuell angeben? Regeln der Komposition existieren. Sie verwendeten diese Regeln plus Zufallsgenerierung, um computerkomponierte Musik zu erzeugen.
Ergebnis: Computerkomponierte, computergespielte Musik erschien bereits Mitte der 1970er Jahre in Radio- & Fernsehwerbung. Die 'höchste Aufnahmequalität' von 1994 war digital. Hamming's Beobachtung: Es geht jetzt darum, welche Klänge es wert sind, erzeugt zu werden, nicht welche Klänge technisch möglich sind. Die technische Grenze ist geschlossen; die ästhetische Grenze bleibt offen.
Die geschlossene technische Grenze
Hamming macht eine scharfsinnige Behauptung: Mit digitaler Audiowiedergabe kann es keine zukünftigen signifikanten technischen Verbesserungen der Soundwiedergabe geben. Das Medium hat theoretische Vollständigkeit erreicht. Verbleibende Verbesserungen sind in der Ästhetik, nicht im Engineering.
Er beobachtet, dass Computermusksysteme auch die Rolle des Komponisten verändert haben: Echtzeit-Wiedergabe ersetzte jahrelange Wartezeiten auf Live-Aufführungen. Ein Komponist kann jetzt seinen Stil schneller entwickeln, weil der Rückkopplungszyklus um Größenordnungen kürzer ist.
Routinejobs & die Kapazitätsfrage
Hamming weicht der Frage der Verdrängung nicht aus. Computer verdrängen Arbeiter aus Routinejobs. Er sagt dies deutlich: 'Roboter werden viele Menschen verdrängen, die Routinejobs verrichten. In einem sehr wirklichen Sinne können Maschinen Routinejobs am besten verrichten, was Menschen für humanere Jobs befreit.'
Der unbequeme Vorbehalt: 'Leider sind viele Menschen derzeit nicht in der Lage, mit Maschinen zu konkurrieren – sie können nicht viel mehr als Routinejobs verrichten.'
Er äußert Zweifel, dass die meisten Menschen aus Routine- in Nicht-Routinearbeit umgeschult werden können. Dies ist keine beliebte Position. Er würdigt den weit verbreiteten Glauben (Hoffnung, sagt er), dass ordnungsgemäße Schulung verdrängte Arbeiter konkurrenzfähig macht. Er zweifelt öffentlich daran, dann fährt er fort.
Die unterscheidende Eigenschaft
Was Non-Routine- von Routinearbeit unterscheidet, in Hamming's Rahmen: die Fähigkeit, eine Situation sorgfältig zu analysieren & im Detail zu spezifizieren, was als Nächstes getan werden sollte. Das ist genau das, was ein Programm tut – & was Maschinen zunehmend können. Die Frage ist, ob die Menge der Situationen, die menschliche Spezifizierung erfordern, schrumpft oder wächst.
Die Kapazitätsfrage
Hamming's Karriere in den Bell Labs gab ihm direkte Beobachtung: Über Jahrzehnte hinweg tendierte die von Computern verdrängte Arbeit konsistent zum Routinemäßigen, & die neue Arbeit, die erschien, tendierte zum Nicht-Routinemäßigen. Der verbleibende menschliche Wert lag in Urteilskraft, Synthese & der Wahl, welche Probleme zu verfolgen sind – nicht in der Ausführung.
Er wirft auf, löst aber nicht: Ist dieses Muster dauerhaft, oder verbraucht Automatisierung schließlich auch das Nicht-Routinemäßige?
Mensch-Maschine-Zusammenarbeit
Hamming's bevorzugter Rahmen für maschinelles Denken ist nicht Konkurrenz, sondern Zusammenarbeit. Er ist daran interessiert, was Mensch & Maschine zusammen tun können, das keiner allein tun kann.
Beispiele, die er in den Bell Labs sah: Das Algebra-Vereinfachungssystem, das menschliche Algebraiker durch lange Symbolmanipulationen führte, während Urteile dem Menschen überlassen waren; das Computermusksystem, das die kreative Reichweite des Komponisten erweiterte, während ästhetische Entscheidungen dem Komponisten überlassen waren; das Unterstützungssystem für medizinische Diagnose, das maschinelle Mustererkennung mit menschlicher kontextueller Urteilskraft verband.
Seine Vorhersage: Die wertvollste Arbeit der kommenden Jahrzehnte liegt an der Schnittstelle – nicht Menschen durch Maschinen ersetzt, & nicht Maschinen durch Menschen eingeschränkt, sondern die Kombination, die beide übersteigt.
Das Chemiesyntheseprogramm ist ein klares Beispiel: Es zählte mögliche Syntheserouten auf, berechnete Kosten & Ausbeuten & präsentierte Optionen. Der Chemiker wählte. Keiner allein würde so gut funktionieren: Das Programm kann nicht erkennen, welche Synthese elegant ist oder welches Nebenprodukt für die nachgelagerte Verwendung wichtig ist; der Chemiker kann nicht 10.000 Routen von Hand aufzählen.