Zkontrolujte nejpamátnější události 30 November 1936 n. l..
V roce 1936 publikoval Turing svou práci „On Computable Numbers, with an Application to the Entscheidungsproblem“ (O vyčíslitelných číslech s aplikací na rozhodovací problém). Byla publikována v časopise Proceedings of the London Mathematical Society ve dvou částech, první 30. listopadu a druhá 23. prosince.
Turing publikoval svůj článek „O vyčíslitelných číslech s aplikací na rozhodovací problém“ (On Computable Numbers, with an Application to the Entscheidungsproblem). Byl publikován v časopise Proceedings of the London Mathematical Society ve dvou částech, první 30. listopadu a druhá 23. prosince. V tomto článku Turing přeformuloval výsledky Kurta Gödela z roku 1931 o limitech důkazu a výpočtu a nahradil Gödelův formální jazyk založený na univerzální aritmetice formálními a jednoduchými hypotetickými zařízeními, která se stala známými jako Turingovy stroje. Entscheidungsproblem (rozhodovací problém) původně položil německý matematik David Hilbert v roce 1928. Turing dokázal, že jeho „univerzální výpočetní stroj“ by byl schopen provést jakýkoli představitelný matematický výpočet, pokud by byl vyjádřitelný jako algoritmus. Dále dokázal, že pro rozhodovací problém neexistuje řešení, a to tak, že nejprve ukázal, že problém zastavení pro Turingovy stroje je nerozhodnutelný: Není možné algoritmicky rozhodnout, zda se Turingův stroj někdy zastaví.
V roce 1936 publikoval Turing svou práci „On Computable Numbers, with an Application to the Entscheidungsproblem“ (O vyčíslitelných číslech s aplikací na rozhodovací problém). Byla publikována v časopise Proceedings of the London Mathematical Society ve dvou částech, první 30. listopadu a druhá 23. prosince.
Turing publikoval svůj článek „O vyčíslitelných číslech s aplikací na rozhodovací problém“ (On Computable Numbers, with an Application to the Entscheidungsproblem). Byl publikován v časopise Proceedings of the London Mathematical Society ve dvou částech, první 30. listopadu a druhá 23. prosince. V tomto článku Turing přeformuloval výsledky Kurta Gödela z roku 1931 o limitech důkazu a výpočtu a nahradil Gödelův formální jazyk založený na univerzální aritmetice formálními a jednoduchými hypotetickými zařízeními, která se stala známými jako Turingovy stroje. Entscheidungsproblem (rozhodovací problém) původně položil německý matematik David Hilbert v roce 1928. Turing dokázal, že jeho „univerzální výpočetní stroj“ by byl schopen provést jakýkoli představitelný matematický výpočet, pokud by byl vyjádřitelný jako algoritmus. Dále dokázal, že pro rozhodovací problém neexistuje řešení, a to tak, že nejprve ukázal, že problém zastavení pro Turingovy stroje je nerozhodnutelný: Není možné algoritmicky rozhodnout, zda se Turingův stroj někdy zastaví.
