불완전성 정리가 틀린이유
G : "G는 증명불가능"
G에따라
1. G가 거짓<->G는 증명가능
1이 모순이라서 1이 거짓
따라서 2가 참
2. G가 참<->G는 증명불가능
그런데 1의 대우명제가 2임
2가 참이므로 1도 참이어야함
1이 거짓인데 참인 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
test 11
-
!!
-
Test 0
Ssss
-
dddddd 0
ddddd
-
개발팀 화이팅! 0
오늘도 테스트에 열중이신 개발팀....
-
gif 6
gif
-
테스트 15
움짤
-
Test 27
Test
-
Ddf 5
Ddd
-
test 0
tset
-
Test 0
ㅇㅇ
-
test 3
test
-
굴규ㅏㅣ먼래ㅑ 3
무나리마어탸ㅐㅍ처ㅐㅑ냐래버ㅑㅓㅇㄾ미ㅏ품ㄴㅇㄻ
-
테스트 1
ㅁㄴㅇㄹㄴㅁㅇㄹㄴㅁ
-
ㅇㅇ 6
Skalsk
-
ㅇㅇ 3
ㅇㅇ
-
테스트 6
ㅇㅇㅇ
-
Dd 7
Dd
-
test 2
sadfsadsadfsadfsadfsdafsadfsadfsadsadfsadfsadfsdafsadf
-
아이ㅏㅇ 0
행복하자
-
Sas 0
Sass
-
ㄴㄴ 0
ㅌㅅㅌ
-
Dd 0
Fff
-
Test 1
Setestr
-
aaaaaaaaaaaaaaaaaaaaaa
-
ㅅㄷㄴㅅ 10
-
test 0
-
test 5
-
ㅁㄴㅇㄹ 21
NuRi's Tools - YouTube 변환기
-
파일 업로드 잘 되나? 동경리전으로 가버렷!
-
asdf 4
안녕하세요. 진명선 기자라고 합니다. 가 학생부 종합 전형 등 자기소개서와 면접...
-
write 4
&&
-
test 0
& & &
-
test 0
& & &
-
test 1
test &asdfasdf&
-
test 3
testasdf asdkflja;lsdfkj
-
test 11
testajsdfl;jal;sdfjl;kasjdfl;kjakls;dfjl;kajdsf...
-
test...
-
test 7
-
test 0
test
-
test
-
alert(1);
-
test 0
test
-
ㅅㄷㄴㅅㅅ 0
ㅅㅅㄷㄴㅅ
-
ssssssssssssss
-
ㅅㄸ 2
ㄸㄴㅅㄷㄴㅅ
-
ㅎ 0
ㅎ
-
끄 6
em
-
Test 0
Aa
-
testㅁㄴㅇㄹㅁㄴㅇㄹ
개소리노
왜요
G자체가 증명 불가능인데 누구맘대로 G가 참 거짓인지를 전제로 깔고 시작하노?
내가알기론 G가 증명불가능하고 G가 참이라는게 답이라고 알고있음