괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
. 2
나는 그냥 값싼 반수발사대라고 생각하는데 누군가는 피나는 노력을 통해서 온 곳이고...
-
학교 갔다오면 기본적으로 피곤함+뭔가 더 도파민이 필요한느낌 때문에 단순히...
-
구형 세단에 와이드바디 끼우고 엔진 수동 스왑을 벅벅 대충 어림잡아 크게 한 장이면 되겠군
-
늙음. 10
좌절. 우울.
-
쏘냐도르 앤 스파르ㅌㅏ
-
초콜릿받음 ㅇㅈ 20
4V5K3G6JWG 7F6DTWNFNN NYHXNZKPZ6 3GXAVZPZAF
-
리밋 생윤 들으려는데 부교재는 뭔가요? 그냥 본교재만 구매해도 괜찮나요??
-
행복한게 최고 지금 하고 계신 일 다 잘 될거에요
-
동국의 예비 갑자기 많이 빠져서 10초반으로 됐는데 혹시 합격 가능할까요?..
-
세종대 추합 3
지금 2차까지돌았고 55번인데 붙을까요? 208명모집에 작년추합율은 한바퀴넘었어요,…..
-
난 왜 다 작지 12
손도 작고 머리도 작고 그럼 ㄹㅇ 왜그러지
-
서울대 등록금을 고려하면 기회비용이 어쩌구 저쩌구..
-
환영합니다 개발자가 밸런스 패치 개같이 해도 이해 하셔야 합니다 가끔 CEO가...
-
고대 학부 교우 0
몇점까지 돌 것 같나요??? 연세대 고려대 연대 고대 연고대 점공
-
한의대 합격 13
역시 부산한 추합 잘도네 어디까지 갈라나
-
모두 과탐이란 빈집을 털러 가보자
-
투데이가 뻥튀기되는것만 같아요
-
만나서 받아가실 옵붕이 구함
-
ㅇㅇ
-
와웅 1지망도 빵같긴한디 나까지와야의미가있지!!!!!
-
하필 컨설팅서 서강대 추천받아서 학고 반수 안되네ㅠ 9학점 듣고 1.5점이상이면...
-
동국대 예비번호 25번 받았는데 2차추합에서 20번까지 붙었습니다 3차나 4차에 붙을 수 있을까요
-
ㄱㅇㅇ
-
ㄹㅇ뭐잘되면좋은거고
-
14명 뽑는데 2차 까지해서 19 -> 11 까지밖에 안왔으면 끝난건가요 하 … 다군이라 기대했는데
-
중대 영어영문 0
몇번까지 돌았는지 알려주실 분 있나요? 이분들이 빠져야 시립대 추합될 거 같은데
-
국어 사설모고 <-각 지문은 은근 별로 사설틱하지않음 3
그 각각의 지문의 총합에서야 사설틱해 보이는게 더 크지 일단 문제유형들 평가원에서...
-
이런 혼란한 시국에 역발상으로 과탐을 빈집털이 하는 건 어떨까
-
학고반or최저학점만 하고 반수 예정인디... 학잠 살까말까 안사는 게 맞것지
-
여러분들은 만족할 수 있는 대학 라인이 어디인가요? 46
전 고연대요
-
이중등록 질문 1
3지망 붙어서 등록금 납부했는데 2지망이 붙어서 그쪽으로 옮기려합니다 3지망...
-
과외도 구하고있고 공부도 하고있고 정신과도 드디어 가봤고 과생활도 괜찮게 되고 있고...
-
김문수 "전광훈, 자유민주 수호 목사…'김구 중국 국적' 얘기 있어"(종합) 1
[서울=뉴시스] 구무서 고홍주 기자 = 김문수 고용노동부 장관이 사랑제일교회 전광훈...
-
전화추합 때 보통 더 많이 도나요??
-
끼얏호우 6
-
미적 23~26,27 13
난이도 차이 어느정도나 나나요??
-
보닌쟝 여르비수준의 손목 둘레라 매일 갈 때마다 재능의 벽을 느끼는 중임...
-
정체성이 사라지는건가
-
수능 영어 병행 0
반수할때 토익 토플 텝스 중에 뭐하는게 그나마 가장 수능 영어에 도움 되나요?...
-
아오 ㅋㅋㅋ
-
1월 완강 -> 2월 중순 완강 예정이라고 했는대 내가 볼 땐 2월 완강 못 하고 3월초 완강임
-
볼더링 영상 몇 개 찾아보면 진심 탈인간 급인 것 같음 그냥 지능1 힘9로 문제푸는 사람....
-
사진없음
-
국어랑 영어 지금 풀어야 함?? 사탐은 그냥 내신 준비하면서 벅벅 풀면 될 거...
-
연세대 2
오늘은 왤케 늦지
-
애매하네 보통 전추때 더 많이 빠지죠??
-
형님들은 쉬는시간에 무엇을 하나요? 요즘 공부하다가 쉬는시간에 폰을 하면 쉬는 거...
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌