1차논리의 완전성이 증명한 상태에서 흔히들 인식하는 게 괴델의 불완전성 정리 즉 2차논리의 한계를 지적하는 건데
괴델의 불완전성 정리는 Leon Henkin의 model을 이용하면 괴델의 2차 논리의 한계성을 극복할 수 있는 거임?
그리고 로빈,샤필로가 2차 논리 완전성을 증명해 놓았다며..
정말 증명이 완료됐다면 수학자들 포함 수많은 저자들이 괴델의 불완전성 정리 가지고 책팔이한 거임?
괴델의 정리에 관한 우리들의 흔한 인식들이 있잖아
그리고 헨켄이 고차 논리에 대한 완전성 증명을 그냥 시도만 한 거냐 아님 성공했냐?
그냥 궁금해서 질문한다
한계성 극복못함 완전성을 가지면 일관성이나 표현가능성 이런 주요 성질 중 하나는 반드시 깨진다 이게 불완전성정리고 하나를 잃으면 전부를 잃는거임
찾아보니깐 헨켄 모형의 2차 논리도 결국 1차 논리와 같으므로 페아노 공리계로부터 증명할 수 없다고 나오네..
괜히 불완전성정리가 20세기 최고의 발견이 아님. 이 정리는 앞으로 뭔짓거리를 하든 불가능하다는걸 증명함
ㅇㅎ가 댓글을 그렇게 써놔서 2차 논리의 한계가 극복하였구나 했지 그래도 시도는 가상하네
2차 논리 아무도 안씀
그러니까 로지션 말고 로직을 도구로 사용하는 사람들이 ㅇㅇ
병신이 지멋대로 해석처하고 지랄이야 ㅋㅋ 내가 언제 ㅈ차논리 한계가 박살났다 그랬냐. 걍 지랄 떨지 말고 ㄹㄹ 니는 좀 꺼져라
진짜 좆병신새끼 다시 내 리플 확인해봐도 그런 말 없는데 지 빡대가리를 남탓하네 ㅋㅋ