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

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