CPT : 신의 존재에 대한 괴델의 증명은 무엇입니까?

JYB:     신 존재의 증명은 11 세기의 캔터베리의 안셀름을 시작으로 하는 긴 이야기를 가지고 있습니다. 괴델의 존재론적 증거는 매우 흥미롭습니다. 그 증명으로부터 실은 집합론과 산수의 일관성에 대한 증명을 연역하는 것이 가능한데, 이는 괴델 자신의 두 번째 불완전성 정리와 왠지 충돌합니다. 이 점은 2022년 11월 인도 바라나시(힌두교와 불교로 유명한 도시)에서 우리가 조직했던 제 3회 World Congress on Logic and Religion 에서의 Piergiorgio Odifreddi의 강연이 보여주는 바입니다.

이 결과는 이상하게 보일 수 있지만 불완전성 결과는 절대적이지 않습니다. 괴델의 증명 직후에, 게르하르트 겐첸은 산수의 일관성에 대한 상대적인 증명을 제시했습니다. 그리고 겐첸은 괴델이 좋아한 논리학자들 중 하나였죠. 괴델은 겐첸의 작업을 자세히 연구했습니다. 이를 바탕으로 괴델은 “디알렉티카 증명(Dialectica Proof)”이라고 알려진, 산수의 일관성에 대한 증명을 내놓습니다. 수리논리학에서 괴델의 마지막 중요한 업적이었죠. 그 증명의 이름은, 스위스의 논리학자인 폴 버네이스(논리 분야에서 다비드 힐베르트의 주요 공동 작업자였죠)의 출생 70주년을 기념하여 1958년 출판된 스위스의 학술지 Dialectica의 특집호에 그 증명이 실렸기 때문에 붙었습니다.

그리고 재미있게도, Chistoph Benzmueller 와  Dov Gabbay  는 컴퓨터 기술과의 상호 작용이 존재론적 논증의 형식적 검증을 가능하게 할 뿐만 아니라 관련된 관념과 개념의 개념적 이해를 선명하게 하는 데 유용하다는 것을 보여주었습니다. 이 작업은 2017년 폴란드의 바르샤바에서 열린 제  2회 World Congress on Logic and Religion 에서 발표되었습니다. 그 대회에는  (Schock Prize), Laurent Lafforgue (Fields Medal), Michał Heller (Templeton Prize) 등이 참여했습니다.