Die denkwürdigsten Ereignisse ansehen 30 November 1936 n. Chr..
1936 veröffentlichte Turing seine Arbeit „On Computable Numbers, with an Application to the Entscheidungsproblem“. Sie erschien in zwei Teilen in der Fachzeitschrift Proceedings of the London Mathematical Society, der erste am 30. November und der zweite am 23. Dezember.
Turing veröffentlichte seine Arbeit „On Computable Numbers, with an Application to the Entscheidungsproblem“. Sie erschien in zwei Teilen in der Zeitschrift Proceedings of the London Mathematical Society, der erste am 30. November und der zweite am 23. Dezember. In dieser Arbeit formulierte Turing Kurt Gödels Ergebnisse von 1931 über die Grenzen von Beweisbarkeit und Berechnung neu und ersetzte Gödels formale Sprache, die auf universeller Arithmetik basierte, durch die formalen und einfachen hypothetischen Geräte, die als Turingmaschinen bekannt wurden. Das Entscheidungsproblem wurde ursprünglich 1928 von dem deutschen Mathematiker David Hilbert aufgeworfen. Turing bewies, dass seine „universelle Rechenmaschine“ in der Lage wäre, jede denkbare mathematische Berechnung durchzuführen, sofern sie als Algorithmus darstellbar ist. Er bewies weiter, dass es keine Lösung für das Entscheidungsproblem gibt, indem er zunächst zeigte, dass das Halteproblem für Turingmaschinen unentscheidbar ist: Es ist algorithmisch nicht möglich zu entscheiden, ob eine Turingmaschine jemals anhalten wird.
1936 veröffentlichte Turing seine Arbeit „On Computable Numbers, with an Application to the Entscheidungsproblem“. Sie erschien in zwei Teilen in der Fachzeitschrift Proceedings of the London Mathematical Society, der erste am 30. November und der zweite am 23. Dezember.
Turing veröffentlichte seine Arbeit „On Computable Numbers, with an Application to the Entscheidungsproblem“. Sie erschien in zwei Teilen in der Zeitschrift Proceedings of the London Mathematical Society, der erste am 30. November und der zweite am 23. Dezember. In dieser Arbeit formulierte Turing Kurt Gödels Ergebnisse von 1931 über die Grenzen von Beweisbarkeit und Berechnung neu und ersetzte Gödels formale Sprache, die auf universeller Arithmetik basierte, durch die formalen und einfachen hypothetischen Geräte, die als Turingmaschinen bekannt wurden. Das Entscheidungsproblem wurde ursprünglich 1928 von dem deutschen Mathematiker David Hilbert aufgeworfen. Turing bewies, dass seine „universelle Rechenmaschine“ in der Lage wäre, jede denkbare mathematische Berechnung durchzuführen, sofern sie als Algorithmus darstellbar ist. Er bewies weiter, dass es keine Lösung für das Entscheidungsproblem gibt, indem er zunächst zeigte, dass das Halteproblem für Turingmaschinen unentscheidbar ist: Es ist algorithmisch nicht möglich zu entscheiden, ob eine Turingmaschine jemals anhalten wird.
