Robert I. Soare, Turing Computability, Theory and Applications of Computability, Springer-Verlag, Berlin, Heidelberg, 2016, xxxvi + 263 pp.

DOI10.1017/BSL.2017.1MaRDI QIDQ5283454zbMATH OpenOpenAlexFDO

Authors Damir D. Dzhafarov

Publication date 21 July 2017

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

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

Mathematics Subject Classification ID

External book reviews (00A17) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Computability and recursion theory (03Dxx)

Cited in

(3)

• Three books on computability, with a special focus on Turing's legacy. Essay review of: A. M. Turing, On computable numbers, with an application to the Entscheidungsproblem. Book review of: R. Adams, An early history of recursive functions and computability from Gödel to Turing; B. J. Copeland (ed.) et al., Computability. Turing, Gödel, church, and beyond; G. Sommaruga and T. Strahm (ed.), Turing's revolution. The impact of his ideas about computability
• Only Human
• Book review of: S. Turing, Alan M. Turing. Centenary edition. 2nd ed.

This page was built for publication: Robert I. Soare, Turing Computability, Theory and Applications of Computability, Springer-Verlag, Berlin, Heidelberg, 2016, xxxvi + 263 pp.

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