괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
수십억 달러 박아서 수능 9등급 나오는데 내 얼굴을 평가해? 상당히 괘씸하거든요
-
인터넷에 자기 얼굴 업로드할정도면 진짜 우동사리로 돼있는거냐??
-
우리한테 중요한 기성세대 어른분들은 최근에 자녀입시 치뤄본 나잇대시니 요즘 대학서열...
-
Ai얼평 1
도서관 관리인 10년차 너무 맘에든다
-
Ai얼평 ㅇㅈ 2
-
연막이었네요 상당한 실망과 배신감을 느꼈습니다 탈릅해주세요
-
-
얼평 개구라인듯 3
음
-
애니프사=존잘 6
님들 다 내리셈
-
이번 주에 신입생 관련 행사들이 끝이 나서 바쁜 일들이 정리가 되었네요. 다음 주...
-
근데 싱거울거같음
-
ai 얼평 ㅇㅈ 7
-
중대 ict 0
이제부터는 많이 안돌겠죠? ㅠ
-
-
ㅋㅋㅋㅋ
-
1. 미적분과 같은 이과과목으로 쳐준다 2. 미적분보다 양도 적다 3. 선택자수가...
-
Ai 얘 드립 황인데? 16
자전거 도둑 삐약이상 ㅋㅋㅋㅋ
-
밖에 돌아다니는 커플들 아니 주변 친구들만 봐도 그저그런 얼굴이나 솔직히 조금...
-
이게뭐야
-
-
기분좋다 0
리젠 삼!!
-
-
Ai 얼평 씹하타치 나와서 울었어
-
후반엔골넣겠지 4
비기거나 지면 죽는거야
-
아 개같네 2
후……………..
-
Ai 얼평 3
시발
-
컴소 전과가 무조건 된다는 가정 하에 어떤 곳이 좋을까요? 게임개발쪽으로 진로희망중입니다
-
풀었던 문제를 틀렸다고!!!
-
남이 보는 내얼굴 13
제일 정확한게 먼가요???
-
전화추합이 더 많이돌고 특히 마지막날에 젤많이 돈다고 들넜는데 ㄹㅇ임?ㅈㅂ……
-
작수 낮2받고 푼것만 지인선,이해원 시즌2,문해전 시즌2,4규 시즌2,빅포텐...
-
머지....
-
얼평 ㅇㅈ 5
-
아 이러면 어캄? 13
학교가서 동기들이랑 유대감 생기면 반수하기 힘들어질텐데..... 하 어캄 이러면?
-
정시의 힘든점이 4
너무 외롭다는..
-
-
여초가면 바로 반수때릴듯…
-
신청 들어갓
-
진짜 주소지가 서울이기만 하면 되는 넘들이 개많네 ㅋㅋㅋ
-
세미나인가 0.5 하나만 들으면 되는거 맞나요 ?
-
못만들 외모라 힘듦
-
차이 너무 심하게 느껴지는데 방학에 ㄹㅇ 라식해야하나 싶네요 근데 개쫄보라무서움...
-
파이널 디자인이랑 그냥 디자인이랑 뭐가다른건가요?
-
우리 누나ㅆㅂ 한 학기 등록금이 무슨 4829000원임
-
벵기냐? 푸만두냐? 누가 적극적으로 의견 어필했는지 일단 말만 해보시라니까요??
-
여자는 말이라도 통하는데 남자애들은 말이 안통해
-
칸수 너무 밀려서 안썼는데… 654.56은 못붙는 점수겠죠?
-
물2지2도 현강으로 해주면서 왜 사문 이외의 사탐은 온라인 송출강의로 때우는거죠?...
-
미적분 진도 첫날 열나서 많이 못했다는….정법 밀려가네..얏됐다
-
명문 오르비언들은 어떻게 생각하는지 궁금함
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼