괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
공부 못하지만 공부 관련된 것도 좋구 사적인 것도 괜찮고 이상한것도 좋교 선넘은...
-
몇년째 바뀌지 않는 것을 보고 그냥 병먹금 하는 것으로 일관하는 중 어떤 직군이든...
-
서강대식 기준 수학과 예상 점수나 예비번호 ( )이 점수로는 ( )점이다 ->데이터...
-
나 친구어케만들지 오티도못가 새터도못가 설마 또 찐따생활이야? 학교갔는데 나빼고 다 친해져있고
-
주니어교수는 진짜 적긴하구나
-
사탐은 기본편 실전편인데 신기
-
죠죠 재밌네 7
인생 절반 손해봄 이러다가 거의 모든 인생을 손해볼듯
-
약대붙었는데 7
연공 버리고 가는게 맞겠죠? 당장은 약대지만 미래가 어떨지 모르겠네요
-
제일 중요한건 가족들과의 추억 아닐까여? 전 알바끝나고 가족한테 전화해서 같이...
-
기하러의 시대가 온다는거야
-
24 언매만 5틀인데 강의 듣고 복습 꾸준히 하니까 점점 틀이잡히면서 문제가...
-
나 혼내줘 7
국영수탐 밸런스있게 안하고 수학만 해..
-
아 카페를 먼저올렸네(카페는 2차임) 여동생의 존재로인해 술은 빠꾸당함뇨
-
롤하실분 11
롤하실분뇨
-
어느날 고공을 나오면서 21
합격증 나오면 이 제목으로 인증해야지
-
배성민 3
자러감
-
다항 방정식의 해를 찾아야햇음. 일단 첫번 째로 정수 체계x-4=0? 머 이런건...
-
야 코 걔 맞음ㅋㅋ 시청자좀 차면 시작한댕 tiktok.com/live/soeun
-
월월월
-
와 이게 LCK 수준?
-
오랜만에 와서 팍 식어부렀어...
-
올해 맥도날드 전세계 수입 1년치 현금받기
-
카페 ㅇㅈ 4
-
걍 가기싫어서 면접안하고 떨어짐
-
내뒤로 한명은 더 붙을듯
-
그나마 풀고 싶은 문제 수도 한 손으로 셀 수 있을 정도
-
이리 닉네임 2
본명임
-
셀레뭐시기 들어오셈 18
대수학의 기본정리 상수가 아닌 복소계수 다항식은 반드시 복소수 근을 갖는다<<이거임...
-
추가모집 상담 때문에 계속 입결 보게 되는데 한서삼 되는데 가천 안되는 분들이...
-
해야할일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...
-
바시의 썼는데 한명 빠진 것 같네… 혹시 쓰신 분 계신가요?
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼