Sommaruga, Giovanni (Editor)
Strahm, Thomas (Editor)
This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributions by well-known scientists on the history and philosophy of computability theory as well as on generalised Turing computability. By looking at the roots and at the philosophical and technical influence of Turing’s work, it is possible to gather new perspectives and new research topics which might be considered as a continuation of Turing’s working ideas well into the 21st century.
...MoreReview Christopher P. Porter (2019) Review of "Computability: Turing, Gödel, Church, and Beyond". Historia Mathematica (pp. 88-95).
Review David Nofre (2017) Review of "Turing’s Revolution: The Impact of His Ideas about Computability". Isis: International Review Devoted to the History of Science and Its Cultural Influences (pp. 486-487).
Article
Cooper, S. Barry;
(2012)
Incomputability after Alan Turing
(/isis/citation/CBB001211736/)
Article
Copeland, B. Jack;
Proudfoot, Diane;
(2011-2012)
Alan Turing, Father of the Modern Computer
(/isis/citation/CBB001210378/)
Book
B. Jack Copeland;
Carl J. Posy;
Oron Shagrir;
(2015)
Computability: Turing, Gödel, Church, and Beyond
(/isis/citation/CBB900019272/)
Book
Turing, Alan Mathison;
Appel, Andrew W.;
Feferman, Solomon;
(2012)
Alan Turing's Systems of Logic: The Princeton Thesis
(/isis/citation/CBB001213136/)
Book
Jack Copeland;
Jonathan Bowen;
Mark Sprevak;
Robin Wilson;
(2017)
The Turing Guide
(/isis/citation/CBB709222979/)
Book
Matthew L. Jones;
(2016)
Reckoning with Matter: Calculating Machines, Innovation, and Thinking about Thinking from Pascal to Babbage
(/isis/citation/CBB396556906/)
Book
Tomash, Erwin;
Williams, Michael R.;
(2009)
The Erwin Tomash Library on the History of Computing: An Annotated and Illustrated Catalog
(/isis/citation/CBB001021244/)
Book
Daylight, Edgar G.;
Grave, Kurt De;
(2012)
The Dawn of Software Engineering: From Turing to Dijkstra
(/isis/citation/CBB001214448/)
Article
Asaro, Peter;
(2008)
Computer als Modelle des Geistes. Über Simulation und das Gehirn als Modell des Designs von Computern
(/isis/citation/CBB001032251/)
Book
Leavitt, David;
(2006)
The Man Who Knew Too Much: Alan Turing and the Invention of the Computer
(/isis/citation/CBB001033362/)
Thesis
Tenen, Dennis Yi;
(2011)
We Have Always Been Digital: The Poetics of Human-Computer Interaction
(/isis/citation/CBB001567333/)
Article
McCullough, Philip Murray;
(2010)
Otto in the Chinese Room
(/isis/citation/CBB001023796/)
Review
Christopher P. Porter;
(2019)
Review of "Computability: Turing, Gödel, Church, and Beyond"
(/isis/citation/CBB429673039/)
Article
Hodges, Andrew;
(2012)
Beyond Turing's Machines
(/isis/citation/CBB001320475/)
Book
Jan Von Plato;
(2017)
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
(/isis/citation/CBB573478690/)
Book
Prager, John;
(2001)
On Turing
(/isis/citation/CBB000101920/)
Article
José Sánchez Ron;
José M. Sánchez Ron;
(2013)
Alan Turing: ¿personaje del siglo XX?
(/isis/citation/CBB881564550/)
Book
Andrew Hodges;
Douglas Hofstadter;
(2014)
Alan Turing: The Enigma: The Book That Inspired the Film "The Imitation Game"
(/isis/citation/CBB485951446/)
Article
Miguel Angel Martin-Delgado;
(2013)
Alan Turing y los orígenes de la complejidad
(/isis/citation/CBB020483497/)
Book
Hodges, Andrew;
(2000)
Alan Turing: the Enigma
(/isis/citation/CBB000110152/)
Be the first to comment!