This is permitted because it is believed that all such uses of the thesis can be removed by the tedious process of writing a formal procedure for the function in some model of computation.
Αυτό επιτρέπεται διότι πιστεύεται ότι όλες αυτές οι χρήσεις της διατριβής μπορούν να αφαιρεθούν μέσα από την κουραστική διαδικασία της γραφής μίας επίσημης διαδικασίας για τη συνάρτηση σε κάποιο μοντέλο υπολογισμού.