Collaborative articulation of how abstraction and language is employed in the computational manifestation of numbers -- including analysis of the role of syntax, semantics, and meaning in the specification and use of software interfaces.

Before digital computers could do much of anything, Alan Turing demonstrated what they could never do....

I fancy the tag line that Charles Petzold has placed on his new page about his forthcoming book, The Annotated Turing.

It is now possible to pre-order the book. I placed my order on amazon.com (US). I think the provisional cover illustration is marvelous and I'm holding onto this copy of the image just in case they decide to change it (but please don't).

I'm eager to have the book and follow Petzold's narrative through Turing's paper.

The Mathematical-Logic Connection

For those who want more on the context of this activity, there are some other useful books on the mathematical-logic and computability aspects of Turing's work. Here are some selections:

Engines of Logic: Mathematicians and the Origin of the Computer. W.W. Norton (New York: 2000), ISBN 0-393-32229-7 pbk. An account of the contributors from Liebniz to Turing, to the modern digital computer and the puzzling questions raised around who we are and how we operate as we do. There is a careful non-mathematical illustration of Turing Machines and some of the key ideas associated with them.

There are texts on Computation and Computability theory. The Wikipedia treatments provide a general sense of the different focuses that have followed from the work of Turing and others.

Turing the Person

About Alan Mathison Turing, there is the work of his biographer, Andrew Hodges, as well as the Turing Digital Archive, where Turing's publications can be found along with unpublished materials and memorabilia. The Turing paper that is the subject of Petzold's book can also be examined on-line there.