Controleer de meest memorabele gebeurtenissen 30 November 1936 n.Chr..
In 1936 publiceerde Turing zijn paper "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.
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.
In 1936 publiceerde Turing zijn paper "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.
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.
