The fundamental results the researchers obtained established Turing computability as the correct formalization of the informal idea of effective calculation.
Τα θεμελιώδη αποτελέσματα που αποκόμισαν οι ερευνητές εγκαθίδρυσαν την αναδιαρθρωτική υπολογισιμότητα ως σωστή επισημοποίησης της άτυπης ιδέα του αποτελεσματικού υπολογισμού.