Furthermore, this procedure has to be encoded in the finite alphabet used by the computational model, so there are only countably many computable functions.
Επιπλέον, αυτή η διαδικασία πρέπει να είναι κωδικοποιημένη στο πεπερασμένο αλφάβητο που χρησιμοποιείται από το υπολογιστικό μοντέλο, υπάρχουν μόνο μετρήσιμα πολλές υπολογίσιμες συναρτήσεις.