NOTE ON MONTE-CARLO PRIMALITY TESTS AND ALGORITHMIC INFORMATION-THEORY

被引：13

作者：

CHAITIN, GJ ^{[1
]}

SCHWARTZ, JT ^{[1
]}

机构：

[1] NYU,COURANT INST MATH SCI,NEW YORK,NY 10012

来源：

关键词：

D O I：

10.1002/cpa.3160310407

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

页码：521 / 527

页数：7

共 16 条

[1]

BELL ET, 1951, MATH QUEEN SERVANT S, P225

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

CHAITIN, GJ .

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

CHAITIN, GJ .

[4] RANDOMNESS AND MATHEMATICAL PROOF [J].

CHAITIN, GJ .

[5] ALGORITHMIC INFORMATION-THEORY [J].

CHAITIN, GJ .

[6]

DAVIS M, 1978, MATH TODAY 12 INFORM

[7]

DAVIS M, 1977, 12 NEW YORK U COUR I

[8]

EHRENFEUCHT A, 1971, AMS B, V77, P366

[9]

GILL JT, 1974, 6TH P ACM S THEOR CO, P91

[10]

GODEL K, 1965, UNDECIDABLE, P82