괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
술마셔도됨? 4
재수하는데
-
지금 N=2인데도 지겹고 힘든데 ㅋㅋㅋㅋ 저건 ㄹㅇ 어케하는거
-
다 봤으면 이제 가셈
-
첨에 봤을 땐 그저 그랬는데 착한 게 보이면 갑자기 예뻐보이고 눈길 감
-
근데 어지간하면 반수 안 하고 행복하게 사는게 좋아 17
세상에 행복한 일이 얼마나 많은데 고통 속에 몸을 집어넣어
-
당연한소리
-
연고 서성한 문과라는 가정하에
-
동생 일본갔는데 9
이색기언제오냐..
-
원과목 최상위권들 투과목런 ㅈㄴ쳤음 지금
-
부산 해운대 사는데.. 가까운 러셀이나 재종 가서 다같이 쳐보고싶은데 혹시 신청해서...
-
코와이데스네 0
토키노나가레가
-
9,10밖에 안쳐보긴 했는데 늘 30점대였음 자존감박살범인
-
내가 봐왔던 모의평가 학력평가 사설 모고 얘네가 진짜 무슨 의미가 있는건지 싶었음...
-
오빠 계란말이라니까 무슨 계엄이야
-
그냥 독서 좋아하시면 보시면 좋을수도 있고
-
1년차 교사는 9호봉이다. 20년차 교사는 29호봉이다. (1급 정교사 연수 후...
-
차피 허상에 가까움
-
대학간 사람 대상으로 반수 유무 조사하면….
-
공대 순위는 0
설높 설낮 카 연고높 포 연고낮 한양높 성높
-
묵묵히 재수 꾸준글
-
4수시!발 3
으악
-
시발점으로 개념 뗐고 현재 쎈, 기생집2,3점 중인데 쎈은 B단계 60%맞는...
-
내가 전에 고연대 다니는 여자는 못만날거같다했는데 16
이제괜찮을거같아
-
나도 덕코 줘 9
덕코흡수법!
-
클레이튼 교수 하는중
-
ㅇㅇ
-
언미영물화 백분위 92 98 1 83 90 인데 os반 무리일까요??ㅠㅠ
-
닉변완 7
사랑해 고려대학교
-
지유디 중에선..
-
진짜 내일 못일어날듯.. 머리가 반으로 쪼개질거가타ㅠㅠ
-
걍월례때만올게요 4
ㅈ같은감종존파시켜서 ㅈㅅ함 모두들 행복하세요
-
어 ㅇㅈ
-
부모님이 강대강사라는 친구가 문이과통합입결상 대충 저렇다고 주장하는데 팩트인가요?
-
ㅇㅈ 개추를 벅벅
-
아냐 너도알잖아 그 점공에서 안빠질수가 없다는걸 합격할거야
-
제가 국어를 거의 공부를 안해서 기출도 잘 모르고 그냥 숙제여서 개체성 지문...
-
야 1
구 보고 싶다
-
놀랍게도 아무도 접지 않았다
-
합법적으로 말 깔 수 있잖아
-
싱글벙글 들어온 너님 30까지 모솔 아다 ㅅㄱ
-
빡대가리라 대화하다가 나 스스로 무덤팔 듯
-
옆에 여자에 손가락 강제로접기
-
선배가 없어서 그런가
-
주량 좋은데 맛없다고 느끼는 게 진짜 재능인 거 같음
-
애매한태도
-
국어는 언제 하는게 좋을까요? 뭔가 오후에 국어하기엔 수학 해야해서 시간이 아까워요
-
엄청 유복하지는 않지만 책살 돈 하나 아껴본 적 없고, 절반만 푼 책이 산더미에...
-
허허....
-
아니 나 현역 때 중간에 폭파 돼서 난민 됐었는데,, 물갈이 되니까 결국 돌아오는구나
-
칭찬해줘 중간에 전담 피긴 했는데 연초는 파이널부터 지근까지 쭉 끊음
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌