O vyčíslitelných číslech
čas: po lis 30, 1936
Místo: Anglie
podrobnosti: 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í.
Může obsahovat chyby.
Přibližné řazení. Některé události se mohou zdát mimo pořadí, protože u mnoha je znám pouze rok, ale obvykle spadají do stejného období.
Související
Blízko
























































































































































































Dnes - 30 November





















































30 November 1936


November 1936
















1936







































































































































































































