괴델의 완전성 정리
수리논리학에서 괴델의 완전성 정리(Gödel-完全性定理, 영어: Gödel’s completeness theorem)는 1차 논리에서 증명 가능한 명제의 집합은 모형을 갖는다는 정리다. 즉, 증명 이론으로 정의한 진리와 모형 이론으로 정의한 진리가 서로 일치한다.
이는 1차 논리의 가장 중요한 성질 가운데 하나이며, 고차 논리에서는 성립하지 않는다. 린드스트룀 정리에 따르면 1차 논리는 완전성과 콤팩트성을 만족하는 가장 강한 논리이다. 2차 논리 이상의 고차 논리에서는 완전성이 성립하지 않는다. 크립키 의미론을 이용하여 많은 경우 정규 양상 논리의 경우에도 완전성이 성립한다.
정의
[편집]부호수 에 대한 1차 논리 이론 (자유 변수를 갖지 않는 명제의 집합) 가 있다고 하자. 또한, 가 (자유 변수를 갖지 않는) -명제라고 하자. 괴델의 완전성 정리에 따르면, 다음 두 조건이 서로 동치이다.[1]:34[2]:135
또한, 괴델의 완전성 정리에 따르면 다음 두 조건이 서로 동치이다.
- (충족 가능성) 인 -구조 이 존재한다.
- (무모순성)
증명
[편집]괴델의 완전성 정리는 콤팩트성 정리로부터 유도할 수 있다. 1차 논리에서 콤팩트성 정리는 다음과 같이 쓸 수 있다.(와 는 위에서와 같은 의미이다)[2]:142
- 이면, 인 유한 부분 집합 가 존재한다.
- 의 모든 유한 부분집합이 충족 가능하면, 역시 충족 가능하다.
첫 번째 정리의 증명은 다음과 같다.[2]:142가 를 함의한다는 것은 건전성 정리이다. 반대로, 를 가정하자. 연역 과정은 유한하므로, 인 유한 부분 집합 가 존재한다. 건전성 정리에 의해, 이는 를 함의한다. 콤팩트성 정리에 의하여, 이다.
두 번째 정리는 첫 번째 정리의 따름정리이다.[2]:142 의 모든 유한 부분집합이 만족 가능하면, 건전성 정리에 의해 모든 유한 부분 집합이 무모순이다. 그런데 연역 과정은 유한하므로, 또한 첫 번째 명제에 의해 무모순이면 충족가능하다.
역사
[편집]이 정리는 쿠르트 괴델이 1929년에 증명하였다. 이는 괴델의 1930년 박사학위 강연에 포함되었고, 1931년에 출판되었다.[2]:145 괴델의 불완전성 정리와 함께 괴델의 가장 중요한 초기 업적으로 꼽힌다.
같이 보기
[편집]각주
[편집]- ↑ Marker, David (2002). 《Model theory: an introduction》. Graduate Texts in Mathematics (영어) 217. Springer. doi:10.1007/b98860. ISBN 978-0-387-98760-6. ISSN 0072-5285. Zbl 1003.03034.
- ↑ 가 나 다 라 마 Enderton, Herbert B. (2001). 《A mathematical introduction to logic》 (영어) 2판. Academic Press. doi:10.1016/B978-0-08-049646-7.50001-1. ISBN 978-0-12-238452-3. Zbl 0992.03001. 2014년 11월 26일에 원본 문서에서 보존된 문서. 2014년 11월 25일에 확인함.
외부 링크
[편집]- “Gödel completeness theorem”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.
- Weisstein, Eric Wolfgang. “Gödel's completeness theorem”. 《Wolfram MathWorld》 (영어). Wolfram Research.
- Weisstein, Eric Wolfgang. “Generalized Completeness Theorem”. 《Wolfram MathWorld》 (영어). Wolfram Research.
- Tao, Terry (2009년 4월 10일). “The completeness and compactness theorems of first-order logic”. 《What’s New》 (영어).