Enderton goes on to list several clarifications of these 3 requirements of the procedure for a computable function: The procedure must theoretically work for arbitrarily large arguments.
Ο Enderton παρακάτω κάνει λίστα αρκετές διευκρινίσεις αυτών των 3 προϋποθέσεων της διαδικασίας για μία υπολογίσιμη συνάρτηση: Η διαδικασία θα πρέπει θεωρητικά να λειτουργεί για αυθαίρετα μεγάλα ορίσματα.