괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990300
______________________________
제1정리 반박
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
그리고
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
______________________________
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3.따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
진짜 중요한 건 바로 노무현은 살아있다는 거임
-
흐윽 2
우으..
-
언젠가 인서울 중상위권 수준(시립대)으로 입결이 오를수도 있지 않을까?
-
흐흐
-
헐 0
안녕
-
ㄱㄱ 난 요즘은 닝닝
-
대학커뮤니티 노크에서 선발한 가천대 선배가 오르비에 있는 예비가천대학생들을 돕기...
-
와! 0.01% 확률로 랜덤 풀떼기에 당첨되셨습니다!
-
망했네요 5
홍대 전전 예비 현재 28번인데 3차에서 4차넘어갈때 9명빠졌네요 하 수요일까지...
-
-
사람은 고쳐쓰는게 아니라 바꿔쓰는거다 억지로 고치려하니까 내가 나쁜놈이 되어있더라...
-
현우진 드릴 드릴드1(드릴1,2) 드릴드2(드릴3,4) 드릴5 문제퀄이나 난이도 다...
-
가군 5차기준 예비 5번인데 전추로 가능성 있을까요??ㅜㅜㅜ
-
하.. 소화안돼
-
우울증 치료법 아시는분 11
중3때부터 우울증 확진받고 그냥 방치해왔는데 이제는 심각함을 느껴서여..
-
노베입니다. 완전 노베는 아닌데 진짜 흐릿한 개념이 살짝 남아있는 ㅠㅠ 김기현T...
-
아니 정시 농어촌 국숭세단~건동홍이 이렇게 쉽나요? 11
물론 남과 비교하면 안되겠지만 현타가 ㅈㄴ 와서 며칠째 우울합니다. 저는 강원도쪽...
챙
무슨 뜻인가요
괴델은 G가 증명 불가능함을 증명한적이 없으므로 허수아비 공격의 오류
증명 불가능한 명제가 적어도 하나 존재한다는 것인데, 그 명제가 G라고 한게 아니잖아요
아니 ,G가 증명불가능하다는걸 증명한거 맞다고 하는데요?
쿠쿠리님 말이 맞습니다
G를 증명했다고 가정하면 G와 모순이므로
괴델은 G를 증명하지 못했습니다
???
인정할까요
저 어떤분이 기부해주셔서 만코인 얻었는데 이걸 막쓰긴 좀 그렇네요
조금만 인정하겠습니다
천덕코 드릴까요?
감사합니다
전송함