튜링의 기계주의에 대한 괴델의 비평
Godel's Critique of Turing's Mechanism
0
조회
0
다운로드
2
인용
0
참고문헌
키워드
초록
이 논문에서는 튜링의 기계주의에 대한 괴델의 비평을 다룬다. 여기에서 튜링의 기계주의란 튜링기계의 기호배열이 인간의 마음의 각 상태에 대응된다는 것을 의미한다. 첫째 부분에서는 계산으로서의 인지과정에 대한 튜링의 분석을 검토한다. 두 번째 부분에서는 튜링기계의 개념을 살펴보고, 세 번째 부분에서는 인지적 체계로서의 튜링기계가 갖는 계산적 한계를 설명한다. 네 번째 부분에서는 괴델이 튜링의 기계주의에 동의하지 않았음을 보이고, 마지막으로 오라클 튜링기계과 그 함의에 대하여 논의한다
Abstract
This paper addresses Gö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 Gödel did not agree with Turing’s argument, sometimes referred to as mechanism. Finally, we discuss an oracle Turing machine and its implications.
참고문헌 (7)
- A, "with an application to the Entscheidungs- problem Proceedings of the London Mathematical Society", pp.230~265 (1936)
- del, "Postscriptum to Gö" (1964), Oxford University Press
- del, "On undecidable propositions of formal mathematical systems" (1934), in Collected Works I Oxford University Press
- Van Nostrand, "Introduction to Metamathematics" (1952)
- Gödel, K, "Some basic theorems on the foundations of mathematics and their implications(1951) in Collected Works III: Unpublished Essays and Lectures, S. Ferferman et al.(eds)", Oxford University Press
- Gödel, K, "Some remarks on the undecidability results(1972) in Collected Works II: Publications 1938-1974, S. Ferferman et al.(eds)" (1972), Oxford University Press
- A, "Systems of logic based on ordinals Proceedings of the London Mathematical Society", pp.161~228 (1939)