In his address before the London Mathematical Society, Turing said:
I expect that digital computing machines will eventually stimulate a considerable interest in symbolic logic … The language in which one communicates with these machines … forms a sort of symbolic logic.1
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.”
I reckon he’s sweet talking her in the moonlight right now.
We are listening ...
Get The Universal Computer, 3rd Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
