Man stelle sich eine Welt vor, in der sich mit einer Maschine die Wahrheit berechnen lässt. Man legt der Maschine eine Aussage vor, und sie antwortet mit „richtig“ oder „falsch“ – ohne sich je zu irren. Kann es eine solche Maschine geben? Das mathematische Entscheidungsproblem hat das Ende der Mathematik in Aussicht gestellt – und ganz nebenbei die Informatik erschaffen.