INFORMATION-THEORETIC LIMITATIONS OF FORMAL SYSTEMS

被引：95

作者：

CHAITIN, GJ

机构：

来源：

关键词：

D O I：

10.1145/321832.321839

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：403 / 424

页数：22

共 43 条

[1]

ARBIB MA, 1966, AUTOMATA THEORY

[2]

BELL ET, 1951, MATHEMATICS QUEEN SE

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

CHAITIN, GJ .

[4] ON DIFFICULTY OF COMPUTATIONS [J].

CHAITIN, GJ .

[5]

CHAITIN GJ, 1974, RC4805 IBM RES CTR R

[6]

CHAITIN GJ, 1973, RECURSIVE FUNCTION T

[7]

CHAITIN GJ, 1972, AMS19 NOT, pA712

[8]

CHAITIN GJ, 1972, AMS19 NOT, pA764

[9]

Cohen Paul, 1966, SET THEORY CONTINUUM

[10] HILBERTS TENTH PROBLEM IS UNSOLVABLE [J].

DAVIS, M .