Intelligent Machinery, A Heretical Theory*
暂无分享,去创建一个
[1] Nellie Clarke Brown. Trees , 1896, Savage Dreams.
[2] A. Turing. Equivalence of Left and Right almost Periodicity , 1935 .
[3] A. Turing. On computable numbers, with an application to the Entscheidungsproblem , 1937, Proc. London Math. Soc..
[4] Alan M. Turing,et al. Computability and λ-definability , 1937, Journal of Symbolic Logic.
[5] Alan M. Turing,et al. Systems of Logic Based on Ordinals , 2012, Alan Turing's Systems of Logic.
[6] A. Turing. Finite Approximations to Lie Groups , 1938 .
[7] Alan M. Turing,et al. The use of dots as brackets in Church's system , 1942, Journal of Symbolic Logic.
[8] A. Turing. A method for the calculation of the zeta-function Universal Turing Machine , 2011 .
[9] Alan M. Turing,et al. Practical forms of type theory , 1948, Journal of Symbolic Logic.
[10] A. Turing. ROUNDING-OFF ERRORS IN MATRIX PROCESSES , 1948 .
[11] A. Turing. THE WORD PROBLEM IN SEMI-GROUPS WITH CANCELLATION , 1950 .
[12] A Diffusion Reaction Theory of Morphogenesis , 1952, Nature.
[13] A. Turing. Some Calculations of the Riemann Zeta-Function , 1953 .
[14] A. M. Turing,et al. Review: Arthur W. Burks, The Logic of Programming Electronic Digital Computers , 1953 .
[15] A. M. Turing,et al. Solvable and Unsolvable Problems , 1954 .
[16] John Tyler Bonner,et al. Morphogenesis , 1965, The Physics of Living Matter: Space, Time and Information.
[17] Martin Davis,et al. The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions , 2004 .
[18] B. van Rootselaar,et al. Dictionary of Scientific Biography XIII , 1976 .
[19] A. M. Turing,et al. Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.
[20] A. Turing. Artificial Intelligence : Usfssg Computers to Think about Thinking . Part 1 , 1983 .
[21] A. M. Turing,et al. Local programming methods and conventions , 1989 .
[22] I. A. Dorobantu,et al. The Physical Basis of Morphogenesis , 1989 .
[23] A. M. Turing,et al. Checking a large routine , 1989 .
[24] A. M. Turing,et al. The chemical basis of morphogenesis , 1952, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences.
[25] Sergio J. Alvarado. AAAI 1991 spring symposium series reports , 1991 .
[26] Fumihiko Hashimoto,et al. Can Machine Think , 1995 .
[27] A. Turing. Lecture to the London Mathematical Society on 20 February 1947. 1986. , 1995, M.D. computing : computers in medical practice.
[28] Jean-Baptiste Lully,et al. The collected works , 1996 .
[29] Markus Voelter,et al. State of the Art , 1997, Pediatric Research.
[30] Logic based on Inclusion and Abstraction WV Quine , 2022 .
[31] Universal Turing,et al. The chemical basis of morphogenesis reprinted from Philosophical Transactions of the Royal Society ( Part B ) 237 37-72 ( 1953 ) Universal Turing Machine , 2022 .
[32] Proposed electronic calculator ; reprinted in ( Copeland 2005 ) Universal Turing Machine , 2022 .
[33] Collected Works: Mathematical Logic (RO Gandy and CEM Yates Editors) , 2022 .
[34] Proposed electronic calculator report for National Physical Laboratory Teddington , 2022 .
[35] Universal Turing,et al. Can Digital Computers Think?; Reprinted in (copeland 2004) , 2022 .