Church's thesis and the ideal of informal rigour

Notre Dame Journal of Formal Logic 28 (4):499-519 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093637646

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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

Reflections on Church's thesis.Stephen C. Kleene - 1987 - Notre Dame Journal of Formal Logic 28 (4):490-498.
Church's thesis and cognitive science.R. J. Nelson - 1987 - Notre Dame Journal of Formal Logic 28 (4):581-614.
On some recent criticism of Church's Thesis.Elliott Mendelson - 1963 - Notre Dame Journal of Formal Logic 4 (3):201-205.
Intensions, Church's thesis, and the formalization of mathematics.Nicolas D. Goodman - 1987 - Notre Dame Journal of Formal Logic 28 (4):473-489.
Wittgenstein versus Turing on the nature of Church's thesis.S. G. Shanker - 1987 - Notre Dame Journal of Formal Logic 28 (4):615-649.
Church's theorem on the decision problem.Thomas E. Patton - 1965 - Notre Dame Journal of Formal Logic 6 (2):147-153.
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. [REVIEW]Stewart Shapiro - 1990 - Journal of Symbolic Logic 55 (1):348-350.
Explicit modal logic, informal provability and Montague's Paradox.W. Dean - forthcoming - Notre Dame Journal of Formal Logic.
On the number of generators of an ideal.Thomas Jech - 1981 - Notre Dame Journal of Formal Logic 22 (2):105-108.
The ideal of orderable subsets of a set.John L. Hickman - 1978 - Notre Dame Journal of Formal Logic 19 (4):593-598.

Analytics

Added to PP
2010-08-24

Downloads
121 (#147,636)

6 months
6 (#700,872)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.
Beyond the universal Turing machine.B. Jack Copeland & Richard Sylvan - 1999 - Australasian Journal of Philosophy 77 (1):46-66.
Beyond the universal Turing machine.Jack Copeland - 1999 - Australasian Journal of Philosophy 77 (1):46-67.
In defense of epistemic arithmetic.Leon Horsten - 1998 - Synthese 116 (1):1-25.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references