Review ID: CBB429673039

Review of "Computability: Turing, Gödel, Church, and Beyond" (2019)

unapi

An Early History of Recursive Functions and Computability from Gödel to Turing, Rod Adams, Docent Press, Boston (2011), ISBN: 978-0-983-70040-1Computability: Turing, Gödel, Church, and Beyond, B. Jack Copeland, Carl J. Posy, Oron Shagrir (Eds.), MIT Press, Cambridge (2012), ISBN: 978-0-262-01899-9Turing's Revolution: The Impact of His Ideas about Computability, Giovanni Sommaruga, Thomas Strahm (Eds.), Springer, Cham, Heidelberg, New York, Dordrecht, London (2015), ISBN: 978-3-319-22155-7

...More
Review Of

Book Giovanni Sommaruga; Thomas Strahm (2016) Turing’s Revolution: The Impact of His Ideas about Computability. unapi

Book Rod Adams; Brenda Riddell (2011) An Early History of Recursive Functions and Computability from Godel to Turing. unapi

Book B. Jack Copeland; Carl J. Posy; Oron Shagrir (2015) Computability: Turing, Gödel, Church, and Beyond. unapi

Citation URI
https://data.isiscb.org/isis/citation/CBB429673039/

Similar Citations

Book B. Jack Copeland; Carl J. Posy; Oron Shagrir; (2015)
Computability: Turing, Gödel, Church, and Beyond (/isis/citation/CBB900019272/)

Article Cooper, S. Barry; (2012)
Incomputability after Alan Turing (/isis/citation/CBB001211736/)

Chapter Hodges, Wilfrid; (2009)
Set Theory, Model Theory, and Computability Theory (/isis/citation/CBB001210350/)

Article Copeland, B. Jack; Proudfoot, Diane; (2011-2012)
Alan Turing, Father of the Modern Computer (/isis/citation/CBB001210378/)

Thesis Tenen, Dennis Yi; (2011)
We Have Always Been Digital: The Poetics of Human-Computer Interaction (/isis/citation/CBB001567333/)

Book Daylight, Edgar G.; Grave, Kurt De; (2012)
The Dawn of Software Engineering: From Turing to Dijkstra (/isis/citation/CBB001214448/)

Book Leavitt, David; (2006)
The Man Who Knew Too Much: Alan Turing and the Invention of the Computer (/isis/citation/CBB001033362/)

Book Rod Adams; (2011)
An Early History of Recursive Functions and Computability from Godel to Turing (/isis/citation/CBB059820056/)

Book Sven Ove Hansson; (2018)
Technology and Mathematics: Philosophical and Historical Investigations (/isis/citation/CBB897570314/)

Book Davis, Martin; (2000)
The Universal Computer: The Road from Leibniz to Turing (/isis/citation/CBB000102163/)

Book Jack Copeland; Jonathan Bowen; Mark Sprevak; Robin Wilson; (2017)
The Turing Guide (/isis/citation/CBB709222979/)

Book Turing, Alan Mathison; Appel, Andrew W.; Feferman, Solomon; (2012)
Alan Turing's Systems of Logic: The Princeton Thesis (/isis/citation/CBB001213136/)

Book Giovanni Sommaruga; Thomas Strahm; (2016)
Turing’s Revolution: The Impact of His Ideas about Computability (/isis/citation/CBB732084224/)

Article Hodges, Andrew; (2012)
Beyond Turing's Machines (/isis/citation/CBB001320475/)

Article McCullough, Philip Murray; (2010)
Otto in the Chinese Room (/isis/citation/CBB001023796/)

Article Michael Friedman; (2016)
Über drei Erscheinungen von Unterschied in der Mathematik (/isis/citation/CBB583491506/)

Article Miguel Angel Martin-Delgado; (2013)
Alan Turing y los orígenes de la complejidad (/isis/citation/CBB020483497/)

Book Chris Bernhardt; (2017)
Turing's Vision: The Birth of Computer Science (/isis/citation/CBB903392734/)

Authors & Contributors
Copeland, B. Jack
Adams, Rod
Riddell, Brenda
Martin-Delgado, Miguel Angel
Strahm, Thomas
Bernhardt, Chris
Journals
Spontaneous Generations
Science
Rutherford Journal: The New Zealand Journal for the History and Philosophy of Science and Technology
Österreichische Zeitschrift für Geschichtswissenschaften
Notices of the American Mathematical Society
Berichte zur Wissenschaftsgeschichte
Publishers
The MIT Press
Docent Press
Weidenfeld & Nicolson
W. W. Norton & Co.
Springer
Oxford University Press
Concepts
Computer science
Computers and computing
Mathematics
Logic
Codes and cryptography
Biographies
People
Turing, Alan Mathison
Gödel, Kurt
Leibniz, Gottfried Wilhelm von
Church, Alonzo
Wittgenstein, Ludwig
Von Neumann, John
Time Periods
20th century
20th century, early
20th century, late
Ancient
21st century
19th century
Places
Great Britain
United States
Middle and Near East
Mesopotamia
Institutions
Princeton University
Comments

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment