튜링의 업적이 지닌 철학적 함의 —‘멈춤정리’를 중심으로—
Philosophical Implication of Turing’s Work —Concentrated on Halting Theorem—
0
조회
0
다운로드
3
인용
0
참고문헌
키워드
초록
이 글의 목적은 튜링이 태어난 지 100주년을 맞이하여 튜링의 삶을 살펴보고 그의 업적 중 특히 ‘멈춤정리’ 에 주목하여 철학적 함의를 궁구하는 것이다. 튜링은 멈춤문제가 해결불가능하다는 것을 증명함으로써 힐베르트의 결정문제를 부정적으로 해결했다. 본고에서는 멈춤문제의 해결불가능성이 이성의 한계를 함축한다고 파악하고 인식이나행위에 있어서 여백을 가지는 것이 필요하다는 것을 주장한다.
Abstract
This paper aims to examine Alan Turing’s life at the centenary of his birth and to discuss a philosophical implication of his work by concentrating on halting theorem particularly. Turing negatively solved Hilbert’s decision problem by proving impossibility of solving halting problem. In this paper I claim that the impossibility implies limits of reason, and accordingly that the marginality in cognition and/or in action should be recognized.
참고문헌 (38)
- 강영안, "주체는 죽었는가" (2007), 문예출판사
- 강영안, "타인의 얼굴 : 레비나스의 철학" (2011), 문학과지성사
- 에드 디너, "모나리자 미소의 법칙" (2009), 21세기북스
- 박정일, "추상적 사유의 위대한 힘 : 튜링 & 괴델" (2010), 김영사
- 레이첼 레멘, "할아버지의 기도" (2005), 문예출판사
- 데이비드 리비트, "너무 많이 알았던 사람" (2008), 승산
- 박민규, "죽은 왕녀를 위한 파반느" (2009), 예담
- 박창균, "괴델의 삶과 사상 -‘여백의 철학’을 위한 소고", 한국수학사학회지, 19(2), pp.47~58 (2006), 한국수학사학회
- 박창균, "20세기 수학의 패러다임", 한국수학사학회, 9(2), pp.22~29 (1996)
- 박창균, "18세기 수학의‘형이상학’", 한국수학사학회지, 11(2), pp.55~62 (1998)
- 다카하시 쇼이치로, "이성의 한계" (2009), 책보세
- 장 세라구, "튜링" (1998), 동문선
- 이석명, "비움과 낮춤의 철학" (2011), 천지인
- 크리스토퍼 차브리스, "보이지 않는 고릴라" (2010), 김영사
- 막스 피카르트, "침묵의 세계" (2008), 까치
- Detlefsen, M, "Hilbert’s Programme" (1986), Reichel
- Detlefsen, M, "On an Alleged Refutation of Hilber’s Program Using Gödel’s First Incompleteness Theorem, In Proof, Logic, and Formalization" (1992), Routledge
- Diener, Ed, "Happiness: Unlocking the Mysteries of Psychological Wealth" (2008), Wiley-Blackwell
- Frege, Gottlob, "The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number" (1980), Northwestern University Press
- Frege, Gottlob, "The Grege Reader" (1997), Wiley-Blackwell
- Kampusch, Natascha, "3096 Days" (2010), Penguin Books
- Gödel, Kurt, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems" (1992), Dover Publications
- Goldstein, Rebecca, "Incompleteness" (2005), W.W. Norton Company
- Hofstadter, Douglas R., "Gödel, Escher, Bach: An Eternal Golden Braid" (1979), Basic Books
- Levinas, Emmanuel, "Totality and Infinity: An Essay on Exteriority" (1969), Duquesne University Press
- Leavitt, David, "The Man Who Knew Too Much" (2006), Atlas Books
- Paris, J, "A Mathematical Incompleteness in Peano Arithmetic, In Handbook for Mathematical Logic" (1977), North-Holland
- Penrose, R, "Emperors’s New Mind" (1989), Oxford University
- Penrose, R, "Shadow of the Mind" (1994), Oxford University
- Picard, Max, "The World of Silence" (2002), Eighth Day Press
- Polanyi, Michael, "Personal Knowledge: Towards a Post-Critical Philosophy" (1958), Routledge & Kegan Paul
- Remen, Rachel, "My Grandfather’s Blessings" (2001), Riverhead Trade
- Strauss, Danie, "A Historical Analysis of the Role of Beliefs in the Three Foundational Crises in Mathematics, In Facets of Faith of Science, Vol. 2" (1996), University Press of America
- Weyl, Hermann, "Philosophy of Mathematics and Natural Science, Revised and augmented English edition" (1949), Princeton University Press