Gödel’s incompleteness theorem

Creator
Creator
Alan JoAlan Jo
Created
Created
2021 Apr 30 17:45
Editor
Editor
Alan JoAlan Jo
Edited
Edited
2024 Jan 16 4:41
Refs
Refs
1차 논리에서 증명 가능한 명제의 집합은 모형을 갖는다는 정리
수리논리학
즉, 증명 이론으로 정의한 진리와 모형 이론으로 정의한 진리가 서로 일치
을 피하기 위해 아무리 세심하게 공리계를 설계해도 그것을 피할 수는 없다는 것을 증명하였으며, 이것이 불완전성 정리
2nd Gödel’s incompleteness theorem
 
 
 
 
 
 

Recommendations