괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
평가원이 수능내는거니까 적당히 보고 그냥 엔제 실모를 연습할까 라고 하기에는 실력이...
-
강민철이 07아들딸 5000명을 낳아서 7모를 보게 한게 아닌 이상 국어컷이 이렇게...
-
유기한 과목은 더 망했고 내 정신상태 글러먹었고 올해 대학교 바꿀 수 있나 이거
-
기하만 22문제를 풀고싶구나
-
24시간 고정석이고 책상은 넓고 옆에 다른 사람없고 창문이 있음 개인실은 아닌데...
-
너무 수학 올인하긴햇음 에휴
-
N제 공통만 좀 풀어보고싶은디 드릴6이 나을까요? 설맞이가 나을까요
-
집모지만 기분이 좋다 10
3수하는 동안 이정도 성적 처음 나와봄
-
큐브 버그인건가 0
답장 보내려고 보내기 누르면 글이 안보내지던데 이거 어떻게 해결하나요...?
-
탐구 때문에 전장 되는 독재가 주변에 없네
-
방금 풀었는데 22 계산실수 호머하면 92인디... 14 15 20 21 29를 너무 준거같음
-
님들아 4
모행??
-
사실상 사교좌표에서 직선의 방정식 연립하는 거 있잖아요 평벡 기출 중에 이거 써야만...
-
확통->기하 6모는 확통 30번만 실수틀인데 혹시나 기하 바꿨다가 망하면 어떡하지...
-
오 6
1234임
-
한과목이긴한데 1시간 반 하나?ㅋㅋㅋㅋㅋㅋ 매일하긴함
-
일주일만 빌려주실 분 계신가요 이명학 신택스 강의만 들을 거라서요.. 아이디...
-
N수들 들어온다 생각했을 때 의치 되려나 부울경 지역인재 쓸 수 있음
-
수학 그래도 실력 큰거겠죠..? 6모보다 확실히 수학은 쉬웠고 근데 확통이 좀...
-
문제가 어렵진 않은데 뭔가 턱턱 걸리는 부분이 있을만한거만 모아둔거같음...이거 나만 느끼나
-
비문학 주제중에 ‘기술’은 어디서 배경지식을 쌓아야...? 0
그러니까 기계나 자동차 요즘 유행하는 AI 이런 지문도 꽤 나오는거 같은데 어디서...
-
하반기 되니까 할거 드럽게많네 근데 빼올수 있는 시간이 없음
-
국어도 유지일꺼같고 수학컷 의문이었는데… 소신발언하자면 2022랑 컷 똑같이 나온거...
-
이건 그래도 후자가 어렵나
-
오늘은 좀 시원한데
-
확통 공부법… 0
7모에서 2930 틀렷는디요… 뭔가 항상 시험 볼 때마다 접근은 하는데 답이...
-
목이랑 등이 너무 아파서 조퇴했더니 뼈에 금가고 담 걸림.. 아파
-
-
예를들면 “97년생 클럽이 있으니까 79년생 클럽도 있어야 차별주의자가...
-
안녕하세요 '지구과학 최단기간 고정 1등급만들기' 저자 발로탱이입니다. 지난 1년간...
-
아시는분
-
어릴때 재밌게 봤는데
-
인수분해 다해놓고 대입할때 이상한 숫자 넣는다던가 G6 구할거 f6 구해서...
-
7모 국어 1
6모보다 많이 쉬웟나요?
-
7모 수학컷 2
7몬데 메가컷 이거 맞나요…
-
열품타 씹실수전용 스그 오늘 안오시면 7명정원으로갑니다 8
6 9 수능 선택과목 언화 미 과탐2개 필수 26 6모4합4이상 스그들어오시면...
-
학교를 토나오게 오래다니노..
-
에어컨 끄지 말고.
-
볼록 2
밥 먹엇더니 배가 빵빵해
-
레전드공하싫 8
-
27??? 28??? 29 "공도" 30 나비효과로 멘붕 이테크 탔을 기붕이...
-
풀었을때 갠적으론 12 20말곤 안걸렸는데 컷이 낮아서 오히려 의외임 미적도...
-
개소리만 왈왈하고 나왔다
-
라이브 듣고싶었는데 강기원 김현우 이런사람들은 다 미적만하네.. 유일하게 공통에서...
-
맨날 운동하고 술퍼먹으니까 살이 안찔래야 안찔수가 없네
-
하이 12
-
교육청 표본으로 1컷 84언저리가 찍힐정도로 쉽진 않았던거같은디 갠적으로 5모보다 어려웠음
-
비열때문인가?
-
미적분 2등급의 벽을 못넘겠어요 3567모 전부다 3등급 떴습니다.. 계속...
-
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼