CONSISTENCY OF CHURCH THESIS WITH EPISTEMIC ARITHMETIC

被引：0

|

作者：

FLAGG, R

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1984年 / 49卷 / 02期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：679 / 680

页数：2

相关论文

共 50 条

[41] CHURCH INVOLVEMENT AND COMFORT THESIS IN ALBERTA
HOBART, CW
JOURNAL FOR THE SCIENTIFIC STUDY OF RELIGION, 1974, 13 (04) : 463 - 470
[42] What is Church's thesis? An outline
Doyle, J
MINDS AND MACHINES, 2002, 12 (04) : 519 - 520
[43] A Church-Turing Thesis for Randomness?
Franklin, Johanna N. Y.
CONNECTING WITH COMPUTABILITY, 2021, 12813 : 217 - 226
[44] Modal-Epistemic Arithmetic and the problem of quantifying in
Heylen, Jan
SYNTHESE, 2013, 190 (01) : 89 - 111
[45] Computationalism, the Church-Turing Thesis, and the Church-Turing fallacy
Piccinini, Gualtiero
SYNTHESE, 2007, 154 (01) : 97 - 120
[46] Modal-Epistemic Arithmetic and the problem of quantifying in
Jan Heylen
Synthese, 2013, 190 : 89 - 111
[47] DISJUNCTION PROPERTY AND CHURCHS THESIS IN ARITHMETIC WITH GZEGORCZYK LOGIC
PANKRATIEV, NA
VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1989, (06): : 63 - 65
[48] Peter on Church's Thesis, Constructivity and Computers
Szabo, Mate
CONNECTING WITH COMPUTABILITY, 2021, 12813 : 434 - 445
[49] Hypercomputation and the physical church-turing thesis
Cotogno, P
BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 2003, 54 (02): : 181 - 223
[50] THE LOCAL CONSISTENCY OF ARITHMETIC WITH PREDICATE OF REACH
BOZHICH, ES
VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1985, (05): : 37 - 41

← 1 2 3 4 5 →