GODEL THEOREM AND INFORMATION

被引：73

作者：

CHAITIN, GJ

机构：

来源：

关键词：

D O I：

10.1007/BF02084159

中图分类号：

O4 [物理学];

学科分类号：

0702 ;

摘要：

引用

页码：941 / 954

页数：14

共 33 条

[1]

BELL ET, 1951, MATH QUEEN SERVANT S

[2] THE THERMODYNAMICS OF COMPUTATION - A REVIEW [J].

BENNETT, CH .

[3]

CHAITIN G, 1982, ENCY STAT SCI, V1, P38

[4] INFORMATION-THEORETIC COMPUTATIONAL COMPLEXITY [J].

CHAITIN, GJ .

[5] INFORMATION-THEORETIC LIMITATIONS OF FORMAL SYSTEMS [J].

CHAITIN, GJ .

CHAITIN, GJ ;

SCHWARTZ, JT .

[7] RANDOMNESS AND MATHEMATICAL PROOF [J].

CHAITIN, GJ .

[8] THEORY OF PROGRAM SIZE FORMALLY IDENTICAL TO INFORMATION-THEORY [J].

CHAITIN, GJ .

[9]

CHAITIN GJ, 1977, IBM J RES DEV, V21, P496

[10]

CHAITIN GJ, 1979, MAXIMUM ENTROPY FORM, P477