O liczbach obliczalnych
czas: pon. lis 30, 1936
Miejsce: Anglia
szczegóły: 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.
Może zawierać błędy.
Kolejność przybliżona. Niektóre wydarzenia mogą wydawać się nieuporządkowane, ponieważ często znany jest tylko rok, ale zazwyczaj pochodzą z tego samego okresu.
Powiązany
W pobliżu
























































































































































































Dziś - 30 November





















































30 November 1936


November 1936
















1936







































































































































































































