What is Church's thesis? An outline

被引：2

作者：

Doyle, J ^{[1
]}

机构：

[1] N Carolina State Univ, Dept Comp Sci, Raleigh, NC 27695 USA

来源：

MINDS AND MACHINES | 2002年 / 12卷 / 04期

关键词：

Church thesis - Physics of our universe - Turing operations;

D O I：

10.1023/A:1021126521437

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Church's Thesis states that the effectively computable functions are the same as the recursive functions. This paper outlines the characters of the thesis, with the aim of casting doubt on the formulation and accuracy of the thesis.

引用

页码：519 / 520

页数：2

共 50 条

[1] What is Church's Thesis? An Outline*
Jon Doyle
Minds and Machines, 2002, 12 : 519 - 520
[2] Crisis? What crisis? Church's Thesis and the scope of Cognitive Science
Scott, PD
TWO SCIENCES OF MIND: READING IN COGNITIVE SCIENCE AND CONSCIOUSNESS, 1997, 9 : 63 - 76
[3] Proving Church's thesis
Gurevich, Yuri
Computer Science - Theory and Applications, 2007, 4649 : 1 - 3
[4] Outline of the thesis
Acta Polytechnica Scandinavica, Electrical Engineering Series, 1994, (77):
[5] Church's thesis and Hume's problem
Kelly, KT
Schulte, O
LOGIC AND SCIENTIFIC METHODS: VOLUME ONE OF THE TENTH INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, FLORENCE, AUGUST 1995, 1997, 259 : 159 - 177
[6] Relational biology and Church's thesis
Louie, A. H.
BIOSYSTEMS, 2020, 197
[7] On Church's thesis in cubical assemblies
Swan, Andrew W.
Uemura, Taichi
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2022, 31 (10) : 1185 - 1204
[8] Diagonalisation and Church's thesis: Kleene's homework
Alonso, E
Manzano, M
HISTORY AND PHILOSOPHY OF LOGIC, 2005, 26 (02) : 93 - 113
[9] Peter on Church's Thesis, Constructivity and Computers
Szabo, Mate
CONNECTING WITH COMPUTABILITY, 2021, 12813 : 434 - 445
[10] Kripke’s paradox and the Church–Turing thesis
Mark D. Sprevak
Synthese, 2008, 160 : 285 - 295

← 1 2 3 4 5 →