인지과학의 수학적 기틀 = The Mathematical Foundations of Cognitive Science

다국어 초록 (Multilingual Abstract)

Anyone wishing to understand cognitive science, a converging science, need to become familiar with three major mathematical landmarks: Turing machines, Neural networks, and $G\ddot{o}del's$ incompleteness theorems. The present paper aims to explore the mathematical foundations of cognitive science, focusing especially on these historical landmarks. We begin by considering cognitive science as a metamathematics. The following parts addresses two mathematical models for cognitive systems; Turing machines as the computer system and Neural networks as the brain system. The last part investigates $G\ddot{o}del's$ achievements in cognitive science and its implications for the future of cognitive science.

참고문헌 (Reference)

1 현우식, "튜링의 기계주의에 대한 괴델의 비평" 한국수학사학회 17 (17): 27-36, 2004

2 Newell, A, "통합인지이론(Unified Theory of Cognition)" 아카넷 2002

3 한광희, "인지과학:마음·언어·기계" 학지사 2000

4 이정민, "인지과학" 태학사 2001

5 이정모, "인지과학" 성균관대학교출판부 2009

6 홍성사, "순서와 위상구조의 관계" 10 (10): 19-32, 1997

7 현우식, "계산가능성이론 형성에서의 Church's Thesis와 Turing's Thesis" 11 (11): 19-26, 1998

8 홍영희, "격자론의 기원" 12 (12): 15-23, 1999

9 미국립연구회의, "“인지과학,” 과학과 기술" 대한교과서 1985

10 Marr, D, "Vision" W. H. Feeman and Company 1982

11 Chaitin, G, "Thinking about Gödel and Turing" World Scientific 2007

12 Herken, R, "The Universal Turing Machine: A Half-Century Survey" Springer-Verlag 1995

13 Goertzel, B, "The Structure of Intelligence: A New Mathematical Model of Mind" Springer-Verlag 1993

14 Aspray, W, "The Mathematical Reception of the Modern Computer: John von Neumann and the Institute for Advanced Study Computer. In Studies in the History of Mathematics" The Mathematical Association of America 1987

15 Penrose, R, "The Large, the Small and the Human Mind" Cambridge University Press 1997

16 Blaha, S, "The Equivalence of Elementary Particle Theories and Computer Languages: Quantum Computers, Turing Machines, Standard Model, Super String Theory, and a Proof that Gödel's Theorem Implies Nature Must be Quantum"

17 Gödel, K, "Some Remarks on the Undecidability Results(1972). In Collected Works" Oxford University Press 1990

18 Gödel, K, "Some Basic Theorems on the Foundations of Mathematics and Their Implications(1951). In Collected Works" Oxford University Press 1995

19 Dunn, J, "Quantum Logic as Motivated by Quantum Computing" 70 (70): 353-359, 2005

20 Norman, D, "Perspectives on Cognitive Science" Ablex Publishing Corporation 1981

21 McClelland, J, "Parallel Distributed Processing" The MIT Press 1986

22 Penrose, R, "On the Physics and Mathematics of Thought. In The Universal Turing Machine: A Half-Century Survey" Springer-Verlag 1995

23 Smolensky, P, "Mathematical Perspectives on Neural Networks" Lawrence Erlabaum Associates 1996

24 McCarthy, J, "Mathematical Logic in Artificial Intelligence. In Artificial Intelligence Debate: False Starts, Real Foundations" The MIT Press 1990

25 Davis, M, "Mathematical Logic and the Origin of Modern Computers. In Studies in the History of Mathematics" The Mathematical Association of America 1987

26 Davis, M, "Influences of Mathematical Logic on Computer Science. In The Universal Turing Machine: A Half-Century Survey" Springer-Verlag 1995

27 Hofstadter, D, "Gödel, Escher, Bach: An Eternal Golden Braid" Basic Books 1979

28 현우식, "Gödel's Disjunctive Conclusion" 13 (13): 137-141, 2000

29 Posner, I, "Foundations of Cognitive Science" The MIT Press 1989

30 홍성사, "Extensions and Mathematical Extensions. In: 한태동교수 고희기념논문집" 1995

31 Beeson, M, "Computerizing Mathematics: Logic and Computation. In The Universal Turing Machine: A Half-Century Survey" Springer-Verlag 1995

32 Franklin, S, "Computation by Discrete Neural Nets. In Mathematical Perspectives on Neural Networks" Lawrence Erlabaum Associates 1996

33 홍성사, "Categorical Topology의 역사" 10 (10): 11-23, 1997

34 Arbib, M, "Brains, Machines, and Mathematics" Springer-Verlag 1987

35 Graubard, S, "Artificial Intelligence Debate: False Starts, Real Foundations" The MIT Press 1990