괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
나도 후회 안함 5
그럼 된거임나름의 업적도 잇음
-
가고싶은 대학을 간다
-
알바끝! 4
오늘 손님 별루 없었어
-
"복권 1등"
-
그나마 풀고 싶은 문제 수도 한 손으로 셀 수 있을 정도
-
추가모집 상담 때문에 계속 입결 보게 되는데 한서삼 되는데 가천 안되는 분들이...
-
지방에서 올라와서 어떤 쌤이 유명한지 모르겠어서요,, 작수는 20 21 22랑 미적...
-
다자러갔나 3
물론인증은안함
-
주량 좋은데 맛없다고 느끼는 게 진짜 재능인 거 같음
-
킁 1
-
칭찬해줘 중간에 전담 피긴 했는데 연초는 파이널부터 지근까지 쭉 끊음
-
고대 인문 643으로 붙을 수 있는 과 있었나요?? 3
고대 빵 많이 났다던데..
-
작수 기준 언미물1화1 93 98 2 60 90 인데 낮반 걸리겠죠.. 일단 관은 3관입니다
-
잘자 오르비
-
그런사람들이 특정됐으면좋겟음
-
유일하게 스스로 잘했다고 느끼던 그 짜릿함을 못잊어
-
연대는 쫄아서 공대를 못쓰고 자과를 쓰는 바람에 넉넉하게 붙었는데 상향으로 지른...
-
속이 거북함 어지러움 ㅡ
-
이런 문제는 11
수학에 재능없어도 누구나 다 풀수있음? 도형의 넓이나 길이 이런게 약해..
-
20살 먹도록 한번도 안해보다가 대학 가서 친구들이랑 피방 가는 상황 생각하고 겜...
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌