Church–Turing thesis
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
- ArXiv
- 2014
The Church-Turing Thesis confuses numerical computations with symbolic computations. In particular, any model of computability in… (More)
Is this relevant?
2008
2008
- Pillars of Computer Science
- 2008
The Church-Turing Thesis has been the subject of many variations and interpretations over the years. Specifically, there are… (More)
Is this relevant?
2007
2007
- 2007
The Thesis and its History The Church-Turing thesis concerns the notion of an effective or mechanical method in logic and… (More)
Is this relevant?
2006
2006
- CiE
- 2006
It is truly remarkable (Gödel . . . speaks of a kind of miracle) that it has proved possible to give a precise mathematical… (More)
Is this relevant?
2005
2005
- CiE
- 2005
According to the interactive view of computation, communication happens during the computation, not before or after it. This… (More)
Is this relevant?
2005
2005
- 2005
Our goal is to formalize the Church-Turing Thesis for a very large class of computational models. Specifically, the notion of an… (More)
Is this relevant?
2005
2005
- Synthese
- 2005
The Church–Turing Thesis (CTT) is often employed in arguments for computationalism. I scrutinize the most prominent of such… (More)
Is this relevant?
2003
2003
- Minds and Machines
- 2003
We describe a possible physical device that computes a function that cannot be computed by a Turing machine. The device is… (More)
Is this relevant?
2002
2002
- J. ACM
- 2002
Would physical laws permit the construction of computing machines that are capable of solving some problems much faster than the… (More)
Is this relevant?
1993
1993
- Minds and Machines
- 1993
The Church-Turing thesis makes a bold claim about the theoretical limits to computation. It is based upon independent analyses of… (More)
Is this relevant?