수학의 완전성 증명
게시글 주소: https://orbi.kr/00071957732
1. (A가 거짓->모순)->(A가 증명있음)
1번은 귀류법이고 참
1번의 대우명제는 2번
2. (A가 증명없음)->(A가 거짓 and 무모순)
2번이 참이니 3번이 참
3. (A가 증명없음)->(A가 거짓) 이 참이고
3번의 대우는
4. (A가 참)->(A가 증명있음)
4번이 바로 "완전성"임
따라서 나는 귀류법이 참이라는 전제하에 완전성을 유도해냄
그렇다면 괴델의 불완전성은 틀린것인가?
그렇다..
괴델의 불완전성 정리의 문제는
G : "G가 증명불가능"
1. "G가 증명불가능" 함을 괴델이 증명
이는곧
2. "G"를 증명 한것
이는곧
"G : G는 증명불가능"
과 모순
그렇다..
나는 수학의 완전성을 복구한 수능수학 5등급 수포자인 전설의 신성자인것이다...
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
나 진짜 고민임 ㅜㅜ 3 0
대학에서 1학기다니면서 수능준비하다가 2학기때는 휴학하고 할거같은데 지금 언매버리고...
-
몇번때 난이도까지 있나요
-
몇년만에 하는건데 벤치 70 5×5 했다가 일상생활 힘들정도로 아프네
-
대종쌤이 ㅈ같은 태도 고치라고 그렇게 말했는데도 인간은 쉽게 안바뀌는구나 그보다...
-
내가 아까 오르비하다가 먹은 짤인데 원숭이나무에올라가 2 1
와 나 진짜 정신나가게 웃긴데 어카냐 지금 너무 웃겨서 정신이 아득하다 막 희미해 그냥 잃어버려..
-
"PV=nRT" 여러분들이 흔히 아는 화2 이상기체방정식 그리고 놀랍게도 도쿄...
-
중간고사 끝났다~~~~ 0 0
-
큐 꼬라지 시발 ㅋㅋㅋㅋ 2 2
아...
-
국어에서 묘사 2 0
그냥 묘사랑 세밀한,섬세한 묘사 다 똑같이 봐도 되는건가요? 묘사 자체가 구체적으로 나타내는건데..
-
지금 고3 현역이고 3모 2등급인데 영어 1 꼭 맞추고 싶어용 .. 혹시 라이브로...
-
문도!‘ 4 0
칼바람이 하고 싶다!!
-
얼버기 0 0
-
다이나믹 듀오 ㄷㄷㄷㄷ
-
1회/2회 15분/ 14분 나와요 원래 몇 분 잡고 풀어요? 막전위에서 좀 시간이 걸렷어요
-
오늘만 버티면 연휴다 0 0
기분 조타
-
기샹 2 0
아 잠와
-
윤 도 ㅋㅋㅋㅋㅋㅋㅋ
첫번째 댓글의 주인공이 되어보세요.