The basic characteristic of a computable function is that there must be a finite procedure (an algorithm) telling how to compute the function.
Το βασικό χαρακτηριστικό των υπολογίσιμων συναρτήσεων είναι ότι πρέπει να υπάρχει μία πεπερασμένη διαδικασία (ένας αλγόριθμος) που θα μας λέει πως να υπολογίσουμε τη συνάρτηση.