• Title/Summary/Keyword: non-computability

Search Result 1, Processing Time 0.017 seconds

G$\ddot{o}$del's Critique of Turings Mechanism (튜링의 기계주의에 대한 괴델의 비평)

  • Hyun Woosik
    • Journal for History of Mathematics
    • /
    • v.17 no.4
    • /
    • pp.27-36
    • /
    • 2004
  • 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.

  • PDF