괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
26묭 모집 3차 예비 10번인데 돌 수 있을까요..? 경영쪽으로 잘 빠져주면...
-
1. 지역 기균을 쓴다 2. 붙는다
-
오늘 3차 나오고 6번받았네요... 다군인데 될까요... 작년 10명뽑는데....
-
연대 3차 추합 3
연세대 3차 언제쯤 뜰까용 우우 희망고문
-
중대 심리 4
노예비 점공 계산기 예비 22번 추정 1차 노예비 2차 8번 3차 4번 이거...
-
뭐지? 7
기프티콘 잔액 확인하려고 했는데 일단 찍어본다고 하시더니 바로 결제가 되어버림......
-
그렇게 말하고 싶어~
-
1. 정시세요 수시세요? 2. 선택과목 뭐했어요? 3.반수할거예요? 4.다른대학...
-
ㅈㄱㄴ
-
뭐지 언제했지 메인에 메디컬 급은 아니지만 반수 없이 만족하고 다닐듯해요 성불합니다
-
약대 정시 커트 4
안녕하세요 혹시 정시 약대 커트라인이 어느정도 되나요? 모종의 이유로 약대가...
-
전 동국대 자율전공(인문) 7칸, 홍익대 자율전공5~6칸이 다군에서 선택지가...
-
ㅈㄱㄴ
-
지들이 25학번 없애려고 해놓고도 양심이 없는거임?
-
본인 중학교때 이후로 여자랑 친구 맺어본적이 거의 없는데 2
내 폰에 있는 번호 중에 여자인 사람이 우리 엄마뿐임 나만 이러나
-
존예누나 만났는데 과잠 인설의대네
-
서울대입니다
-
중대 글금 점공 분석해주실분 있나요? 붙을수있을까요?? 붙는다묜 언제쯤...
-
맛있는 고등어 8
집에서 고등어반찬 먹을 때마다 여기 글 썼었는데 ㅋㅋㄱㅋ 1년 동안 까먹고 있다가...
-
서울대 vs 한의대 고민해결
-
아 나 ㅂㅅ인가 2
폰하다가 지하철 놓침 ㅡㅡ
-
성대 공학계열 0
점공상 657.23 까지 빠진거같은데 그 밑 상황 아시는분??
-
전두환 사진으로 광주FC 도발한 중국 관중들… 국내 팬들 ‘경악’ 2
아시아축구연맹(AFC) 챔피언스리그 경기에서 중국 관중들이 광주FC를 도발하려는...
-
생윤 사문 커리 9
이지영T로 개념만 딱 떼고 나머지 기출이나 사설은 개인적으로 하려 하는데 지영T 괜찮나요?
-
가난해서 메비우스 샀어....
-
한양 3차 4
한양대 3차 추합 서강대 3차 반영돼서 뜨는 건가요? 2차도 그렇고 3차도 그렇고...
-
26번까지는 수월하게 푸나요??
-
1지망 a대 2지망 b대 인사람이 a대가 붙었는데 b대에서 안빠짐 그럼 마음 바꾼건가요?
-
그 어떤 편지나 메세지보다 맑은고딕 ms워드로 작성된 편지가 가장 인상깊었음 집가서...
-
3차가 더 많이 도는건 불가능한건가요?..
-
뱃지신청 이거 1
메일로 온 거 그냥 답장으로 합격증 보내면 되나요?
-
가천대 합격생을 위한 노크선배 꿀팁 [가천대 25학번] [수강신청 시스템] 0
대학커뮤니티 노크에서 선발한 가천대 선배가 오르비에 있는 예비가천대학생들을 돕기...
-
ㅇㅇㅇ??
-
지금 수1은 개념끝냈고 수2도 거의다 끝나가는데 미적을 한번도 본적이없어서...
-
특히 문과는 비협문 어문, 사범 일부를 제외하면 컷 하락이 안난 과가 전무한...
-
그게 나야 바 둠바 두비두밥~ ^^
-
점공안한사람들이 0
이렇게많다고?? 아직도번호를못받네 걍마음놓아야겠다 헬스나가야지
-
으흐흐 하지만 빠집니더
-
2026 대학 입학을 위한, 수학 공통 모의고사입니다. 총 5회차로 구성되어...
-
간다저멀리씨발
-
경컴으로 오세요 1
호옥시나 경북컴에 오시면 바코드를 볼 수 있습니다
-
タイムマシンで타임머신으로未來の僕へほら訊いておくれよ미래의 나에게 물어봐주란...
-
방금 의대에서 추합 전화 왔는데 등록포기함시간을 되돌려도 똑같은 선택을 할...
-
컴소쓸걸 1
컴소 썼으면 붙었는데... 여기 펑크 예측한곳 있나요?
-
피시방 뛰엇 1
득템하러가자잇
-
3칸이었는데 예비 5번이네 붙어야한다
-
저 스테이씨의 GPT 같은 노래 좋아하는데 군대에서도 그런 노래 들을 기회 많은지 묻고싶습니다
-
잘 먹을게요
-
두구두구두구두구...
![](https://s3.orbi.kr/data/emoticons/dangi_animated/001.gif)
쿠쿠리님 안녕히 주무세요이제 일어났어요
![](https://s3.orbi.kr/data/emoticons/dangi_animated/020.gif)
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
![](https://s3.orbi.kr/data/emoticons/oribi_animated/034.gif)
Be 정상 = 정상화![](https://s3.orbi.kr/data/emoticons/dangi/035.png)
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼