불완전성 정리가 틀린이유
게시글 주소: https://o.orbi.kr/00069328218
G : "G는 증명불가능"
G에따라
1. G가 거짓<->G는 증명가능
1이 모순이라서 1이 거짓
따라서 2가 참
2. G가 참<->G는 증명불가능
그런데 1의 대우명제가 2임
2가 참이므로 1도 참이어야함
1이 거짓인데 참인 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
원점수 백분위 언매95 (98) 확통88 확통틀 (93) 영어 2 사문45 (96)...
-
학교가는 길인데 0
마음이 싱숭생숭함 교수가 수업해도 안들릴 거같음
-
유명한것들..혹은 자신이 의미있게 사용한것 같았던 교재 ㅊㅊ부탁드립니다! 생지입니다!
-
07기달려라 탐구 하나땜에 대학못가는 재수생이 간다 좀 매울거다
-
Step2는 다돌림
-
어떤 상황에서든 깡피지컬로 뚫어낼 수 있는 기초체력이 중요한 거같음 진짜 잘하는...
-
볼 애니 7
택스 오퍼스 디스티니 타이탄 바이올렛 애버가든 스즈미야 하루히위 우울(갓프텔)
-
44번 정답 안보여서 정신나갈뻔 했음
-
미적 3틀 81인데 3까진 안 내려가겠죠?
-
최소 부산대 이상의 대학의 항공우주공학, 기계공학과 진학 희망하는 고1입니다 이제...
-
홍보자료 같은거 보면 맨날 붙어있던데 학교 안에서는 어떰? 존나 귀엽네
-
심멘ㅋ 10
심찬루야!!
-
6모 - 9모 - 수능(예상) 화작 98 - 88 - 93 확통 94 - 99 -...
-
수학미적
-
얼버기 3
매번숙취는힘들다에요
-
이번 겨울에 전국 모든 혁신도시+기업도시+도청이전신도시 0
구경 및 답사 가볼 예정인데 기대되네요..... 충북혁신도시 평가원 사옥 앞에서...
-
쓸데없는거 끄적이면 감점이래 이러니까 더 쫄리네
-
-
인문논술 질문 0
생윤을 아예 모르는데 생윤이나 윤사같은 과목들 조금이라도 읽어보는게 도움 될까요??
-
-
진학사 1
진학사가 좋나요 텔레가 좋나요..? 하나 살건데 뭐가 좋은지 ㅊㅊ 좀..
-
이대약대 6
제가 지금 이대약대 기준 972점인데 작년 최초합격자 평균이 950점대임.. 근데...
-
1컷 45라고 현실부정하려고 했는데 주변애들 보니까 1컷 47인게 다행인듯하네 시발
-
경희대 못간다 이기
-
화작 백분위 80 확통 백분위90 생윤 95 사문 90
-
-
맞팔하실분 6
-
점심 ㅁㅌㅊ 4
돼지 김치찌개에 돼지 추가했음 곧 배달 올 예정 ㅁㅌㅊ?
-
어려웠다니까 나9번못풀엇자나...
-
확통틀이죠?
-
올해도 수능을 보네요.. 저처럼은 되지 마세요
-
ㅋㅋㅋ 난 2409
-
백분위 기준 탐구 사탐이면 요새 어느정도 가나요? 연고대 인문 가능한가요 ? 안되면...
-
ㅈㄴ 대단하네 1회독 제대로 한번 하는것도 벅차던데 회독할수록 속도가 기하급수적으로 빨라지나
-
이정도는 ㅈㄴ 흔하죠?
-
경북대 약대 가고싶은데 사탐할까 걍
-
최근 본 영화 1
를 봤는데요 머리 밀고 나오는 '이고르' 역의 배우 유리 보리소프가 눈에 익었음...
-
원점수 98점 이고 올해 4일정도 1일1실모쳤는데 아침에 실모치고 저녁에 기출...
-
전적대 자퇴원서 3
언제까지 내야해요? 뜨는건 확정인데 수시발표나기전에 내야하는건가요? 아니면...
-
오늘 수논 보신분 있나요 어땠어요? 좀 쉬운 것 같은데 컷 높겠죠?
-
나만 알아야지
-
기하가 꿀이라고...? 11
미적이랑 1컷이 4점이나 차이나던데??
-
수능직전에 약간 바꿨는데…. 독서론-첫번째 비문학-고전소설-화작-나머지문학-나머지 비문학
-
지구 과외 1
백분위 23 88 24 95 25 100인데 수요 있을까요..? 내년부터 지구도...
-
언문독이 맞다 8
아무튼그럼
-
연고대 낮은 공대 가능할까요? 아님 서성한 어느 정도까지 가능할까요?
-
이 성적으로 원서 넣겠다는거 아닙니다 저건 서성한도 힘들다는거 알아요 다만 여기서...
-
고1 3모 백분위 57->수능 92점 수학 고2 3모 3컷 ->국어 고3 3 5 7...
-
약대 1
를 노린다면 몇 수가 마지노선일까요?? 메디컬이라 붙기만 하면 상관없나..
-
전체 1틀 2틀 3틀 널렸음 근데 중상위권이랑 좀 애매한 상위권들은 탐구에서 모조리 나락감 ㅠㅠ
개소리노
왜요
G자체가 증명 불가능인데 누구맘대로 G가 참 거짓인지를 전제로 깔고 시작하노?
내가알기론 G가 증명불가능하고 G가 참이라는게 답이라고 알고있음