 In order to understand Turing’s texts, and the logical claims contained in them, it is essential to keep in mind that when he used the words ‘computer’, ‘computable’ and ‘computation’, he employed them not in their modern sense as pertaining to machines, but as pertaining to human calculators: