괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
건동홍만 가도 말로는 만족하고 다닌다고 했는데 근데 아마 만족 못했을듯
-
으갸갹 2
-
ㅇㅈ 6
식물 납치하러 가는 나
-
50퍼는 차지하는거가틈... ㄹㅇ
-
이거 걍 술주정임?
-
메디컬정시 개빡세지겠냐 하..
-
근데 그렇게 소신 있는 애들이 상향 대학 가는게 맞는 듯 ㅇㅇ 난 컨설팅 받았어도...
-
ㅇㅈ 5
-
아무도 나를 x스 대상으로 한 번도 생각해주지 않는 현실
-
진짜 모름
-
내꺼 연애운 4시간째 보는데 4시간째 똑같은내용으로 안좋게나옴
-
왜클릭
-
연고 서성한 문과라는 가정하에
-
님들 조심하세요 9
제가 님들 뱃지 확 떼서 제꺼로 만들수도있음
-
잘생기고싶어 3
차은우처럼
-
그냥 열심히 놀면 됨??
-
물리 잘하고싶다 4
갑자기 든 생각이다
-
소주 한잔만 마셔도 얼굴 개빨게짐
-
시발점으로 개념 뗐고 현재 쎈, 기생집2,3점 중인데 쎈은 B단계 60%맞는...
-
아쉽다 아쉬워 5
전설이 될 수 잇던 가능세계가그래도 꽤나 잇엇던거 같은데 전부 피해가버렷군
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌