수리논리학의 역사적 배경과 괴델
A Historical Background of Mathematical Logic and Gdel
0
조회
0
다운로드
2
인용
0
참고문헌
키워드
초록
이 글의 목적은 수리논리학의 역사적 배경을 소개하려는 것이다. 각각 발전해온 수학과 논리학이 19세기 중엽에 하나로 합쳐지면서 엄청난 시너지 효과를 가져왔다. 그 후 논리학의 ‘수학화’는 탄력을 받아 진행되었고, 다른 한편으로는 수학도 논리로 환원시키려는 움직임이 일어났다. 이러한 흐름 속에서 괴델은 산수룰 포함하는 무모순인 형식체계는 불완전하다는 것을 증명함으로써 형식주의의 한계를 보여주었다.
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 Gödel's proof shows the limitation of formalism by proving that there are true arithmetical propositions that are not provable.
참고문헌 (17)
- Boole, George, "The Mathematical Analysis of Logic" (1951), Basil Blackwell
- Church, Alonzo, "A Formulation of the Simple Theory of Types", The Journal of Symbolic Logic, 5, pp.56~68 (1940)
- Frege, Gottlob, "The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number" (1980), Northwestern University Press
- Frege Gottlob, "The Frege Reader" (1997), Wiley-Blackwell
- Gödel, Kurt, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems" (1992), Dover Publications
- Hilbert, David, "Ackermann, Wilhelm, Principles of Mathematical Logic" (1950), Chelsea Publishing
- Kneale, William, "The Development of Logic" (1962), Clarendon
- Peckhaus, Volker, "The way of Logic into Mathematics", Theoria, 12, pp.39~64 (1997)
- Peckhaus, Volker, "19th Century Logic between Philosophy and Mathematics", this Bulletin, 5, pp.433~450 (1999)
- Russell, Bertrand, "The Principles of Mathematics" (1948), Allen & Unwin
- Wang, Hao, "Reflections on Kurt Gödel" (1987), The MIT Press
- Whitehead, Alfred N, "Principia Mathematica" (1978), Cambridge University Press
- 박창균, "괴델의 삶과 사상 -‘여백의 철학’을 위한 소고", 한국수학사학회지, 19(2), pp.47~58 (2006), 한국수학사학회
- 박창균, "20세기 수학의 패러다임", 한국수학사학회지, 9(2), pp.22~29 (1996)
- 버거,프레드 R., "논리학이란 무엇인가" (1988), 서광사
- 서정선, "논리학의 첫걸음" (2002), 서광사