ältesten Probleme der Informatik. Aber es wird mit KI dringender, denn je leichter eine KI-Funktion es macht, eine ganze Auswahl mit einem Klick zu übernehmen, desto mehr hängt davon ab, was nach diesem Klick wirklich passiert.
Zwei Generäle und ein Bote
1975 beschrieben drei Informatiker ein Gedankenexperiment, das später unter dem Namen „Problem der zwei Generäle“ berühmt wurde. Zwei Armeen stehen auf zwei Hügeln, dazwischen liegt eine feindliche Stadt. Nur gemeinsam können sie gewinnen. Ihre einzige Verbindung sind Boten, die unterwegs abgefangen werden können.
General A schickt: „Angriff morgen früh.“ Kam die Nachricht an? Nur, wenn B eine Bestätigung zurückschickt. Aber kam die Bestätigung an? Dann müsste A wiederum bestätigen, und so weiter. Es ist bewiesen, dass kein Protokoll der Welt beiden Generälen über einen unzuverlässigen Kanal letzte Gewissheit verschaffen kann. 1
Maras Handy ist General A. Der Leihregal-Server ist General B. Das schlechte Netz im Jugendzentrum ist die feindliche Stadt. Die Antwort der Informatik auf dieses Problem ist deshalb nicht Gewissheit. Sie besteht aus zwei Werkzeugen, die du in diesem Kapitel kennenlernst: nachfragen statt raten, und Wiederholungen so bauen, dass sie keinen Schaden anrichten.
Die Reservierung gehört der normalen Anwendung
Bis zum Klick auf „Reservieren“ hat die KI Geräte vorgeschlagen. Mara konnte sie entfernen, ergänzen oder