Article ID: CBB000771953

Emil Post and His Anticipation of Gödel and Turing (2004)

unapi
Citation URI
https://data.isiscb.org/isis/citation/CBB000771953/

Similar Citations

Article Cassou-Noguès, Pierre; (2008)
Gödel et la thèse de Turing (/isis/citation/CBB000930661/)

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/)

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/)

Article Sayward, Charles; (2005)
Steiner versus Wittgenstein: Remarks on Differing Views of Mathematical Truth (/isis/citation/CBB000933620/)

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/)

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

Book Alan Turing; Fabio Grigenti; (2021)
Le basi chimiche della morfogenesi (/isis/citation/CBB402795352/)

Authors & Contributors
Turing, Alan Mathison
Grattan-Guinness, Ivor
Copeland, B. Jack
Simone Aurora
Lethen, Tim
Fabio Grigenti
Journals
Synthese
Theoria (0495-4548)
Revue d'Histoire des Mathématiques
Journal Electronique d'Histoire des Probabilités et de la Statistique
Historia Mathematica
Berichte zur Wissenschaftsgeschichte
Publishers
Princeton University Press
Docent Press
Springer International Publishing
W. W. Norton & Co.
The MIT Press
Oxford University Press
Concepts
Mathematics
Computer science
Computers and computing
Logic
Philosophy of mathematics
Set theory
People
Turing, Alan Mathison
Gödel, Kurt
Church, Alonzo
Wittgenstein, Ludwig
Russell, Bertrand Arthur William
Cantor, Georg Ferdinand Ludwig
Time Periods
20th century, early
20th century
19th century
Ancient
Places
Middle and Near East
United States
Mesopotamia
Great Britain
Vienna (Austria)
Institutions
Vienna Circle
Princeton University
Comments

Be the first to comment!

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

Log in or register to comment