The church-turing thesis as a guiding principle for physics

被引：0

作者：

Svozil, K ^{[1
]}

机构：

[1] Vienna Univ Technol, Inst Theoret Phys, A-1040 Vienna, Austria

来源：

UNCONVENTIONAL MODELS OF COMPUTATION | 1998年

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Two aspects of the physical side of the Church-Turing thesis are discussed. The first issue is a variant of the Eleatic argument against motion, dealing with Zeno squeezed time cycles of computers. The second argument reviews the issue of one-to-one computation, that is, the bijective (unique and reversible) evolution of computations and its relation to the measurement process.

引用

页码：371 / 385

页数：15

共 63 条

[1]

[Anonymous], 1979, NONNEGATIVE MATRICES

[2]

[Anonymous], FDN METAMATHEMATICS

[3]

[Anonymous], 1994, PSA P BIENN M PHIL S

[4]

[Anonymous], ZENO ELEA

[5]

[Anonymous], 1957, The Presocratic Philosophers

[6]

[Anonymous], SYNTHESE, DOI DOI 10.1007/BF00484949

[7]

[Anonymous], IYYUN

[8] TASKS, SUPER-TASKS, AND THE MODERN ELEATICS [J].

BENACERRAF, P .

JOURNAL OF PHILOSOPHY, 1962, 59 (24) :765-784

[9] LOGICAL REVERSIBILITY OF COMPUTATION [J].

BENNETT, CH .

IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1973, 17 (06) :525-532

[10]

BENNETT CH, 1990, INT J THEORETICAL PH, P905

← 1 2 3 4 5 6 7 →