괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
과탐할까사탐할까 3
수탐만 올리면 되는데 지구사문할지 생지할지 고민됨 약대가고시퍼 작수엔 생지했고 생명박긴했어
-
이리 닉네임 2
본명임
-
모솔한테 맨날 연애운 좋대
-
경북대 이과 5
님들이면 어디감?
-
오르비 미쳤냐 2
서버 왜이래
-
이런 장에서는 난 못벌어가니까 일찍 자야지
-
뭔가 도움되는 글을 많이 쓰고싶어요
-
물리학2-상당한 타임어택-매우 높은 상위권 표본 수준-빈약한 교과서-많은...
-
지금 붙을거갗은게 충남 경영이랑 이미붙은 영남 전기가있는데 여러분은...
-
자기 사진 올리면서 취미, 생활같은거 구체적으로 소개함....? 전적대에서는 이런거...
-
-
-
현실적으로 10명만 돌아도 개 ㅆㅅㅌㅊ같네 10명만 돌아줘요 ㅜ
-
2단원부터 6단원까지 꼭 들어야하는데 지금와서 들어가긴 너무 늦었겠죠.. 진짜...
-
??
-
미래가 불안하네 3
사람은 무엇으로 사는가
-
고등학교 123학년 전부 장기자랑 무대 나가서 랩함(2 3학년 때는 상금도 받음 ㅎㅎ)
-
본캠 대신 다른 곳으로 쓰면 되겠군 그러고는 연고대 버리고 온 것마냥 훌리 짓을 마구마구...
-
안녕하세요 어제는 공부 안했어요
-
노베 기준=인수분해만 할줄아는 정도,고2국어4~6,영어는 수능기준 2~3,탐구는...
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌