Gödel and Turing's thesis This paper concerns Gödel's remarks on Turing's thesis. Of fundamental importance to this analysis are unpublished notes kept among Gödel's papers. The first section concerns Gödel's position on the possibility of a definition of computability before 1937. The second and main section presents different notes on Turing's famous paper of 1937. Before 1937, Gödel qualified as mechanical procedures defined by rules that ignore the meaning of symbols and only consider their exterior form. Several notes then show that Gödel interpreted Turing's thesis as the claim that mechanical procedures in that sense can be represented by Turing machines. But Turing himself intended to define finite procedures. This shift enabled Gödel after 1964 to criticize Turing's paper. The third and last section deals with Gödel's argument against Turing, in which Gödel aimed to establish the existence of finite but non-mechanical procedures. Keywords : Turing, Gödel, machines, computability, incompleteness
...More
Article
Stillwell, John;
(2004)
Emil Post and His Anticipation of Gödel and Turing
(/isis/citation/CBB000771953/)
Book
B. Jack Copeland;
Carl J. Posy;
Oron Shagrir;
(2015)
Computability: Turing, Gödel, Church, and Beyond
(/isis/citation/CBB900019272/)
Article
Michael Friedman;
(2016)
Über drei Erscheinungen von Unterschied in der Mathematik
(/isis/citation/CBB583491506/)
Book
Rod Adams;
(2011)
An Early History of Recursive Functions and Computability from Godel to Turing
(/isis/citation/CBB059820056/)
Article
Hodges, Andrew;
(2012)
Beyond Turing's Machines
(/isis/citation/CBB001320475/)
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
Andrew Hodges;
Douglas Hofstadter;
(2014)
Alan Turing: The Enigma: The Book That Inspired the Film "The Imitation Game"
(/isis/citation/CBB485951446/)
Article
Alessio Persichetti;
(2021)
The later Wittgenstein’s guide to contradictions
(/isis/citation/CBB312904403/)
Article
Aldrich, John;
(2009)
England and Continental Probability in the Inter-War Years
(/isis/citation/CBB001021431/)
Article
Paula Quinon;
(2021)
Can Church’s thesis be viewed as a Carnapian explication?
(/isis/citation/CBB401301232/)
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/)
Article
Sayward, Charles;
(2005)
Steiner versus Wittgenstein: Remarks on Differing Views of Mathematical Truth
(/isis/citation/CBB000933620/)
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/)
Book
Tim Lethen;
(2021)
Gespräche, Vorträge, Séancen: Kurt Gödels Wiener Protokolle 1937/38: Transkriptionen und Kommentare
(/isis/citation/CBB086928957/)
Article
Karela, Catherine;
(2010)
Hilbert on Different Notions of Completeness: A Conceptual and Historical Analysis
(/isis/citation/CBB001220619/)
Review
Christopher P. Porter;
(2019)
Review of "Computability: Turing, Gödel, Church, and Beyond"
(/isis/citation/CBB429673039/)
Book
Davis, Martin;
(2000)
The Universal Computer: The Road from Leibniz to Turing
(/isis/citation/CBB000102163/)
Chapter
Hodges, Wilfrid;
(2009)
Set Theory, Model Theory, and Computability Theory
(/isis/citation/CBB001210350/)
Thesis
Lausa, Dawn E.;
(2009)
Descartes' Daughters: Thinking-Machines and the Emergence of Posthuman Complexity
(/isis/citation/CBB001562841/)
Be the first to comment!