Charles Petzold

Martin Davis Reviews “The Annotated Turing” for “American Scientist”

October 11, 2008
New York, N.Y.

I'm pleased and honored to discover that esteemed mathematician Martin Davis has reviewed my recent book The Annotated Turing: A Guided Tour through Alan Turing's Historic Paper on Computability and the Turing Machine (Wiley, 2008) for the November-December 2008 issue of American Scientist magazine:

Professor Davis writes (in part):

Martin Davis wrote the first textbook on computability theory, Computability and Unsolvability (McGraw-Hill, 1958), which adapted the Turing Machine as a tool for understanding the abilities and limitations of computers. In 1954 he wrote the first computer program to perform a mathematical proof, and along with Julia Robinson and Hilary Putnam, established the foundations for Yuri Matiyasevich's 1970 negative proof of Hilbert's Tenth Problem. More recently, Professor Davis wrote a very entertaining and enlightening book on the history of computing, The Universal Computer: The Road from Leibniz to Turing (W. W. Norton, 2000), published in paperback under the title Engines of Logic: Mathematicians and the Origin of the Computer.