최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기한국수학사학회지 = The Korean journal for history of mathematics, v.23 no.1, 2010년, pp.79 - 88
현우식 (호서대학교 인문대학)
괴델에 의하면, 모든 긍정성을 가진 존재를 신으로 정의할 때 신의 존재에 대한 수학적 증명은 가능하다. 신의 정의를 만족하는 대상이 존재가능하다면, 그 대상은 필연적으로 존재한다. 이를 위해서 그는 세 개의 정의와 다섯 개의 공리와 두개의 정리를 남겼고, 2차 양상논리 시스템
G
* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.
핵심어 | 질문 | 논문에서 추출한 답변 |
---|---|---|
괴델의 신의 존재 증명에 대한 연구는 주로 무엇을 기준으로 했는가? | 괴델의 신의 존재 증명에 대한 연구는 주로 스코트의 버전(version)을 기준으로 필요에 따라 부분적 변경이 가미되면서 수행되어 왔다([1][9][10][12,13][14][15]). 그러나 본 연구에서는 변경사항을 두지 않고 괴델의 증명 원본의 내용을 직접 다룰 것이다. | |
고대의 피타고라스는 수를 이해하는 것을 무엇이라 생각했는가? | 수학의 역사에서 신을 이해하려는 노력과 시도는 새삼스러운 사건이 아니다([14][17]). 고대의 피타고라스(Pythagoras)는 수를 이해하는 것이 세계와 신을 이해하는 것이라고 생각했고, 중세의 쿠자누스(Nicolaus Cusanus)는 무한에 대한 이해를 모델로 신을 이해할 수 있을 것이라 보았으며, 근대의 뉴턴(I. Newton)은 질서와 합리성이 내재된 세계를 창조한 신을 수학자로서의 신으로 이해하였다. | |
괴델의 증명에 대한 신학적 비교나 다른 수학자들의 신의 존재 증명과의 비교는 다른 기회에 논의될 것이라고 본 이유는? | 괴델의 신의 존재 증명에 대한 연구는 주로 스코트의 버전(version)을 기준으로 필요에 따라 부분적 변경이 가미되면서 수행되어 왔다([1][9][10][12,13][14][15]). 그러나 본 연구에서는 변경사항을 두지 않고 괴델의 증명 원본의 내용을 직접 다룰 것이다. 본 소고의 범위는 괴델의 증명을 재구성하는 작업에 집중될 것이다. 따라서 괴델의 증명에 대한 신학적 비교나 다른 수학자들의 신의 존재 증명과의 비교는 다른 기회에 논의될 것이다. |
Anderson, A., "Some Emendations on Godel's Ontological Proof," Faith and Philosophy 7 (1990):291-303.
Boolos, G., The Unprovability of Consistency: An Essay in Modal Logic, Cambridge University Press, 1979.
Dawson, J., Logical Dilemmas: The Life and Work of Kurt Godel, A. K. Peters, 1997.
Fitting, M., Types, Tableaus, and Godel's God, Kluwer Academic Publishers, 2000.
Godel, K., "An interpretation of the intuitionistic propositional calculus," Collected Works. I : Publications 1929-1936, S. Feferman et al.(eds.), Oxford University Press, 1986.
Godel, K., "Ontological Proof(1970)," Collected Works III: Unpublished Essays and Lectures., S. Feferman et al.(eds.), Oxford University Press, 1995.
Godel, K., "Review of Becker 1930: On Modal Logic," Collected Works. I : Publications 1929-1936, S. Feferman et al.(eds.), Oxford University Press, 1986.
Goldblatt, R., "Mathematical Modal Logic: A View of its Evolution," Dov G. Gabbay & John Woods(eds.), Handbook of the History of Logic Volume 7: Logic and the Modalities in the Twentieth Century, Elsevier, 2006.
Hao, W., A Logical J ourney: From Godel to Philosophy, The MIT Press, 1996.
Hao, W., Reflection on Kurt Godel, The MIT Press, 1991.
Oppy, G., "Godelian Ontological Arguments," Analysis 56 (1996):226-230.
Oppy, G., Arguing about Gods, Cambridge University Press, 2006.
Pickover, C., The Loom of God: Mathematical Tapestries at the Edge of Time, Perseus Book, 1997.
Sobel, J., Logic and Theism: Arguments For and Against Beliefs in God, Cambridge University Press, 2004.
Van Atten, M. & Kennedy, J., "Godel's Logic," Dov G. Gabbay & John Woods(eds.), Handbook of the History of Logic Volume 5: Logic from Russell to Church, Elsevier, 2009.
김용운.김용국, 지성의 비극: 수학정신의 탐구, 피타고라스에서 괴델까지, 일지사, 1992.
현우식, "쿠르트 괴델의 수학적 신학," 한국기독교신학논총 49 (2007), 171-196.
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.