수리논리학의 역사적 배경과 괴델

A Historical Background of Mathematical Logic and $G{\ddot{o}}del$

이 글의 목적은 수리논리학의 역사적 배경을 소개하려는 것이다. 각각 발전해온 수학과 논리학이 19세기 중엽에 하나로 합쳐지면서 엄청난 시너지 효과를 가져왔다. 그 후 논리학의 '수학화'는 탄력을 받아 진행되었고, 다른 한편으로는 수학도 논리로 환원시키려는 움직임이 일어났다. 이러한 흐름 속에서 괴델은 산수를 포함하는 무모순인 형식체계는 불완전하다는 것을 증명함으로써 형식주의의 한계를 보여주었다.

This Paper introduces a historical background of mathematical logic. Logic and mathematics were not developed dependently until the mid of the nineteenth century, when two streams of logic and mathematics came to form a river so that brought forth synergy effects. Since the mid-nineteenth century mathematization of logic were proceeded while attempts to reduce mathematics to logic were made. Against this background $G{\ddot{o}}del's$ proof shows the limitation of formalism by proving that there are true arithmetical propositions that are not provable.