- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Second Thoughts about Church's Thesis and Mathematical Proofs
Journal of Philosophy 87 (5):225-233 (1990)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Second thoughts about church's thesis and mathematical proofs.Elliott Mendelson - 1990 - Journal of Philosophy 87 (5):225-233.
Computational Tractability and Conceptual Coherence.Paul Thagard - 1993 - Canadian Journal of Philosophy 23 (3):349-363.
Mendelson Elliott. Some proofs of independence in axiomatic set theory. [REVIEW]Dana Scott - 1958 - Journal of Symbolic Logic 23 (1):42-44.
Church's thesis: What its difficulties are and are not.David Ross - 1974 - Journal of Philosophy 71 (15):515-525.
Elliott Mendelson. Introduction to mathematical logic. Second edition of XXXIV 110. D. Van Nostrand Company, New York etc. 1979, viii + 328 pp. [REVIEW]D. van Dalen - 1980 - Journal of Symbolic Logic 45 (3):631.
Analytics
Added to PP
2009-01-28
Downloads
114 (#188,603)
6 months
14 (#232,731)
2009-01-28
Downloads
114 (#188,603)
6 months
14 (#232,731)
Historical graph of downloads
Author's Profile
Citations of this work
The Church-Turing Thesis.B. Jack Copeland - 2012 - In Ed Zalta (ed.), Stanford Encyclopedia of Philosophy. Stanford, CA: Stanford Encyclopedia of Philosophy.
Step by recursive step: Church's analysis of effective calculability.Wilfried Sieg - 1997 - Bulletin of Symbolic Logic 3 (2):154-180.
A natural axiomatization of computability and proof of Church’s thesis.Nachum Dershowitz & Yuri Gurevich - 2008 - Bulletin of Symbolic Logic 14 (3):299-350.
Alan Turing and the mathematical objection.Gualtiero Piccinini - 2003 - Minds and Machines 13 (1):23-48.
Can Church’s thesis be viewed as a Carnapian explication?Paula Quinon - 2019 - Synthese 198 (Suppl 5):1047-1074.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-2pm92 dc2