He argues that Turing's terminology using the word "computable" is more natural and more widely understood than the terminology using the word "recursive" introduced by Kleene.
Ισχυρίζεται ότι η ορολογία του Τούρινγκ που χρησιμοποιεί τη λέξη «υπολογίσιμο» είναι πιο φυσική και πιο ευρέως κατανοητή από την ορολογία που χρησιμοποιεί τη λέξη «αναδρομική» που θεσπίστηκε από τον Kleene.