형식적 증명의 한계를 확립한 괴델

이야기

1931년 논문은 공리가 효과적으로 명시되고 충분한 산술을 갖춘 형식체계에 대한 불완전성 결과를 확립했다. 적절한 무모순성 조건 아래에서는 체계 안에서 증명도 반박도 할 수 없는 명제가 있으며, 관련 가정을 만족하는 체계는 자신의 무모순성을 내부에서 증명할 수도 없다. 이것이 모든 수학을 믿을 수 없게 만들거나 인간의 지식과 기계에 관한 모든 질문을 직접 해결하는 것은 아니다.

날짜와 정밀도

1931년（불완전성 논문） 기록된 날짜

기록된 연·월·일로 배치하며 부족한 정밀도를 추정하지 않습니다.

지도의 대표 장소

빈

논문이 나왔을 때의 괴델 연구 환경을 나타내며, 후에 임용된 프린스턴은 아니다.

대표 좌표 · 48.2082°, 16.3738°

표시는 원고 소장처, 실험실, 관측지 같은 한 대표 장소입니다. 작업이 그곳에서만 이루어졌다는 뜻도 공동 발견을 한 국가에 귀속한다는 뜻도 아닙니다.

참고문헌

• 스탠퍼드 철학백과사전｜쿠르트 괴델
• 고등연구소｜쿠르트 괴델과 연구소

참고문헌은 일반 서지 제목으로 표시합니다. 특정 사실이나 맥락을 뒷받침할 수 있지만 모든 해석을 인증하지는 않습니다. 한국어판은 영어판의 독립 참고문헌과 원래 URL을 유지한 번역이며, 한국어 원자료나 한국어 모어 편집자의 역사 검증을 뜻하지 않습니다.