Για τους υπολογίσιμους αριθμούς με εφαρμογή στο Entscheidungsproblem
Σε αυτή την εργασία του Turing ορίζεται για πρώτη φορά η θεωρία της αυτόματης μηχανής, με σκοπό την υπολογισιμότητα και την απόδειξη θεωρημάτων μέσα από μηχανικές διαδικασίες. Με αυτό το έργο ξεκίνησε...