Mathewelten

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. (Text: arte.tv)