괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
#07년생#08년생#독학생 오르비의 주인이 될 기회 37 40
-
학회가 작으면 사람 거르나요? 0 0
서류랑 면접 둘다 있어서 자소서 쓰고 면접 보러 갔는데 규모가 작으면 걍 사람을 다...
-
새르비인원체크 4 2
-
불안한건당연한거임? 제가이러케 자혐 심한 사람인걸 들키면 안되는데...
-
2023 5모 미적 30번 0 0
정답률 1퍼라서 궁금했는데.. 넌 1퍼해라 계산식 적당껏 ㅈ같아야지 어후
-
삼각치환<<이띱때끼는 뭐임 6 0
모르면 아예 못푸는건 얘가 처음인듯 존나 발상적이네 심지어 왜 되는지도 모르겠다 히히
-
성대 다군 성적대 0 0
보통 어느정도이?
-
우울글 마구쓸거임 6 1
ㅋ
-
재수할 때 시간 빨리 가나요 0 0
현역때는 시간이 너무 안가서 죽을맛이었는데 재수때는 좀 빨리 갈까요..
-
재훈견 됨 9 1
매주 화수금만을 기다리는중 이동선 김강민 김재훈 그와중에 5교시없고 1 6교시...
-
십시빌리삼 궁금한 거 있는데 0 0
1차시도는 개기십기에 맞춰서 하면 되는 거 같은데 2차시도, 3차시도는 개기십기...
-
묭실 예약했어얌 0 0
내 머리에게 행운을 비는..
-
오늘 새르비 4 0
몇명임?
-
다들행복하세요... 2 2
-
옵붕이 이제 책 많이 볼거임 0 0
문학소년이 될거야
-
잘자. 6 1
-
시스템서울 너 1 3
은군히 괜찮넹
-
나 너무 힘들고 우울해 내가 문제인건 알고 노력해야하는것도 아는데 그게 잘 안되네... 반수해야하나
-
탈릅할까말까 6 2
진지하게 걍 너무 재미가 없는데 이제
-
근데 ㅈㅉ 신기한건 4 1
훈련도감임 커뮤든 현실이든 박광일 듣ㄴ느분 처음봄
-
생각해 보면 아무 일도 없는데 1 0
그냥 계속 불안해서 미칠 것 같네요,, 아무 일도 없는데 왜 이렇게 불안하지,,
-
넥타이 사야겠다 0 1
굴러다니는 끈으로 하니까 뭔가 허접하네
-
지1빼고 다 비슷하게 고이지 않았나?
-
tiktok.com/8Wx9CdNm 현재 틱톡에 영상 박제되서 안지워지는중ㅋㅋ
-
스카 뒷자리 담요단 두 분 9 2
1. 남성 탐구 모르겠음 뉴런 수분감 훈련도감 약간 실수같음 2. 여성 사실...
-
나포함 2 명 뽑혔다는 소리임요? 이거 방 처음들어가면 자기소개 해야해요?
-
지리가 진짜 꿀인데 0 1
이걸 모른다 말이지
-
그게 나야 바 둠바 두비두밥~ ^^
-
수능이아니라 내신이엿노..
-
글 목록만 봐도 하나같이 일기장으로 쓰고있음
-
힘드네 6 1
늙어서 체력이 딸림
-
3모 학교 찾아가도됨? 0 0
삼반수할꺼라 학교가서 3모 시험지 받아올 생각인데 민폐일려나 재수때는 별 감정 없이...
-
이기상 안 들어도 안 망함 과탐에서 3만명이 유입되어도 안 망함 바베이도스같은 별...
-
흐에엥... 0 0
ㅜㅜㅜㅜㅜㅜㅜㅜ
-
과외알바를 생각하시는 분들을 위한 매뉴얼&팁입니다. 5천원 커피값에 미리 하나...
-
초심찾기용프변 2 0
ㅇ.
-
야식 하면 안되겠지..
-
잘게요 0 0
-
저능아등장! 3 0
-
어어어어어 0 0
으어어어어어어어억!!!!!
-
수학재밋다 0 1
히히
-
점점나아지게해야함
-
카나토미 강의 0 1
카나토미 강의내용 해설지에 충분히 녹여져 있나요?? 강의 다 들어야 하나…
-
집 옷장털이 했는데 1 1
은근 집에 좋은 옷들 많더라 특히 부모님 옷장ㅎ
-
관독 vs 동네 스카 1인실 2 0
퉆 ㄱㄱ 관독은 30분 거리에 있는데 11시 40분에 끝남 막차 놓침 그래서...
-
자러감 2 1
졸려 잘자요
-
내가습박소닉부르면 2 1
뒤에 주무관이 뭔 노래가 자꾸 습박거리냐구함..
-
정법 괜찮나요? 0 0
사탐은 건드려본 적 없는데 사문 하고 나머지 하나를 못 고르겠는데 가장 관심 있는...
-
상대 연령 다루는 띰은 지2 지질도 열화판 같은 느낌이 물씬 드네경사방향이라든지 이것저것..
-
근데 대학 다니면서 오르비 7 1
어떻게 하는거지..? 새로운 사람들 많이 만나고 일정 매일 꽉차서 사람들이랑 술먹고...
-
슬픔 4 0
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼