On Computable Numbers
tijd: maandag nov. 30, 1936
Plaats: Engeland
details: Turing publiceerde zijn artikel "On Computable Numbers, with an Application to the Entscheidungsproblem". Het werd in twee delen gepubliceerd in het tijdschrift Proceedings of the London Mathematical Society, het eerste op 30 november en het tweede op 23 december. In dit artikel herformuleerde Turing de resultaten van Kurt Gödel uit 1931 over de grenzen van bewijs en berekening, waarbij hij Gödels universele rekenkundig gebaseerde formele taal verving door de formele en eenvoudige hypothetische apparaten die bekend kwamen te staan als Turingmachines. Het Entscheidungsproblem (beslissingsprobleem) werd oorspronkelijk in 1928 geformuleerd door de Duitse wiskundige David Hilbert. Turing bewees dat zijn "universele rekenmachine" in staat zou zijn om elke denkbare wiskundige berekening uit te voeren als deze als algoritme kon worden weergegeven. Hij bewees vervolgens dat er geen oplossing was voor het beslissingsprobleem door eerst aan te tonen dat het stopprobleem voor Turingmachines onbeslisbaar is: het is niet mogelijk om algoritmisch te beslissen of een Turingmachine ooit zal stoppen.
Kan fouten bevatten.
Geschatte volgorde. Sommige gebeurtenissen kunnen buiten de volgorde lijken te staan omdat van vele alleen het jaar bekend is, maar ze bevinden zich meestal in dezelfde periode.
Gerelateerd
Nabij
























































































































































































Op deze dag - 30 November





















































30 November 1936


November 1936
















1936







































































































































































































