Church's Thesis and Principles for Mechanisms

In The Kleene Symposium. North-Holland. pp. 123--148 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Physical Computation: How General are Gandy’s Principles for Mechanisms?B. Jack Copeland & Oron Shagrir - 2007 - Minds and Machines 17 (2):217-231.
Proving church's thesis.Robert Black - 2000 - Philosophia Mathematica 8 (3):244--58.
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.
Physical hypercomputation and the church–turing thesis.Oron Shagrir & Itamar Pitowsky - 2003 - Minds and Machines 13 (1):87-101.
Thinking machines: Some fundamental confusions. [REVIEW]John T. Kearns - 1997 - Minds and Machines 7 (2):269-87.
Turing-, human- and physical computability: An unasked question. [REVIEW]Eli Dresner - 2008 - Minds and Machines 18 (3):349-355.
Church's thesis: Prelude to a proof.Janet Folina - 1998 - Philosophia Mathematica 6 (3):302-323.
Squeezing church's thesis again.Peter Smith - unknown

Analytics

Added to PP
2011-03-20

Downloads
10 (#1,097,540)

6 months
1 (#1,346,405)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

What is computation?B. Jack Copeland - 1996 - Synthese 108 (3):335-59.
Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.
When physical systems realize functions.Matthias Scheutz - 1999 - Minds and Machines 9 (2):161-196.
Hypercomputation.B. Jack Copeland - 2002 - Minds and Machines 12 (4):461-502.
The Physical Church–Turing Thesis: Modest or Bold?Gualtiero Piccinini - 2011 - British Journal for the Philosophy of Science 62 (4):733-769.

View all 71 citations / Add more citations

References found in this work

No references found.

Add more references