수학의 완전성 증명
게시글 주소: 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를 선물하세요.
-
ㄹㅇ로
-
로봇)전기vs기계 2 0
제가 로봇제어나 설계쪽에 관심이 있는데 학부는 기계가는게 맞겠죠? 로봇하면 항상 이...
-
원래 친하던 애들은 공부 나랑 비슷하게는 못해서 항상 나홀로 고독한 전투를 해왔는데...
-
국힙 갠적으로 최고의 라인 2 0
들을때마다 미침
-
스압)가요이같은 여친 기원 1 0
-
자기싫은데오르비노잼임… 0 1
음음
-
저도 한번 이미지 68 3
(주의: 좀 대충 적을수도 있음)
-
지로함을 너무못해 1 2
흐응..
-
국어 모고 10개해서 나올거 같은 것들 4편씩 박아넣기
-
또정환 또지영이 파이 나눠 가지겠지
-
토요일에 몰아서 들으려고 하는데 너무 오반가
-
허윤진언니한테 0 1
혼나고싶다.. 나한테 엄청 화내주면 좋겠움..
-
야옹 10 2
애옹
-
화가 난다 1 0
학원에 D-100이라고 대문짝만하게 사방에 붙여둠 저 종이 매일 갱신할듯
첫번째 댓글의 주인공이 되어보세요.