Despre numerele computabile
timp: lun. nov. 30, 1936
Locul: Anglia
detalii: Turing și-a publicat lucrarea „Despre numerele computabile, cu o aplicație la Entscheidungsproblem”. A fost publicată în jurnalul Proceedings of the London Mathematical Society în două părți, prima pe 30 noiembrie și a doua pe 23 decembrie. În această lucrare, Turing a reformulat rezultatele lui Kurt Gödel din 1931 privind limitele demonstrației și calculului, înlocuind limbajul formal bazat pe aritmetica universală a lui Gödel cu dispozitive ipotetice formale și simple care au devenit cunoscute sub numele de mașini Turing. Entscheidungsproblem (problema deciziei) a fost propusă inițial de matematicianul german David Hilbert în 1928. Turing a demonstrat că „mașina sa de calcul universală” ar fi capabilă să efectueze orice calcul matematic imaginabil dacă acesta ar fi reprezentabil ca un algoritm. El a continuat să demonstreze că nu există nicio soluție la problema deciziei, arătând mai întâi că problema opririi pentru mașinile Turing este indecidabilă: nu este posibil să se decidă algoritmic dacă o mașină Turing se va opri vreodată.
Poate conține erori.
Ordonare aproximativă. Unele evenimente pot apărea în ordine inversă deoarece multe sunt cunoscute doar după an, dar de obicei sunt din aceeași perioadă.
Legat
În apropiere
























































































































































































Astăzi - 30 November





















































30 November 1936


November 1936
















1936







































































































































































































