수학의 완전성 증명
게시글 주소: 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를 선물하세요.
-
901k덕만 더 모으면 2 0
다시 천만
-
오늘의 학습일기 9 0
지금 시작된다. 한 6시 50분쯤
-
오늘국장 0 0
데드캣바운스
-
전한길 선생님은 왜저러시는걸까 6 1
흠 그정돈가
-
한양대 합격 9 2
1차추합 받았습니다
-
현타온다 4 2
추가모집 상담 벌써 80명짼데 중간중간 예의 없는 사람들이 들어와요 유료...
-
꿈빛 파티시엘 보는중 2 0
이거 더빙판 오프닝 아이유가 불렀어요ㅋㅋ
-
추합 관련 질문!! 0 0
국민대 미래융합을 쓴 사람입니다! 1차 추합에서 예비 70->17로 올랐는데요,...
-
롤할꺼면 말하셈 4 0
ㅇㅇ
-
마냥 이도저도 못해 난 마냥 기다리기만 할 뿐
-
갑자기 서강뽕 생김 4 0
응원가 개좋네
-
왜 메인에 갔는데 팔로워 수는 8 1
더 줄어든건가요 맞팔좀 해주세요 여러분...
-
국민대 미래융합 0 0
문과가 이과선택하면 수업 따라가기 벅찰까요;;??
-
주인 잃은 레어 2개의 경매가 곧 시작됩니다. Le Fishe"보기만 해도 기분이...
-
탈퇴할때가 됏군 4 0
빠이
-
1차 충원 예비1번 0 0
15명 뽑는 학과 1차 충원 예비1번 된다고 봐야하나요?
-
진짜 혼모노구나...
-
천만덕 가쥬아
-
술은 그냥 친구랑 먹으면서 1 1
재밋는 얘기 하고 약간 취해서 볼링이나 야구 롤 등등 하러 가는 게 최곤데 참...
-
이짤은 머임 ㅋㅋㅋ 5 4
첫번째 댓글의 주인공이 되어보세요.