On the physics and mathematics of thought
暂无分享,去创建一个
[1] D. Deutsch. Quantum theory, the Church–Turing principle and the universal quantum computer , 1985, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.
[2] G. Lee Bowie,et al. Lucas' number is finally up , 1982, J. Philos. Log..
[3] M. B. Pour-El,et al. Noncomputability in models of physical phenomena , 1982 .
[4] M. B. Pour-El,et al. The wave equation with computable initial data such that its unique solution is not computable , 1981 .
[5] John R. Searle,et al. Minds, brains, and programs , 1980, Behavioral and Brain Sciences.
[6] D. Hofstadter,et al. Godel, Escher, Bach: An Eternal Golden Braid , 1979 .
[7] Marian Boylan Pour-el,et al. A computable ordinary differential equation which possesses no computable solution , 1979 .
[8] A. Aspect. Proposed experiment to test the nonseparability of quantum mechanics , 1976 .
[9] R. Robinson. Undecidability and nonperiodicity for tilings of the plane , 1971 .
[10] A. M. Turing,et al. Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.
[11] K. Gödel. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .
[12] G. C. Shephard,et al. Tilings and Patterns , 1990 .
[13] P. Grangier,et al. Experiments on Einstein-Podolsky-Rosen Correlations with Pairs of Visible Photons , 1986 .
[14] Benoit B. Mandelbrot,et al. Fractals and the Rebirth of Iteration Theory , 1986 .
[15] J. Paris. A Mathematical Incompleteness in Peano Arithmetic , 1977 .
[16] Paul Benacerraf,et al. God, The Devil, And Gödel , 1967 .
[17] Robert L. Berger. The undecidability of the domino problem , 1966 .