괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990300
______________________________
제1정리 반박
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
그리고
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
______________________________
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3.따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
새로운 날이 밝아오고 있어요 또 하루 행복이 가득하길 빌게요
-
사실 나는 모르겠음 내가 얼마나 악한사람인지 정도를 나누기가 싶지는 않음 그래도...
-
전과목 만점 나올때까지 풀어야 한다면 수능날도 가능하지 않을까
-
이문제 암산(임신아님)컷함
-
왈왈왈 왈 12
왈
-
얼버기 1
ㄹㅇ 얼버기
-
얼버기 2
-
하 시원하게 인증메타 끼고 특정당해?
-
뉴비를 도와주새요! 15
입시 끝 커뮤 시작
-
가기 싫다
-
친구코드 2772 3749 2097 피크민 재밌어욥
-
자기전 맞팔구 9
똥테 탈출 기원
-
2월 15일 첫글 2월 18일 갈테 달성... 나도 이제 오르비 네임드 ㄱㄴ이냐..?
-
속안좋아졋음
-
07년생 특 3
순수한 미자임
-
이 사실을 안 숭실대는 다시 입학절차를 밟게 해 주었다고..
-
반 병만 마셔도 눈 깔이 풀림
-
상식퀴즈 12
1+1=
-
지금부터 하루 순공 12시간씩 하면 어디까지 가능할까요? 29
작년 수능 점수입니다 이런 질문이 의미 크게 없고 사람마다 재능도 다른것도 알지만...
-
빠잇
챙
무슨 뜻인가요
괴델은 G가 증명 불가능함을 증명한적이 없으므로 허수아비 공격의 오류
증명 불가능한 명제가 적어도 하나 존재한다는 것인데, 그 명제가 G라고 한게 아니잖아요
아니 ,G가 증명불가능하다는걸 증명한거 맞다고 하는데요?
쿠쿠리님 말이 맞습니다
G를 증명했다고 가정하면 G와 모순이므로
괴델은 G를 증명하지 못했습니다
???
인정할까요
저 어떤분이 기부해주셔서 만코인 얻었는데 이걸 막쓰긴 좀 그렇네요
조금만 인정하겠습니다
천덕코 드릴까요?
감사합니다
전송함