Turing's Cognitive Science: A Metamathematical Essay for His Centennial
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
The centennial of Alan Mathison Turing(23 June 1912 - 7 June 1954) is an appropriate occasion on which to assess his profound influence on the development of cognitive science. His contributions to and attitudes toward that field are discussed from the metamathematical perspective. This essay addresses (i)Turing's mathematical analysis of cognition, (ii)universal Turing machines, (iii)the limitations of universal Turing machines, (iv)oracle Turing machine beyond universal Turing machine, and (v)Turing test for cognitive science. Turing was a ground-breaker, eager to move on to new fields. He actually opened wider the scientific windows to the mind. The results show that first, by means of mathematical logic Turing discovered a new bridge between the mind and the physical world. Second, Turing gave a new formal analysis of operations of the mind. Third, Turing investigated oracle Turing machines and connectionist network machines as new models of minds beyond the limitations of his own universal machines. This paper explores why the cognitive scientist would be ever expecting a new Turing Test on the shoulder of Alan Turing.
Abstract
The centennial of Alan Mathison Turing(23 June 1912 - 7 June 1954) is an appropriate occasion on which to assess his profound influence on the development of cognitive science. His contributions to and attitudes toward that field are discussed from the metamathematical perspective. This essay addresses (i)Turing's mathematical analysis of cognition, (ii)universal Turing machines, (iii)the limitations of universal Turing machines, (iv)oracle Turing machine beyond universal Turing machine, and (v)Turing test for cognitive science. Turing was a ground-breaker, eager to move on to new fields. He actually opened wider the scientific windows to the mind. The results show that first, by means of mathematical logic Turing discovered a new bridge between the mind and the physical world. Second, Turing gave a new formal analysis of operations of the mind. Third, Turing investigated oracle Turing machines and connectionist network machines as new models of minds beyond the limitations of his own universal machines. This paper explores why the cognitive scientist would be ever expecting a new Turing Test on the shoulder of Alan Turing.
참고문헌 (17)
- Herken, R., "The Universal Turing Machine" (1988), Oxford University Press
- Turing, A., "On computable numbers, with an application to the Entscheidungsproblem", Proceedings of the London Mathematical Society, 42, pp.230~265 (1936)
- Gödel, K, "Some remarks on the undecidability results, In Collected Works II: Publications 1938-1974" (1990), Oxford University Press
- Gödel, K, "Postscriptum to Gödel 1934, In Collected Works I: Publications 1929-1936" (1986), Oxford University Press
- Gödel, K, "On undecidable propositions of formal mathematical systems, In Collected Works I: Publications 1929-1936" (1986), Oxford University Press
- Kleene, S., "Introduction to Metamathematics" (1952), Princeton
- Gödel, K, "Some basic theorems on the foundations of mathematics and their implications, In Collected Works III: Unpublished Essays and Lectures" (1995), Oxford University Press
- Sieg, W., "Mechanical Procedures and Mathematical Experience, Mathematics and mind" (1994), Oxford University Press
- Turing, A., "Systems of logic based on ordinals", Proceedings of the London Mathematical Society, 2(45), pp.161~228 (1939)
- Soare, R., "Recursively Enumerable Sets and Degrees" (1987), Springer-Verlag
- Turing, A., "Computing Machinery and Intelligence", Mind, 59, pp.433~460 (1950)
- Hofstadter D, "The Mind's I" (1981), Basic
- Penrose, R., "The Emperor's New Mind" (1989), University Press
- Penrose, R., "Shadows of the mind" (1994), Oxford University Press
- Gödel, K, "Some basic theorems on the foundations of mathematics and their implications, In Collected Works III: Unpublished Essays and Lectures" (1995), Oxford University Press
- Copeland, B, "Turing's O-Machines, Searle, Penrose, and the Brain", Analysis, 58(2), pp.128~138 (1998)
- Copeland, B., "The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus the Secrets of Enigma" (2004), Oxford University Press