Das Entscheidungsproblem – Grenzen der Mathematik | Mathewelten
193
Das Entscheidungsproblem – Grenzen der Mathematik | 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.
Das Entscheidungsproblem – Grenzen der Mathematik | Mathewelten | ARTE