---

In einer brillanten tour de force beweist der bekannte Computer-Wissenschaftler David Harel bestechend logisch, dass selbst die leistungsstärksten Computer der Welt nicht alles können und niemals können werden. Eine provokative, mit Überraschungen gewürzte Botschaft, die uns an die Grenzen allen Wissens führt.

---

1 Worum geht es überhaupt?.- Algorithmen.- Elementare Anweisungen.- Text und Prozeß.- Eingaben.- Was können Algorithmen?.- Vereinfachen wir nicht zu sehr?.- Algorithmische Probleme lösen.- Programmieren.- Fehler und Korrektheit.- Aufhören.- 2 Manchmal können wir es nicht.- Endliche Probleme sind lösbar.- Das Dominoproblem.- Meinen wir das wirklich?.- Elementare Berechnungsmodelle.- Die Church-Turing-These.- Berechenbarkeit ist robust.- Dominoschlangen.- Programmverifikation.- Das Halteproblem.- Berechenbarkeit ist unberechenbar!.- Manches ist noch unberechenbarer.- 3 Manchmal ist es zu teuer.- Ressourcen: Laufzeit und Speicherplatz.- Wie man die Laufzeit verbessern kann.- Obere und untere Schranken.- Na und?.- Die Türme von Hanoi.- Die guten, die schlechten und die häßlichen.- Undurchführbarkeit.- Roadblock und Schach.- Noch schwierigere Probleme.- Zu wenig Speicherplatz.- 4 Manchmal wissen wir es nicht.- Das Affenpuzzle.- NP-vollständige Probleme.- Kürzeste Wege finden.- Planen und Packen.- Mehr über Spiele.- Netze färben.- Magische Münzen.- Zusammen rauf, zusammen runter.- Das große Geheimnis: Gilt P = NP?.- Können wir uns annähern?.- Manchmal klappt´s.- 5 Schmerzlindernde Mittel.- Parallelität oder zusammen sind wir stark.- Parallelität: wird alles gut?.- Randomisierung oder Münzen werfen.- Mehr über Monte-Carlo-Algorithmen.- Primzahltests.- Randomisierte Primzahltests.- Randomisierung: wird nun alles gut?.- Können Computer den Zufall simulieren?.- Quantencomputer.- Quantenalgorithmen.- Kann es Quantencomputer geben?.- Molekularcomputer.- 6 Schlechtes in Gutes verwandeln.- Klassische Kryptographie.- Public-Key-Kryptographie.- Unterschreiben.- Kann dies funktionieren?.- Das RSA-Kryptosystem.- Interaktive Beweise.- Zero-Knowledge-Beweise.- Ich kann ein Netz 3-färben!.- Über Millionäre, Wahlen und anderes.- 7 Können wir selbst es besser?.- Algorithmische Intelligenz?.- Der Turing-Test.- ELIZA und Zupchoks.- Heuristiken.- Was ist Wissen?.- Natürliche Sprache verstehen.- Nachgedanken.

---

David Harel ist der Dekan der Fakultät für Mathematik und Informatik des Weizmann-Instituts in Rehovot in Israel. Seine Forschungsinteressen liegen in der theoretischen Informatik, mit den Schwerpunkten Berechenbarkeit, Automatentheorie und Logik der Programmierung. Im Jahr 1992 erhielt er für herausragende Lehre den Karlstrom-Preis der Association for Computing Machinery und 1997 den Softwarepreis des israelischen Ministerpräsidenten. David Harel ist vielfacher Buchautor, und wurde einer breiteren Öffentlichkeit durch eine Reihe von Fernsehinterviews bekannt, die er mit herausragenden Mthematikern und Informatikern für einen israelischen Sender durchführte.

---