괴델의 불완전성 정리

1 개요

Gödel's incompleteness theorems

괴델의 불완전성 정리; 불완전성 정리

• 1931년 괴델이 발표한 두 개의 정리
• 논리학에 관한 정리
• "참이지만 증명할 수 없는 명제가 있음"
• 수론을 포함하는 수학의 형식화에 대한 한계를 증명
• 산술 체계를 포함하며 모순이 없는 모든 공리계에는 참이지만 증명될 수 없는 명제가 존재하며, 그 공리계는 자신의 무모순성을 증명할 수 없음

2 같이 보기

• 괴델의 완전성 정리
• 패리스의 정리
• 쿠르트 괴델

3 참고

• http://en.wikipedia.org/wiki/Gödel's_incompleteness_theorems
• http://navercast.naver.com/contents.nhn?rid=22&contents_id=4200
• http://terms.naver.com/entry.nhn?docId=1065288&cid=200000000&categoryId=200000014