괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
옯평 분석 수정본. 76
아까 표본 중 제외해야 할 항목이 있어, 수정글 올립니다. (고등학생,학부모,훌리...
-
흠
-
홍창기 날려버려라
-
지금 헬스장인데 0
오르비언 조언을 받아서 횟수를 낮추고 무게를 늘림 PT쌤이 이제 분할해도 된다더라 Yeah~
-
이과는 의대합 많이 보이고 문과는 설합 많이 보임
-
고2때보다 못하는거같은데 하기야 글을 1년만에 보니 당연하겠다마는 너무스트레스받네
-
-
간호 중대vs이대 // 추합 연락 받았는데 고민ㅠㅠ 13
중대랑 이대 중에서 어디 간호가 더 낫나요? 둘 중 하나에 등록해 둔 상태고, 다른...
-
난이도 아시는 분 있나요 사람들마다 평이 다르던데 드릴 정도 난이돈가요?
-
생노베인데 또선생,이영수 누구 들을까요?
-
메모장을 벅벅써서
-
에타 옮긴학교 소속으로 바꾸고 싶은데 탈퇴해야하는건가요???
-
저번글에서 투표의 결과를 보니.. 강민철, 김승리 투표수가 거의 비슷하고 김동욱t도...
-
경상의 3칸 합격 12
지구과학2를했더니의대에붙었습니다여러분지2하세요
-
자이로 기출 돌릴려고 하는 데 인강 기출교재로 돌려도 괜찮나요??
-
중앙대 합! 17
개추좀
-
??
-
노래방 2
로메오.
-
분량 받는데 보통 얼마임? 완전 새끼 고양이 알아보니까 좀 비싸던데
-
실수 여학생분들도 화장하고 오나요?
-
사각형의 성질 공부하며 궁금한 점이 생겼는데요, 등변사다리꼴, 평행사변형, 마름모,...
-
재수생 오티 0
올해 재수하고 내년에 대학 가려는데 07이 동갑인 줄 알고 다가왔다가 나이 알고...
-
나bs 살까 말까 싶었던 와중에 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
문학 독서는 하기싫어도 그냥 하는데 언매는 한타임 공부할때 분량 정하기도 애매하고...
-
캬
-
솔직히 외대 7
너무 귀여워
-
외화유출범 등장 11
아오 천가
-
키보드에 털 달라붙네
-
본좌가 쓴 글을 참고할 것
-
ㅈㄱㄴ
-
[소개 및 성적인증] https://orbi.kr/00071877183 안녕하세요...
-
우하하 나 이제 한양대생이다
-
세계 최고의 대학 침대 14
의 장학생인 오르비언입니다
-
예비 고3이고 3년 내내 약대 보고 달렸는데 요새 약사 단점이 너무 많이 보임.....
-
매일 쉬지않고 공부했는데도 등급이 오르지 않는 이유 3
안녕하세요 저는 일단 예비 고2 미대 입시생입니다.. 최저 맞춰야해서 (적어도...
-
플랑크길이가 최소단위 아닐까? 만약 실수처럼 무한한 밀도를 가진다면 무한한 각...
-
헤헤 5
으헤헤
-
아니면 오늘 이미 3차 돌고 있나요??
-
나 애견카페랑 카페 알바 두탕하고잇음,, 둘 다 인스타쪽으로 유명한 카페라 사람...
-
웬만하면 재종 수업 들으라던데
-
서성한보다 안좋은 취급 받음? 서성한 밑이라고 하는 댓글이 많길래 궁금함 객관적으로 어느정도임?
-
지스트 추합 8
지스트 반도체 공학과 합격하신분 몇차에 합격했는지랑 점수 알려주실수있을까요 ㅜㅜ
-
인강을 들을 수 없는 상황이라 ㅠ 독학이 가능한 교재를 찾고 있습니다 확통 노베입니다
-
계산 복잡해진다 싶으면 예를들어 18×32인데 세로로 계산해보고 빠르게 18×8×4...
-
얘가 진짜 진국인데 4규 빅포텐 이런거밖에 안보이네 ㅜㅜ
-
어디 계열제를 가는데 제가 수능 성적이 낮아서(너무 뒤쪽에 붙어서) 원하는 곳을...
-
.
-
신입생들을 위한 아르바이트 추천 [과기대25] [서울과학시술대학교신입생꿀팁] 0
대학커뮤니티 노크에서 선발한 서울과학기술대학교 선배가 오르비에 있는 예비 과기대생,...
-
리플수는 비슷하네요 이게 뭔 현상인거죠 예전조회수가 뻥튀기된건 아닐테고요
-
중대고요 둘다 된다면 어디가 더 유리할까요? 화공과 창의ICT 중에요 수학과 화학에...
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼