În lucrarea sa de referință „Despre numere calculabile, cu aplicații la problema deciziei” („On Computable Numbers, with an Application to the Entscheidungsproblem”; depusă la 28 mai 1936 și susținută la 12 noiembrie), Turing a reformulat rezultatele lui Kurt Gödel din 1931 asupra limitelor demonstrației și computației, înlocuit limbajul formal universal al lui Gödel, pe baze aritmetice, cu instrumentele ipotetice formale și simple ce aveau să fie denumite mașini Turing.
Я не должна сдавать этот В моем собственном домеWikiMatrix WikiMatrix