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.
The nfoCentrale Blog Conclave
nfoCentrale Associated Sites
Technorati Tags: Charles Petzold, Alan Turing, Turing Machine, Universal Turing Machine, UTM, Church-Turing Thesis, Computation Theory, On Computable Numbers, orcmid
Before digital computers could do much of anything,
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:
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.
|You are navigating The Miser Project.|