• Journal for History of Mathematics
• /
• v.25 no.3
• /
• pp.15-27
• /
• 2012

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.