Stephen C. Kleene. Origins of recursive function theory. Annals of the history of computing, vol. 3 , pp. 52– 67. - Martin Davis. Why Gödel didn't have Church's thesis. Information and control, vol. 54 , pp. 3– 24. - Stephen C. Kleene. Reflections on Church's thesis. Notre Dame journal of formal logic, vol. 28 , pp. 490– 498 [Book Review]

Journal of Symbolic Logic 55 (1):348-350 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274989

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Stephen C. Kleene, Origins of Recursive Function Theory; Martin Davis, Why Godel Didn't have Church's Thesis; Stephen C. Kleene, Reflections on Church's Thesis. [REVIEW]Stewart Shapiro - 1990 - Journal of Symbolic Logic 55 (1):348-350.
Reflections on Church's thesis.Stephen C. Kleene - 1987 - Notre Dame Journal of Formal Logic 28 (4):490-498.
Origins of Recursive Function Theory.Stephen C. Kleene & Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):348-350.
Unvollständigkeit und Unentscheidbarkeit.Wolfgang Stegmüller - 1959 - Wien,: Springer.
On Undecidable Propositions of Formal Mathematical Systems .PostscriptumIntroductory Note to 1934.Martin Davis, Kurt Godel & Stephen C. Kleene - 1990 - Journal of Symbolic Logic 55 (1):347.
Realizing Brouwer's sequences.Richard E. Vesley - 1996 - Annals of Pure and Applied Logic 81 (1-3):25-74.
Polynomially Bounded Recursive Realizability.Saeed Salehi - 2005 - Notre Dame Journal of Formal Logic 46 (4):407-417.
Diagonalisation and Church's Thesis: Kleene's Homework.Enrique Alonso & Maria Manzano - 2005 - History and Philosophy of Logic 26 (2):93-113.
On Kleene's recursive realizability as an interpretation for intuitionistic elementary number theory.Robert R. Tompkins - 1968 - Notre Dame Journal of Formal Logic 9 (4):289-293.
Kurt Gödel. Review of Church's A set of postulates for the foundation of logic . Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 256, 258. , pp. 145–146.) - Kurt Gödel. English translation by John Dawson of this review. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 257, 259. - Kurt Gödel. Review of Church's A set of postulates for the foundation of logic . Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon P. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):345-345.
Kurt Gödel and Computability Theory.Richard Zach - 2006 - In Beckmann Arnold, Berger Ulrich, Löwe Benedikt & Tucker John V. (eds.), Logical Approaches to Computational Barriers. Second Conference on Computability in Europe, CiE 2006, Swansea. Proceedings. Springer. pp. 575--583.
The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem.Saul A. Kripke - 2013 - In B. J. Copeland, C. Posy & O. Shagrir (eds.), Computability: Gödel, Turing, Church, and beyond. MIT Press.
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions.Martin Davis (ed.) - 1965 - Hewlett, NY, USA: Dover Publication.
Is There a “Hilbert Thesis”?Reinhard Kahle - 2019 - Studia Logica 107 (1):145-165.
Church's Thesis and the Conceptual Analysis of Computability.Michael Rescorla - 2007 - Notre Dame Journal of Formal Logic 48 (2):253-280.

Analytics

Added to PP
2014-04-07

Downloads
41 (#379,234)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Stewart Shapiro
Ohio State University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references