共 14 条
[1]
CHAITIN GJ, 1966, NOTIC AMER MATH SOC, V13, P133
[2]
CHAITIN GJ, 1966, NOTIC AMER MATH SOC, V13, P228
[3]
Church A., 1940, B AM MATH SOC, V46, P130
[4]
Davis M., 1958, COMPUTABILITY UNSOLV
[5]
POPPER KR, 1959, LOGIC SCIENTIFIC DIS
[6]
SHANNON, 1956, AUTOMATA STUDIES ED
[7]
A MATHEMATICAL THEORY OF COMMUNICATION
[J].
BELL SYSTEM TECHNICAL JOURNAL,
1948, 27 (03)
:379-423
[8]
SHANNON CE, 1956, AUTOMATA STUDIES
[9]
TAUB AH, 1963, JOHN VONNEUMANN C ED, V5
[10]
Turing AM, 1937, P LOND MATH SOC, V43, P544