• 한국수학사학회지
• /
• 제27권1호
• /
• pp.59-66
• /
• 2014

This interdisciplinary study explores G$\ddot{o}$del's hermeneutics of the relationship between relativity theory and idealistic philosophy in terms of time. For G$\ddot{o}$del, Einstein's contribution to the physical realization of idealistic philosophy would be remarkable. We start with a historical background around G$\ddot{o}$del's paper for Einstein(1949a). From the perspective of G$\ddot{o}$del's cosmology, the second part addresses the relative nature of time, and the next then investigates the rotating model of universes. G$\ddot{o}$del's own results show that the temporal conditions of relativity and idealistic philosophy are satisfiable in the mathematical model of rotating universes. Thus, it could be asserted to travel into any region of the past, present or future, and back again.

• 논리연구
• /
• 제21권1호
• /
• pp.97-133
• /
• 2018

괴델은 '수학은 언어의 구문론인가?'라는 미출간 논문에서 그가 '구문론적 해석'이라고 부르는 카르납의 관점을 비판한다. 박일호, 전영삼, 어워디와 캐러스, 리켓츠, 테넌트 등은 괴델의 논변을 여러 가지 방식으로 재구성하고, 카르납의 가능한 대응을 검토해 왔다. 이 논문은 수학의 성격에 대한 괴델과 카르납의 논쟁을 재현한 뒤 대부분의 기존 논의를 비판하고 다음과 같은 새로운 기여를 하려 한다. 먼저 여러 학자가 카르납의 견해로 지적한 '언어 상대성'이 과장되었다고 주장한다. 오히려 괴델 비판의 핵심은 수학의 적용 문제이며 '기대가능성'에 기초한 논변이다. 따라서 카르납이 수학의 적용, 특히 과학에의 적용을 어떻게 보았는지를 논의하여 괴델에 응답한다. 그 과정에서 기존 논의가 간과한 카르납의 '대응 원리'가 핵심적인 역할을 한다고 주장한다. 마지막으로 괴델 불완전성 정리의 진정한 함축인 수학의 소진불가능성은 카르납과 괴델 자신이 정확히 동의하는 부분이라고 주장한다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1995년도 제7회 한글 및 한국어 정보처리 학술대회
• /
• pp.258-263
• /
• 1995

마음과 기계의 관계에 대한 $G{\ddot{o}}del's$의 선언결론(disjunctive conclusion)은 마음과 정보처리형식체계의 논리적 동치성을 함의하고 있다. 그리고 $G{\ddot{o}}del's$의 불완전성 정리(Incompleteness Theorems)에 따르면 마음과 정보처리형식체계의 논리적 동치성은 무모순이며, 동치성 반증의 이론은 그 모델을 가질 수 없다.

• 한국수학사학회지
• /
• 제19권2호
• /
• pp.47-58
• /
• 2006

본 논문에서는 괴델의 삶과 업적을 소개하고, 그의 불완전성정리의 함의하는 바가 인식론적이고 윤리적인 의미를 가지는 여백을 확보하는데 있다는 것을 주장한다. 그리고 그 함의가 '여백의 철학'을 지지함을 논의한다.

• 한국수학사학회지
• /
• 제27권1호
• /
• pp.47-57
• /
• 2014

This paper aims to evaluate works of Frege and G$\ddot{o}$del, who play the trigger role in development of logic, by Knowledge Change Model. It identifies where their positions are in the model respectively. For this purpose I suggest types of knowledge change and their criteria for the evaluation. Knowledge change are classified into five types according to the degree of its change: improvement, weak glorious revolution, glorious revolution, strong glorious revolution, and total revolution. Criteria to evaluate the change are its contents, influence, pervasive effects, and so forth. The Knowledge Change Model consists of the types and the criteria. I argue that in the model Frege belongs to the total revolution and G$\ddot{o}$del to the weak glorious revolution. If we accept that the revolution in logic initiated by Frege was completed by G$\ddot{o}$del, it is a natural conclusion.

• 한국수학사학회지
• /
• 제23권1호
• /
• pp.79-88
• /
• 2010

괴델에 의하면, 모든 긍정성을 가진 존재를 신으로 정의할 때 신의 존재에 대한 수학적 증명은 가능하다. 신의 정의를 만족하는 대상이 존재가능하다면, 그 대상은 필연적으로 존재한다. 이를 위해서 그는 세 개의 정의와 다섯 개의 공리와 두개의 정리를 남겼고, 2차 양상논리 시스템 $S_5$과 공리 ${\diamondsuit}{\Box}p{\rightarrow}{\Box}p$를 사용했다.

• 한국수학사학회지
• /
• 제20권3호
• /
• pp.17-26
• /
• 2007

이 논문에서는 수학과 수학적 대상, 그리고 수학적 직관에 대한 괴델의 입장을 그의 논법에 따라 탐구한다. 괴델에게는 플라톤주의적 존재론과 직관주의적 인식론이 모두 중심적인 철학으로 사용되고 있기 때문에, 수학의 토대에 관한 그의 견해는 단지 완고한 플라톤주의나 실재주의로 평가되거나 분류될 수 없다.

• 한국수학사학회지
• /
• 제27권6호
• /
• pp.403-408
• /
• 2014

The interdisciplinary study addresses the G$\ddot{o}$del's ontology from the perspective of the mathematical maximality. We first investigate G$\ddot{o}$del's God having all the positive properties as the intersection of ultrafilters in his own ontological proof(1970). Regarding the axiom of choice and his compactness theorem(1930), the next part discusses the ontological meaning of the maximal rather than the maximum in terms of an episteme space. The results show that G$\ddot{o}$del's ontological arguments imply all the existence of the maximal reality, and all the human's epistemological boundedness as well.

• 한국수학사학회지
• /
• 제15권3호
• /
• pp.75-82
• /
• 2002

G$\ddot{o}$del's metamathematical program from Incompleteness to Speed-up theorems shows the necessity of ever higher systems beyond the fixed formal system and devises the relative consistency.

• 논리연구
• /
• 제20권2호
• /
• pp.241-271
• /
• 2017

양진주의는 참인 모순이 존재한다는 입장이다. 필자는 이 글에서 괴델 정리가 양진주의의 근거라는 프리스트의 논변이 설득력이 없음을 논할 것이다. 이는 괴델 증명이 우리에게 주는 교훈은 임의의 충분히 강한 산수에 관한 이론이 완전하면서 일관적일 수 없다는 것이기 때문이다. 다음으로 필자는 프리스트의 비일관적이고 완전한 산수에서 모순이 도출될 수 있음을 설명할 것이다. 그리고 괴델 문장이 비일관적이고 완전한 산수이론에 적용되어 양진주의에 관한 대안논변을 제시할 수 있음을 소개하고 이 경우에는 순환성의 문제가 있음을 논할 것이다. 요약해서, 필자는 괴델 정리 및 그와 관련된 정리는 완전한 이론들과 일관적인 이론들 간의 관계를 보여줄 뿐임을 주장할 것이다. 괴델 문장의 적용을 통해 도출된 모순이 중간값과 같은 참인 문장의 값을 지닐 수 있는 것 역시 산수에 관한 비일관 모형에서일 뿐이다. 비일관성이나 완전성에 관한 가정을 하지 않는다면, 괴델 문장의 적용이 참인 모순을 이끌어 낼 수 없으며 그렇기에 괴델 정리 및 그와 관련된 정리는 양진주의의 근거가 될 수 없다.