The Mathematical Foundations of Cognitive Science

인지과학의 수학적 기틀

  • Published : 2009.08.31

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.

References

  1. Arbib, M., Brains, Machines, and Mathematics, Springer-Verlag, 1987.
  2. Aspray, W., "The Mathematical Reception of the Modern Computer: John von Neumann and the Institute for Advanced Study Computer," Esther Phillips (ed.), Studies in the History of Mathematics, The Mathematical Association of America, 1987.
  3. Beeson, M., "Computerizing Mathematics: Logic and Computation," Rolf Herken (ed.), The Universal Turing Machine: A Half-Century Survey, Springer-Verlag, 1995.
  4. Blaha, S., The Equivalence of Elementary Particle Theories and Computer Languages: Quantum Computers, Turing Machines, Standard Model, Super String Theory, and a Proof that Godel's Theorem Implies Nature Must be Quantum, A Pingree-Hill Research Monograph, 2005.
  5. Chaitin, G., Thinking about Godel and Turing, World Scientific, 2007.
  6. Davis, M., "Influences of Mathematical Logic on Computer Science," Rolf Herken (ed.), The Universal Turing Machine: A Half-Century Survey, Springer-Verlag, 1995.
  7. Davis, M., "Mathematical Logic and the Origin of Modern Computers," Esther Phillips (ed.), Studies in the History of Mathematics, The Mathematical Association of America, 1987.
  8. Dunn, J., Hagge, T., Moss, L., and Wang, Z., "Quantum Logic as Motivated by Quantum Computing," The J ournal of Symbolic Logic, Vol.70, No.2 (2005), 353-359. https://doi.org/10.2178/jsl/1120224716
  9. Franklin, S., Garzon, M., "Computation by Discrete Neural Nets," Paul Smolensky, Michael Mozer, David Rumelhart (eds.), Mathematical Perspectives on Neural Networks, Lawrence Erlabaum Associates, 1996.
  10. Godel, K., "Some Basic Theorems on the Foundations of Mathematics and Their Implications(1951)," Collected Works, Vol.III., S. Feferman et al. eds., Oxford University Press, 1995.
  11. Godel, K., "Some Remarks on the Undecidability Results(1972)," Collected Works, Vol.II., S. Feferman et al.(eds.), Oxford University Press, 1990.
  12. Goertzel, B., The Structure of Intelligence: A New Mathematical Model of Mind, Springer-Verlag, 1993.
  13. Herken, R.(ed.), The Universal Turing Machine: A Half-Century Survey, Springer-Verlag, 1995.
  14. Hofstadter, D., Godel, Escher, Bach: An Eternal Golden Braid, Basic Books, 1979.
  15. Marr, D., Vision, W. H. Feeman and Company, 1982.
  16. McCarthy, J., "Mathematical Logic in Artificial Intelligence," Stephen Graubard (ed.), Artificial Intelligence Debate: False Starts, Real Foundations, The MIT Press, 1990.
  17. McClelland, J., Rumelhart, D., and Hinton, G., Parallel Distributed Processing, Vol.1. The MIT Press, 1986.
  18. Newell, A., 차경호 옮김, 통합인지이론(Unified Theory of Cognition), 아카넷, 2002.
  19. Norman, D.(ed.), Perspectives on Cognitive Science, Ablex Publishing Corporation, 1981.
  20. Graubard, S.(ed.), Artificial Intelligence Debate: False Starts, Real Foundations, The MIT Press, 1990.
  21. Penrose, R., "On the Physics and Mathematics of Thought," Rolf Herken (ed.), The Universal Turing Machine: A Half-Century Survey, Springer-Verlag, 1995.
  22. Penrose, R., The Large, the Small and the Human Mind, Cambridge University Press, 1997.
  23. Posner, I.(ed.), Foundations of Cognitive Science, The MIT Press, 1989.
  24. Smolensky, P., Mozer, M., and Rumelhart, D.(eds.), Mathematical Perspectives on Neural Networks, Lawrence Erlabaum Associates, 1996.
  25. 미국립연구회의, "인지과학," 과학과 기술, 대한교과서, 1985.
  26. 이정모, 인지과학, 성균관대학교출판부, 2009.
  27. 이정민 외, 인지과학, 태학사, 2001.
  28. 한광희 외, 인지과학: 마음.언어.기계, 학지사, 2000.
  29. 현우식, "계산가능성이론 형성에서의 Church's Thesis와 Turing's Thesis," 한국수학사학회지 11 (1998), No.1, 19-26.
  30. 현우식, "Godel's Critique of Turing's Mechanism," 한국수학사학회지 17 (2004), No.4, 27-36.
  31. 현우식, "Godel's Disjunctive Conclusion," 한국수학사학회지 13 (2000), No.1, 137-141.
  32. 홍성사, "Extensions and Mathematical Extensions," 한태동교수 고희기념논문집, 1995.
  33. 홍성사.홍영희, "순서와 위상구조의 관계," 한국수학사학회지 10 (1997), No.1, 19-32.
  34. 홍성사.홍영희, "Categorical Topology의 역사," 한국수학사학회지 10 (1997), No.2, 11-23.
  35. 홍영희, "격자론의 기원," 한국수학사학회지 12 (1999), No.2, 15-23.