Über berechenbare Zahlen
Zeit: Montag Nov 30, 1936
Ort: England
Details: 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.
Kann Fehler enthalten.
Ungefähre Reihenfolge. Manche Ereignisse erscheinen möglicherweise nicht chronologisch, da oft nur das Jahr bekannt ist, sie liegen jedoch meist im selben Zeitraum.
Verwandt
Nahe
























































































































































































Heute - 30 November





















































30 November 1936


November 1936
















1936







































































































































































































