共 53 条
[1]
[Anonymous], 1993, COMPUTER MY LIFE
[2]
[Anonymous], 1964, MATH THEORY COMMUNIC
[3]
[Anonymous], 1998, Neural Networks and Analog Computation: Beyond the Turing Limit
[4]
[Anonymous], 2005, SUBTLE IS LORD SCI L
[5]
Ball P., 2002, NATURE NEWS 0603, DOI [10.1038/news020527-16, DOI 10.1038/NEWS020527-16]
[6]
Chaitin Gregory., 2005, MetaMath! The Quest for Omega
[8]
Chalmers D., 1996, CONSCIOUS MIND SEARC
[9]
de Roever Willem-Paul, 1998, Data Refinement Model-Oriented Proof methods and their Comparison
[10]
DEDEKIND R, 1963, CONTINUITY IRRATIONA