Michael J. Beeson. Computerizing mathematics: logic and computation. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 191–225.

1991 ◽  
Vol 56 (3) ◽  
pp. 1090-1091
Author(s):  
J. C. Shepherdson
Keyword(s):  
New York ◽  
Turing Machine ◽  
Half Century ◽  
Oxford University ◽  
Universal Turing Machine ◽  
Oxford University Press

Andrew Hodges. Alan Turing and the Turing machine. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 3–15. - Stephen C. Kleene. Turing's analysis of computahility, and major applications of it. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 17–54. - Robin Gandy. The confluence of ideas in 1936. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 55–111. - Solomon Feferman. Turing in the land of O(z). The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 113–147. - Martin Davis. Mathematical logic and the origin of modern computers. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 149–174.

1991 ◽  
Vol 56 (3) ◽  
pp. 1089-1090
Author(s):  
John N. Crossley
Keyword(s):  
New York ◽  
Mathematical Logic ◽  
Turing Machine ◽  
Half Century ◽  
Oxford University ◽  
Alan Turing ◽  
Universal Turing Machine ◽  
Martin Davis ◽  
Oxford University Press
Sign in / Sign up

Export Citation Format

Share Document