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
...MoreBook Giovanni Sommaruga; Thomas Strahm (2016) Turing’s Revolution: The Impact of His Ideas about Computability.
Book Rod Adams; Brenda Riddell (2011) An Early History of Recursive Functions and Computability from Godel to Turing.
Book B. Jack Copeland; Carl J. Posy; Oron Shagrir (2015) Computability: Turing, Gödel, Church, and Beyond.
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/)
Book
McKay, Sinclair;
(2010)
The Secret Life of Bletchley Park: The History of the Wartime Codebreaking Centre by the Men and Women Who Were There
(/isis/citation/CBB001212751/)
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
Asaro, Peter;
(2008)
Computer als Modelle des Geistes. Über Simulation und das Gehirn als Modell des Designs von Computern
(/isis/citation/CBB001032251/)
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/)
Be the first to comment!