Tony Hoare (1934–2026)

 (blog.computationalcomplexity.org)
3 Punkte von GN⁺ 2026-03-11 | 1 Kommentare | Auf WhatsApp teilen
  • Der Informatiker Tony Hoare, bekannt für Quicksort und Hoare-Logik, ist im Alter von 92 Jahren verstorben
  • Nach einem Studium der Klassischen Philologie und Philosophie kam er über eine Russisch-Ausbildung und frühe Vorführungen von Computern zur Programmierforschung
  • Als Anekdoten werden die Geschichte einer „Wette um sechs Pence“ mit seinem Vorgesetzten, mit der er die Überlegenheit von Quicksort bewies, sowie seine Gewohnheit, während seiner Zeit bei Microsoft häufig ins Kino zu gehen, vorgestellt
  • Er wird als eine Person mit bescheidenem und humorvollem Charakter beschrieben, die selbst im hohen Alter ein klares Gedächtnis und intellektuelle Schärfe bewahrte
  • Seine Leistungen für die Entwicklung der Informatik und seine menschliche Seite bleiben für Forscher über Generationen hinweg eine anhaltende Inspiration

Leben und Leistungen von Tony Hoare

  • Am 5. März 2026 verstarb Tony Hoare, Turing-Preisträger und Professor an der Universität Oxford, im Alter von 92 Jahren
    • Er gilt als der Schöpfer zentraler Konzepte der Informatik wie des Quicksort-Algorithmus, der Programmiersprache ALGOL und der Hoare-Logik
  • Der Verfasser des Textes erklärt, er habe Hoare in Cambridge mehrfach besucht und persönlichen Austausch mit ihm gepflegt
    • Beim ersten Treffen brachte er einen ausgedruckten Blogbeitrag mit, um das Gespräch zu beginnen, und Hoare erinnerte sich an die Stellen, in denen seine Forschung erwähnt wurde, und erklärte den sprunghaften Größenzuwachs von Programmen sowie die Unterschiede zu frühen Forschungsmethoden

Akademischer Hintergrund und frühe Laufbahn

  • Hoare studierte an der Universität Klassische Philologie und Philosophie und lernte anschließend am Joint Services School for Linguists intensiv Russisch
    • Aus Interesse an Statistik und Computern arbeitete er nach dem Militärdienst als früher Computerdemonstrator (demonstrator), insbesondere auf internationalen Ausstellungen einschließlich der Sowjetunion
    • Er erinnerte sich daran, dass Demonstratoren damals nicht bloß Erklärer waren, sondern Experten mit so tiefem Verständnis, dass sie sogar an der Entwicklung des Codes der Maschinen beteiligt waren

Die Quicksort-Wette und seine berufliche Haltung

  • Aus seiner Zeit bei Elliott Brothers Ltd wird die Anekdote geschildert, dass er seinem Vorgesetzten sagte, er kenne einen schnelleren Sortieralgorithmus, und eine Wette um sechs Pence vorschlug
    • Es stellte sich tatsächlich heraus, dass Quicksort schneller war, und auch der Wetteinsatz wurde tatsächlich ausgezahlt
    • Dass er auf Anweisung seines Vorgesetzten zuerst den langsameren Algorithmus implementierte und erst danach seine eigene Idee vorstellte, zeigt Bescheidenheit und Gewissenhaftigkeit als Fachmann

Persönlichkeit und Alltag

  • Während seiner Zeit bei Microsoft in Cambridge soll er die Gewohnheit gehabt haben, während der Arbeitszeit Programmkino zu besuchen und Filme zu genießen
    • Dazu bestätigte er selbst: „Das war eines meiner Vergnügen, und die Firma erlaubte es.“
  • Zu einem ihm zugeschriebenen Online-Zitat über die Darstellung von „Genies“ im Film sagte er, ob es tatsächlich von ihm stamme, sei unklar, dem Inhalt stimme er jedoch zu
    • Er betonte, mathematische Fähigkeiten entstünden nicht wie im Film aus plötzlicher Inspiration, sondern seien das Ergebnis langen Nachdenkens und Lernens

Ansichten zu Technik und Zukunft

  • In einem Gespräch über die künftige Entwicklung von Computern sagte er: „Die Technologie, über die Regierungen verfügen, ist Jahre weiter, als wir es uns vorstellen“
    • Auf die Frage nach der Möglichkeit von Technologien auf dem Niveau des Codeknackens wich er einer klaren Antwort aus und lächelte nur, was laut Text seine Freude an Humor und Satire zeigte
  • Der Verfasser beendet den Text mit den Worten, dass er Hoares Humor, Geduld und scharfen Intellekt vermissen werde
    • Mit „RIP Tony Hoare (1934–2026)“ nimmt er Abschied

Verwandte Beiträge

1 Kommentare

 
GN⁺ 2026-03-11
Hacker-News-Kommentare

  • Eines meiner Lieblingszitate ist: „Es gibt zwei Möglichkeiten, ein Softwaredesign zu konstruieren. Die eine ist, es so einfach zu machen, dass es offensichtlich keine Mängel hat, und die andere, es so kompliziert zu machen, dass es offensichtlich keine Mängel hat.“
    Ich habe immer gedacht, dass das nicht nur für Software gilt, sondern auch für komplexe Systeme oder Logik insgesamt

    • Ein wirklich großartiges Zitat. Aber der anschließende Kontext enthält die eigentliche Einsicht.
      Die erste Methode ist viel schwieriger und erfordert Hingabe und Einsicht bei der Suche nach Einfachheit innerhalb physischer und logischer Beschränkungen.
      Das steht in seinem Turing-Award-Vortrag "The Emperor’s Old Clothes"
    • Schade, dass er bis zu seiner Turing-Award-Rede gewartet hat, um diesen Satz öffentlich zu sagen.
      Ich zitiere ihn oft. Tony ist mein liebster Informatiker
    • Heutzutage scheint unsere Branche mit Strömungen wie „vibe coding“ ganz den Weg der Komplexität gewählt zu haben. RIP Tony
    • Dieser Satz ist auch nach all den Jahren noch gültig
    • Das erinnert mich an das Pascal-Zitat — „Ich wollte einen kurzen Brief schreiben, hatte aber keine Zeit.“
      Passender Link

  • Eine Geschichte darüber, wie Dijkstra sich auf sein Lebensende vorbereitete und seine Dokumente und Briefe ordnete.
    Als ein Professor fragte, welche Korrespondenz aufbewahrt werden solle, soll Dijkstra vom Krankenbett aus gesagt haben: „Hebt nur die Briefe mit Tony auf und werft den Rest weg.“
    Der Professor erinnerte sich mit trockenem Humor daran, dass sich auch seine eigenen Briefe auf dieser „Wegwerfliste“ befanden

    • Auch die Korrespondenz zwischen John Backus und Dijkstra ist lesenswert.
      Passender Link

  • In Oxford gibt es die Tradition, wichtige Persönlichkeiten mit Gebäudenamen zu ehren.
    Man wollte auch ein Gebäude nach Dr. Hoare benennen, aber „Hoare House“ hätte so geklungen wie „whore“, was unerquicklich war.
    Soweit ich mich erinnere, einigte man sich schließlich auf „C.A.R. Hoare Residence“

    • Im Robert Hooke Building gibt es den Tony Hoare Room. Dort habe ich an einer Reinforcement-Learning-Study-Group teilgenommen.
      Passender Link
    • Die Universität war dabei zu ernst. Als Beispiel für Overloading wäre das ein perfekt passender Name gewesen
    • An unserer Hochschul-Grafikgruppe gab es früher eine ähnliche Situation.
      Die Leute im Restaurant nebenan fanden es verdächtig, dass Tag und Nacht männliche Studenten ein und aus gingen; hätten wir das damals „Hoare House“ genannt, wäre das wirklich komisch gewesen
    • Ich habe an der Uni den CAR Hoare Award bekommen und scherze immer, dass das besser sei als ein „Hoare Award“

  • Angesichts der Tatsache, dass sich seine Forschung mit synchronisierten Kommunikationssystemen zur Reduktion von Verwirrung befasste, ist selbst die Verwechslung seines Namens vielleicht symbolisch.
    Berühmt ist er für den null pointer, aber CSP (Communicating Sequential Processes) und occam waren seine wahren Meisterwerke.
    Aus dem Lager des Actor-Modells mag man das anders sehen, aber so oder so ist es eine enorme Leistung.
    Mein Lieblingszitat von ihm ist: „Es gibt zwei Möglichkeiten, Software zu bauen …“ Das passt wirklich zu ihm

    • CSP und Hoare Logic waren revolutionär. Er war ein starker Verfechter formaler Methoden.
      Eine Zeit lang konnten sie sich nicht im Mainstream durchsetzen, aber ich glaube, sie werden bald zurückkehren.
      Im Zeitalter generierten Codes ist Verifikation der Engpass, also hatte er einfach nur zu früh recht
    • Wir haben diese Einfachheit inzwischen aufgegeben und stecken im Chaos von Async. Software hätte viel einfacher und eleganter sein können
    • Auch das Actor-Modell ist nicht perfekt. Es scheitert daran, kleine korrekte Systeme zu großen korrekten Systemen zusammenzusetzen.
      Ein von transaktionalem Speicher oder Datenbanken inspirierter Ansatz hat mehr Potenzial

  • Ich wurde in Oxford PRG (Programming Research Group) von Tony für mein DPhil interviewt.
    Ich habe zu CSP geforscht und viel Zeit mit ihm verbracht.
    Es macht mich traurig, jetzt daran zu denken, dass der TonyHoare-Prozess den Zustand STOP erreicht hat

    • Wie die meisten anderen hätte ich mir gewünscht, dass er statt STOP DIV macht

  • Ich habe ihn einmal in Cambridge getroffen. Er war wirklich ein sanfter Riese des Intellekts.
    Aus seinem Turing-Award-Vortrag von 1980, „The Emperor’s Old Clothes“, zitiere ich oft diese Passage.
    Ein Vorgesetzter schimpfte: „Du hast Programmierern eine Aufgabe gegeben, die du selbst nicht verstanden hast“, und traf damit letztlich den Kern des Problems.
    Für mich bedeutet das: Selbst wenn wir Arbeit an Programmierer, Compiler oder LLMs delegieren, zahlen wir am Ende den Preis, wenn wir das Ergebnis nicht verstehen

    • Bei der Stelle „Später erkannte er, dass das stimmte“ wäre es noch lustiger gewesen, wenn er direkt gesagt hätte: „Sie hatten recht.“

  • Um Ostern 1961 herum lernte er bei einem ALGOL-60-Kurs in Brighton von Dijkstra, Naur und Landin.
    Dort lernte er zum ersten Mal Rekursion und schrieb Quicksort.
    Er erinnerte sich daran, dass ihm die Genialität der ALGOL-60-Designer erlaubt habe, seine Ideen elegant auszudrücken.
    Das höchste Ziel beim Entwurf von Programmiersprachen war für ihn, es zu ermöglichen, gute Ideen elegant auszudrücken

  • Tonys Paper An Axiomatic Basis for Computer Programming war die erste wissenschaftliche Arbeit, die ich im Studium vollständig verstanden habe.
    Diese Erfahrung hat mir Selbstvertrauen gegeben.
    Jetzt, 35 Jahre später, fällt es mir schwer, die Notation noch einmal zu lesen, aber ich denke darüber nach, es mit Hilfe einer KI abschnittsweise erklärt erneut zu studieren.
    Paper-Link

  • Sein Grundsatz „Array-Indizes sollten immer gegen obere und untere Grenzen geprüft werden“ hat mich beeindruckt.
    Auch Kunden wollten sichere Laufzeitprüfungen statt bloßer Effizienz.
    Schon 1980 warnte er, dass das Ignorieren selbst einer so grundlegenden Sicherheit in anderen Ingenieurdisziplinen illegal wäre.
    — C.A.R. Hoare, ACM-Turing-Award-Vortrag 1980

  • Bei einer Veranstaltung von MSR Cambridge sagte ein Redner: „In der heutigen Welt fallen ältere Entwickler zurück.“
    Da stand ein älterer Herr auf und sagte ruhig: „Wir wissen auch ein bisschen etwas.“
    Dieser Mann war Tony Hoare