Adams, Rod (Author)
Riddell, Brenda (Contributor)
An Early History of Recursive Functions and Computability traces the development of recursive functions from their origins in the late nineteenth century, when recursion was first used as a method of defining simple arithmetic functions, up to the mid-1930's, when the class of general recursive functions was introduced by Godel, formalized by Kleene and used by Church in his thesis. The book explains how the proposal given in Church's 1936 paper, now known as Church's thesis, first arose and concludes with the consideration of another class of functions, the Turing computable functions, that were specially created to be equivalent to the class of effectively calculable functions. The book includes previously unpublished letters between the author and many of the key historical figures.
...MoreReview Christopher P. Porter (2019) Review of "Computability: Turing, Gödel, Church, and Beyond". Historia Mathematica (pp. 88-95).
Book
B. Jack Copeland;
Carl J. Posy;
Oron Shagrir;
(2015)
Computability: Turing, Gödel, Church, and Beyond
(/isis/citation/CBB900019272/)
Review
Christopher P. Porter;
(2019)
Review of "Computability: Turing, Gödel, Church, and Beyond"
(/isis/citation/CBB429673039/)
Article
Paula Quinon;
(2021)
Can Church’s thesis be viewed as a Carnapian explication?
(/isis/citation/CBB401301232/)
Article
Stillwell, John;
(2004)
Emil Post and His Anticipation of Gödel and Turing
(/isis/citation/CBB000771953/)
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/)
Article
Cassou-Noguès, Pierre;
(2008)
Gödel et la thèse de Turing
(/isis/citation/CBB000930661/)
Article
Hodges, Andrew;
(2012)
Beyond Turing's Machines
(/isis/citation/CBB001320475/)
Article
Numerico, Teresa;
(2010)
The New Machine: from Logic to Organization
(/isis/citation/CBB000933582/)
Book
Andrew Hodges;
Douglas Hofstadter;
(2014)
Alan Turing: The Enigma: The Book That Inspired the Film "The Imitation Game"
(/isis/citation/CBB485951446/)
Article
Swade, Doron;
(2013)
Codebreaker: Alan Turing's Life and Legacy: 21 June 2012--21 October 2013, Science Museum, London
(/isis/citation/CBB001320542/)
Article
Dresner, Eli;
(2010)
Turing on Computation, Memory and Behavior
(/isis/citation/CBB000933580/)
Chapter
Michie, Donald;
(2008)
Alan Turing's Mind Machines
(/isis/citation/CBB000760382/)
Book
Watson, Ian;
(2012)
The Universal Machine: From the Dawn of Computing to Digital Consciousness
(/isis/citation/CBB001250522/)
Article
Centrone, Stefania;
(2010)
Functions in Frege, Bolzano and Husserl
(/isis/citation/CBB001210980/)
Article
J. F. Harper;
(2016)
Defining Continuity of Real Functions of Real Variables
(/isis/citation/CBB814582783/)
Book
Grattan-Guinness, I.;
(2000)
The Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel
(/isis/citation/CBB000111675/)
Book
Grattan-Guiness, I.;
(2000)
Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor Through Russell to Gödel
(/isis/citation/CBB000102346/)
Article
Michael Friedman;
(2016)
Über drei Erscheinungen von Unterschied in der Mathematik
(/isis/citation/CBB583491506/)
Book
Davis, Martin;
(2000)
The Universal Computer: The Road from Leibniz to Turing
(/isis/citation/CBB000102163/)
Be the first to comment!