괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
두찜 맛잇나요 5 0
안먹어봣는데 맛잇으면 먹으러 가볼려구요
-
하나 살려구 하는데 추천 좀 해주세용
-
크라운은 40만원인데 보험도 적용 안된대요... 해보신분 계신가요?
-
성대 공학계열 경쟁 빡센 과는 6 0
화공 신소재 정도인가요?
-
안암의 반댓말이 뭔지 아시나요 14 4
그건 바로 밖명임 왜냐하면 안밖, 암(어두울암)명(밝을명) 이렇ㄱㅔ 대조가 되는...
-
-
룰루 0 0
어즈버
-
블랙데빌 가격이 올랐네... 3 1
가난해서 메비우스 샀어....
-
외대는 왜 무시당하는건가요? 16 0
ㅈㄱㄴ 외대는 왜 계속 무시당함? 문과 베이스로 오랜세월 자리를 유지해 온 goat 대학 아닙니까?
-
천만덕 가쥬아
-
성글경영 3차 추합 실-패 1 0
뭐 붙긴 할거니까..... 이미 인과계 최초합하기도 했고...
-
윤성훈 프로필 잘나왔네... 0 0
존잘 인정 ㅇㅈㅇㅈ
-
찡찡대봐야 무엇하리오 3 0
결국 나는 수능망한 N수생일 뿐인 것을 그 누구도 패배자의 변명따위 들어주지 않는게 세상의 이치
-
좀 많이 후회되는거 2 1
고3되고 인강 문제집을 너무 막 사재껴버림.. 그 강사가 나랑 안맞을수도 있다는걸...
-
전화추합은 합격증 안주나? 6 0
못 받는 거예요?
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌