Αυτή η εργασία του A. Turing αποτελεί το πρώτο θεμελιακό άρθρο της σύγχρονης θεωρίας των υπολογιστών. Σε αυτό ορίζεται για πρώτη φορά η θεωρία της αυτόματης μηχανής, με σκοπό την υπολογισιμότητα και την απόδειξη θεωρημάτων μέσα από μηχανικές διαδικασίες. Η ανακάλυψη του Turing για την ύπαρξη αντιστοίχου συμπεράσματος με αυτό του θεωρήματος του Goedel , και στην θεωρία υπολογισμού, διέβρωσε τα θεμέλια ακόμη και αυτού του τελευταίου οχυρού της στοιχειώδους μαθηματικής ικανότητας: της υπολογισιμότητας. Με αυτό το έργο ξεκίνησε τόσο η σύγχρονη εποχή των υπολογιστών όσο και της γενικευμένης θεωρίας κάθε υπολογιστικού συστήματος.
[Απόσπασμα από το κείμενο στο οπισθόφυλλο της έκδοσης]