Journal for History of Mathematics (한국수학사학회지)
- Volume 21 Issue 1
- /
- Pages.17-28
- /
- 2008
- /
- 1226-931X(pISSN)
A Historical Background of Mathematical Logic and $G{\ddot{o}}del$
수리논리학의 역사적 배경과 괴델
- Park, Chang-Kyun (Department of Philosophy, Seokyeong University)
- 박창균 (서경대학교 철학과)
- Published : 2008.02.28
Abstract
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
이 글의 목적은 수리논리학의 역사적 배경을 소개하려는 것이다. 각각 발전해온 수학과 논리학이 19세기 중엽에 하나로 합쳐지면서 엄청난 시너지 효과를 가져왔다. 그 후 논리학의 '수학화'는 탄력을 받아 진행되었고, 다른 한편으로는 수학도 논리로 환원시키려는 움직임이 일어났다. 이러한 흐름 속에서 괴델은 산수를 포함하는 무모순인 형식체계는 불완전하다는 것을 증명함으로써 형식주의의 한계를 보여주었다.
Keywords