ABSTRACT
The connection between logic and computation to which Turing alludes has
been a principal theme of this book. Nevertheless, readers may still ask:
how is it that logic and computation are related? What does arithmetic
have to do with reasoning? A clue is provided by a colloquial use of the verb
“to reckon,” in which it does not have its usual meaning: “to calculate.”