共 85 条
[21]
CHAITIN GJ, 1987, ALGORITHMIC INFORMAT
[22]
CHAITINCHATELIN F, 1955, LECTURES FINITE PREC
[23]
Descartes R., 1637, DISCOURS METHODE
[26]
EINSTEIN A, 1921, SITZUNGSBERICHTE PRE, V1, P123
[27]
FORD J, 1983, PHYS TODAY, V40, P1
[28]
FRAENKEL AA, 1984, F SET THEORY
[29]
Gandy R., 1980, KLEENE S, P123, DOI [10.1016/S0049-237X(08)71257-6, DOI 10.1016/S0049-237X(08)71257-6]
[30]
GANDY RO, 1982, LOGIC C 80, P129