Presseartikel aus dem Standard: Alan Turing und das Entscheidungsproblem der Mathematik
20.03.2022
Lässt sich systematisch entscheiden, welche mathematischen Probleme lösbar sind? Die Antwort verdanken wir dem britischen Logiker Alan Turing. Sie lautet: leider nein – und stammt vom ersten Computer der Welt.
