• 제목/요약/키워드: 튜링의 멈춤정리

검색결과 1건 처리시간 0.014초

튜링의 업적이 지닌 철학적 함의 -'멈춤정리'를 중심으로- (Philosophical Implication of Turing's Work -Concentrated on Halting Theorem-)

  • 박창균
    • 한국수학사학회지
    • /
    • 제25권3호
    • /
    • pp.15-27
    • /
    • 2012

  • 이 글의 목적은 튜링이 태어난 지 100주년을 맞이하여 튜링의 삶을 살펴보고 그의 업적 중 특히 '멈춤정리' 에 주목하여 철학적 함의를 궁구하는 것이다. 튜링은 멈춤문제가 해결불가능하다는 것을 증명함으로써 힐베르트의 결정문제를 부정적으로 해결했다. 본고에서는 멈춤문제의 해결불가능성이 이성의 한계를 함축한다고 파악하고 인식이나 행위에 있어서 여백을 가지는 것이 필요하다는 것을 주장한다.

  • PDF KSCI