Vezi cele mai memorabile evenimente 30 November 1936 D.Hr..
În 1936, 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.
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ă.
În 1936, 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.
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ă.
