괴델과 기독교

목차

1. 괴델 소개
2. 불완전성 원리
3. 하나님과 무한
4. 존재론적 증명
5. 결론

본문내용

괴델은 누구인가?
쿠르트 괴델(Kurt Godel, 1906~1978)
완전성 정리, 불완전성 정리의 증명과 연속체 가설의 상대적 무모순성
“타임”지의 20세기의 인물 100명 가운데 가장 중요한 수학자의 한 사람
괴델의 학문적 업적은 수학과 논리학뿐만 아니라 철학, 이론 물리학, 컴퓨터 과학, 인지 과학 그리고 신학에 이르기까지 지대한 영향을 미침
아인슈타인이 ’20세기 물리학의 교황’으로 불린다면, 괴델은 ’20세기 수학의 신비로운 은둔 수도자’로 불리는 것이 적절
괴델의 불완전성 정리의 신학적 함의를 논의, 괴델이 이해한 하나님의 개념을 살펴보고 괴델의 무한 개념과 그의 무한 연구의 의미를 분석, 하나님에 관한 괴델의 존재론적 증명과 그 의미를 고찰할 것

괴델의 불완전성 원리
제1 불완전성 정리
산술을 형식화한 형식체계에서 그 체계가 무모순적인 한,
참이지만 증명할 수 없는 문장(논리식)이 적어도 하나 이상 존재한다.
(i) 참이지만 (ii) 증명될 수 없는 명제가 존재한다는 것
놀라운 점은 모순이 허용되지 않는 형식 시스템 내에서 그러한 일이 발생한다는 것을 보인 것
제 1 불완전성 정리는 수학적 진리의 세계가 수학적 증명의 세계보다 크다는 것을 함의한다.
이 정리가 신학에 적용 가능한 부분이 있다면, 신학적 진리의 세계는 신학적 증명의 세계보다 크다는 의미를 제공

참고 자료

없음