괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
-
고지서 가상계좌로 그냥 토스로 등록금 보내면 되죠? 0
계좌번호 토스 송금하기에 입력해도 가상계좌 이름같은 건 안 뜨는 거 맞죠?
-
후
-
아
-
카투사는 16
어떻게 가는건가요 머해야함..
-
이게 왜 어렵다는 의견이 있음? 나이때 한번도 안막히고 미적30번까지 깔끔하게 달렸던거 같은데
-
인싸새기들 어제 발렌타인데이에 날씨 좋다고 다들 어? 씨팔
-
2학년 때 내신 경제 준비하면서 개념 돌리고 지금 빨더텅 풉니다. 독서실에서...
-
외출외박 <<< 이거 좀 더 자유로워졌으면 좋겠음... 상근인 친구 있어서 자주...
-
중대경영 1
아직 추합 한참 남은거같은데 첫날 600중후반에서 20번대 됐네요 뭐지진짜
-
내 얘기임. 공부는 이게 고3인가 싶을 정도로 진짜 좆도 안하고 맨날 노는데 입시...
-
비독원 일클 고민하다 강기분해서 기출 아닌 지문하려하는데 비독원은 기출인거같고...
-
건대 6명 뽑는데 5->3->2 받고 전화추합 기다리는데 이거 잘하면 될까요…...
-
맛있는건~ 5
정말 참을 수 없어어~
-
밥먹으면 또 치석 끼고 그럴거같음
-
N수생 대거 성불시키기 프로젝트 하는거임? 그게 아니면 설명이 안됨
-
사실이 아닌 부분에 대해서 반박부터 하는게 맞지 않을까요
-
진짜 막 어둠의 스킬같은게 있나요.? 체화 다 하면 현정훈 안듣는 사람하고 듣는...
-
예비고1이고 모고보면 3등급정도 나오는데 어떤문제집이 좋을까요? 국어학원다니고있고...
-
고경좋잖아 흐흐흐 하면서 진짜 갈려고했음
-
작년 제작년 두바퀴 넘게 돌았던 관데 지금 2차까지 해서 한바퀴도 안...
-
뻥임뇨
-
마크하실분 0
야생쉽초보임
-
그 시간에 실모 푸는게 나으려나요
-
언젠가 연심을 품은 이가 있습니다. 그를 생각하면 저도 모르게 미소가 지어집니다....
-
쓰기 귀찮다.. 대수학의 기본 정리 임뇨
-
여기 에타는 2
반수게시판 없네 전적대엔 있었는데 정들었었음 ㅠㅠ
-
오르비 잘자요 4
-
드디어 일주일이 끝나고 생일날 복귀 그간의 금욕... 이제 풀어줄 때다 임시저장했던...
-
할 수 있다고 보시나요??
-
복소수에서 수 체계를 한 번 더 확장한 것이 잇다. 사원수 라고 부른다
-
맞팔해주세여
-
사람이 죽는다고
-
-
중경고시가 눈앞에
-
과외 시간 0
주1회 3시간 vs 주2회 2시간 가격은 순서대로 60 / 80
-
t1~t3 wB/wA 분자 분모 합하면 각각 15, 16, 3인데 t1-t2 갈때랑...
-
9모 D-200 3
-
9평 5번 틀려서 48점 수능 3번틀려서 48점 둘 다 2 떠서 걍 나가리임
-
ㄴㅇㅅ
-
자러갈게요 9
모두들 잘자요
-
문제 오려 붙이는 시간은 아깝고, 문제 옆에 포스트잇으로 정리하자니 복습할 때...
-
제곧내!!!!!
-
뭐 2등급 따리가 할 말은 아니긴하지만... 220921-> 이거...
-
쨍하고 해뜰날 돌아온단다
-
옯만추해서 연애해서 결혼까지 골인 하는 상상을 해봣음 일단 대학좀 가고..
-
우짜지
-
기괴한 거 6
저도 못 품
-
설뽕이 안빠진다 13
이메일 적는 란에 스누메일 적었다.
-
이런 문제는 11
수학에 재능없어도 누구나 다 풀수있음? 도형의 넓이나 길이 이런게 약해..
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌