S. Barry Cooper and Andrew Hodges (editors), The Once and Future Turing: Computing the World. Cambridge University Press, 2016. xviii + 379 pp.— therein: - Martin Davis. Algorithms, Equations, and Logic. pp. 4–19. - J.M.E. Hyland. The Forgotten Turing

DOI10.1017/BSL.2016.19zbMATH Open1362.00022OpenAlexW4235614615MaRDI QIDQ5346705FDOQ5346705

Authors: Alasdair Urquhart 

Publication date: 26 May 2017

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/bsl.2016.19

Mathematics Subject Classification ID

External book reviews (00A17) History of mathematics in the 20th century (01A60) History of computer science (68-03) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Philosophy of mathematics (00A30)

Cited In (5)

• The Turing guide. Edited by Jack Copeland, Jonathan Bowen, Mark Sprevak and Robin Wilson
• Only Human
• Obituary: Barry Cooper (1943--2015): the engine of computability in Europe
• Book review of: S. Turing, Alan M. Turing. Centenary edition. 2nd ed.
• A Logical Autobiography

This page was built for publication: S. Barry Cooper and Andrew Hodges (editors), The Once and Future Turing: Computing the World. Cambridge University Press, 2016. xviii + 379 pp.— therein: - Martin Davis. Algorithms, Equations, and Logic. pp. 4–19. - J.M.E. Hyland. The Forgotten Turing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5346705)