Wie Alan Turing das Entscheidungsproblem der Mathematik löste - DER STANDARD

Lässt sich systematisch entscheiden, welche mathematischen Probleme lösbar sind? Die Antwort verdanken wir dem ersten Computer

Sie entscheiden darüber, wie Sie unsere Inhalte nutzen wollen. Ihr Gerät erlaubt uns derzeit leider nicht, die entsprechenden Optionen anzuzeigen. Bitte deaktivieren Sie sämtliche Hard- und Software… [+180 chars]

full article...