괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990300
______________________________
제1정리 반박
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
그리고
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
______________________________
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3.따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
건동홍만 가도 말로는 만족하고 다닌다고 했는데 근데 아마 만족 못했을듯
-
ㅇㅈ 6
식물 납치하러 가는 나
-
50퍼는 차지하는거가틈... ㄹㅇ
-
제 나무 예쁘죠 10
-
이거 걍 술주정임?
-
메디컬정시 개빡세지겠냐 하..
-
ㅇㅈ 5
-
아무도 나를 x스 대상으로 한 번도 생각해주지 않는 현실
-
진짜 모름
-
내꺼 연애운 4시간째 보는데 4시간째 똑같은내용으로 안좋게나옴
-
왜클릭
-
연고 서성한 문과라는 가정하에
-
님들 조심하세요 9
제가 님들 뱃지 확 떼서 제꺼로 만들수도있음
-
잘생기고싶어 3
차은우처럼
-
그냥 열심히 놀면 됨??
-
롤하실분 11
롤하실분뇨
-
물리 잘하고싶다 4
갑자기 든 생각이다
-
소주 한잔만 마셔도 얼굴 개빨게짐
-
시발점으로 개념 뗐고 현재 쎈, 기생집2,3점 중인데 쎈은 B단계 60%맞는...
-
아쉽다 아쉬워 5
전설이 될 수 잇던 가능세계가그래도 꽤나 잇엇던거 같은데 전부 피해가버렷군
챙
무슨 뜻인가요
괴델은 G가 증명 불가능함을 증명한적이 없으므로 허수아비 공격의 오류
증명 불가능한 명제가 적어도 하나 존재한다는 것인데, 그 명제가 G라고 한게 아니잖아요
아니 ,G가 증명불가능하다는걸 증명한거 맞다고 하는데요?
쿠쿠리님 말이 맞습니다
G를 증명했다고 가정하면 G와 모순이므로
괴델은 G를 증명하지 못했습니다
???
인정할까요
저 어떤분이 기부해주셔서 만코인 얻었는데 이걸 막쓰긴 좀 그렇네요
조금만 인정하겠습니다
천덕코 드릴까요?
감사합니다
전송함