G$\ddot{o}$del's Critique of Turings Mechanism

튜링의 기계주의에 대한 괴델의 비평

  • 현우식 (연세대학교 인지과학연구소)
  • Published : 2004.11.01


This paper addresses G$\ddot{o}$del's critique of Turing's mechanism that a configuration of the Turing machine corresponds to each state of human mind. The first part gives a quick overview of Turing's analysis of cognition as computation and its variants. In the following part, we describe the concept of Turing machines, and the third part explains the computational limitations of Turing machines as a cognitive system. The fourth part demonstrates that Godel did not agree with Turing's argument, sometimes referred to as mechanism. Finally, we discuss an oracle Turing machine and its implications.