共 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