Intensions, Church's thesis, and the formalization of mathematics

Notre Dame Journal of Formal Logic 28 (4):473-489 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093637644

Links

PhilArchive



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

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

Limitations of formalization.Constantine Politis - 1965 - Philosophy of Science 32 (3/4):356-360.
Proving church's thesis.Robert Black - 2000 - Philosophia Mathematica 8 (3):244--58.
Intentional mathematics.Stewart Shapiro (ed.) - 1985 - New YorK, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
The Church-Turing Thesis.B. Jack Copeland - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.
The Church-Turing Thesis: A last vestige of a failed mathematical program.Carol Cleland - 2006 - In A. Olszewski, J. Wole'nski & R. Janusz (eds.), Church's Thesis After Seventy Years. Ontos Verlag. pp. 119-146.
On the Provability, Veracity, and AI-Relevance of the Church-Turing Thesis.Selmer Bringsjord & Konstantine Arkoudas - 2006 - In A. Olszewski, J. Wole'nski & R. Janusz (eds.), Church's Thesis After Seventy Years. Ontos Verlag. pp. 68-118.
SAD computers and two versions of the Church–Turing thesis.Tim Button - 2009 - British Journal for the Philosophy of Science 60 (4):765-792.
How Not To Use the Church-Turing Thesis Against Platonism.R. Urbaniak - 2011 - Philosophia Mathematica 19 (1):74-89.
The Philosophical Achievement of Jacob Klein.Burt Hopkins - 2011 - New Yearbook for Phenomenology and Phenomenological Philosophy 11:282-296.
Thinking machines: Some fundamental confusions. [REVIEW]John T. Kearns - 1997 - Minds and Machines 7 (2):269-87.
The space of mathematics: philosophical, epistemological, and historical explorations.Javier Echeverría, Andoni Ibarra & Thomas Mormann (eds.) - 1992 - New York: W. de Gruyter.
Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term.Czes?aw Lejewski - 1989 - Studia Logica 48 (4):479 - 494.

Analytics

Added to PP
2010-08-24

Downloads
18 (#808,169)

6 months
2 (#1,263,261)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

What is a Computer? A Survey.William J. Rapaport - 2018 - Minds and Machines 28 (3):385-426.
To think or not to think.William J. Rapaport - 1988 - Noûs 22 (4):585-609.
Mathematics as natural science.Nicolas D. Goodman - 1990 - Journal of Symbolic Logic 55 (1):182-193.
Topological models of epistemic set theory.Nicolas D. Goodman - 1990 - Annals of Pure and Applied Logic 46 (2):147-167.

Add more citations

References found in this work

No references found.

Add more references