Sprawdź najbardziej pamiętne wydarzenia 30 November 1936 n.e..
W 1936 roku Turing opublikował swoją pracę „On Computable Numbers, with an Application to the Entscheidungsproblem”. Została ona opublikowana w czasopiśmie Proceedings of the London Mathematical Society w dwóch częściach: pierwsza 30 listopada, a druga 23 grudnia.
Turing opublikował swoją pracę „O liczbach obliczalnych, z zastosowaniem do problemu decyzyjnego” (On Computable Numbers, with an Application to the Entscheidungsproblem). Została ona opublikowana w czasopiśmie Proceedings of the London Mathematical Society w dwóch częściach: pierwsza 30 listopada, a druga 23 grudnia. W tej pracy Turing przeformułował wyniki Kurta Gödla z 1931 roku dotyczące granic dowodzenia i obliczeń, zastępując oparty na uniwersalnej arytmetyce język formalny Gödla formalnymi i prostymi urządzeniami hipotetycznymi, które stały się znane jako maszyny Turinga. Problem decyzyjny (Entscheidungsproblem) został pierwotnie postawiony przez niemieckiego matematyka Davida Hilberta w 1928 roku. Turing udowodnił, że jego „uniwersalna maszyna obliczeniowa” byłaby zdolna do wykonania każdej dającej się pomyśleć operacji matematycznej, jeśli tylko dałoby się ją przedstawić jako algorytm. Następnie udowodnił, że problem decyzyjny nie ma rozwiązania, pokazując najpierw, że problem stopu dla maszyn Turinga jest nierozstrzygalny: nie jest możliwe algorytmiczne rozstrzygnięcie, czy maszyna Turinga kiedykolwiek się zatrzyma.
W 1936 roku Turing opublikował swoją pracę „On Computable Numbers, with an Application to the Entscheidungsproblem”. Została ona opublikowana w czasopiśmie Proceedings of the London Mathematical Society w dwóch częściach: pierwsza 30 listopada, a druga 23 grudnia.
Turing opublikował swoją pracę „O liczbach obliczalnych, z zastosowaniem do problemu decyzyjnego” (On Computable Numbers, with an Application to the Entscheidungsproblem). Została ona opublikowana w czasopiśmie Proceedings of the London Mathematical Society w dwóch częściach: pierwsza 30 listopada, a druga 23 grudnia. W tej pracy Turing przeformułował wyniki Kurta Gödla z 1931 roku dotyczące granic dowodzenia i obliczeń, zastępując oparty na uniwersalnej arytmetyce język formalny Gödla formalnymi i prostymi urządzeniami hipotetycznymi, które stały się znane jako maszyny Turinga. Problem decyzyjny (Entscheidungsproblem) został pierwotnie postawiony przez niemieckiego matematyka Davida Hilberta w 1928 roku. Turing udowodnił, że jego „uniwersalna maszyna obliczeniowa” byłaby zdolna do wykonania każdej dającej się pomyśleć operacji matematycznej, jeśli tylko dałoby się ją przedstawić jako algorytm. Następnie udowodnił, że problem decyzyjny nie ma rozwiązania, pokazując najpierw, że problem stopu dla maszyn Turinga jest nierozstrzygalny: nie jest możliwe algorytmiczne rozstrzygnięcie, czy maszyna Turinga kiedykolwiek się zatrzyma.
