괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
해야할일list 3
언매 개념미적 개념
-
경희대 응수 0
응용수학과 예비 4번인데 ㄱㄴ한 부분?
-
Internal server error의 굴레에 빠졌다
-
의대합격하기vs 3
올해까지 전세계 마인크래프트 다운로드,구매 수익 가져가기
-
이리할 사람 5
이터널 리턴
-
일단 현역(07)이 너무많음(이건 05 06이 적어서 역체감이 큰것도 있음) 거기다...
-
모솔한테 맨날 연애운 좋대
-
일주일에 공통 드릴 약 25문제 강사 n제 70문제 강사 하프모의 35문제 미적...
-
3차추합했네요!! 다들 성불하세요 중앙대 중대
-
오르비 미쳤냐 2
서버 왜이래
-
진짜 모름excited state임
-
대성이든 메가든 연계 대비 강사쌤 추천 좀 볼륨 어느정도 있고 꼼꼼하게 해주시는분
-
지방 일반고에서 지균 수시로 설대 상경 가면 학교 안에서 인식 어떤가요? 경영...
-
반수가보자..
-
컹컹 왈왈
-
야 코 걔 맞음ㅋㅋ 시청자좀 차면 시작한댕 tiktok.com/live/soeun
-
해본적없긴한데 만약에....
-
올만에 bbq시켰는데 할인 먹이고 배달무료여도 2만원
-
군 전역 후 연극영확화 입시 후 감사히 정시 합격을 했지만 공부가 하고 싶어서...
-
https://youtu.be/QMpafd92GWw?si=GT37o4x1m6cG9wG...
-
바시의 썼는데 한명 빠진 것 같네… 혹시 쓰신 분 계신가요?
-
김승리 올오카 듣고있는데 수특도 따로 사서 지금 풀어야하는지 어떤지 모르겠어요 추후에 안내해주나요?
-
ㅇㅇ
-
현실적으로 10명만 돌아도 개 ㅆㅅㅌㅊ같네 10명만 돌아줘요 ㅜ
-
추가모집 0
원서시즌때 7칸이었던 학교랑 학과쓰면 붙을까요..?
-
ㅋㅎㅋ??
-
파라다이스였늠
-
화1 칼럼은 0
수요가 없겠지
-
머릿결이 더 빳빳해진 느낌이고 덜 빠지고 피부도 좀 더 좋아진 것 같기도..
-
화1은 25수능 결과보고 하위권은 물론이고 상위권까지 많이 빠져나갔음 심지어 시대...
-
??
-
가상계좌로 토스 송금?
-
1일1식 2식 섞어갔는데 왜 안 빠지제 운동 안 해서 그런가
-
비슷한질문글 5억번올리는 사람 뭐였지 그사람비슷한사람보이네
-
김중우 차로 박아버리고 형광등으로 대가리 깨는게 ㄹㅈㄷ
-
특히 수2는 이걸 언제 다 하지,,
-
옛날에는 과탐러는 죄다 화학을 하는게 국룰이였답니다... 보통 물1화1생1화2를 골랐었죠...
-
얼마나 손아귀 힘이 좋은걸까 뼈치킨 극혐하는데 하필 제일 좋아하는 브랜드가 bbq랑...
-
-
650초중반애들 성대 공학계열 최초합하던데
-
이거 알려주면 안되늨건가요 알려줘도 되는거면 알려주시와요
-
근데 댓글을 온 곳을 다 돌아댕기며 쓰고 잇엇음
-
킬캠 난이도 어떤지 궁금해서 계정없이 눈팅했ㄴ느데 보는글마다 죄다 96점 92점...
-
잘 됐으면..
-
노베 기준=인수분해만 할줄아는 정도,고2국어4~6,영어는 수능기준 2~3,탐구는...
-
야식ㅇㅈ 5
고기굽다가 불냄
-
성균관대 복전 3
학점 얼마씩 들어야 인정되나요? 인문과학계열이고 경제학 복전하고 싶습니다. 복전 빡센가요..
-
현역 수능날 성적표 받으러 교무실 가가지고 받고 사람없는데로 도망쳐나옴… 그래서...
-
오르비에서 실모 시즌에 11
회차 피드백하면 욕먹음?
-
25일이라고 알려줘도 안내리네
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼