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.