괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
씨발새끼
-
얼씨구 2
-
왜 우리한테는 안보여줌 우우
-
꺼억
-
문학은 혼자 읽고 해설지랑 내 사고 비교해보면서 놓친거 체크하고 선지 오답률...
-
초콜릿 먹어야지 0
전기장판 위에서 초콜릿 까먹고 커피 마시기 드가자
-
스포티파이써야겠다
-
ㅈㅂㅈㅂㅈㅂㅈㅂㅈㅂㅈㅂ
-
인스타못물어봄...
-
23년으로치면 호두나 823543 같은 분들
-
김승리 현강 0
오늘 저녁반도 킬링캠프 드립침? 인강으로 다시 듣고 싶은데
-
ㅈㄱㄴ
-
미치겠다.. 4
김동욱 심찬우 정석민.. 일틀하려다 비독원 고민되고 생글 고민되고... 다 들어봐도...
-
본?계 3
잘뒤져보면 나옴 찾아보셈뇨
-
고대 학추로 공대 생각라고 있고 2학년 2학기까지 전과목 내신 1.21 입니다...
-
부산역 텍사스촌이다 부산역 미만 잡이다
-
07자퇴생 질받 4
아무거나 다
-
올해도 793대까지 갈수 있을거 같음 맨날 폭 폭 거리는데 맨날 결국 결과가 이러네
-
그냥 주변의 부러운 눈빛과 가오를 보고 의대를 가고 싶은 걸까 아님 진짜 의사로서...
-
AI평가 8
그래 이거면 된거죠 머..
-
성대 영상 1
성대 영상 지금 몇점까지 붙음?
-
DK) 쇼메이커 "루시드 잘하는 정글러라 생각 안 해" l 승리의 딮터뷰 VS NS 3
아니 스크림 쇼메는 어떠길래 다들 입모아서 재앙수준이었다는 뉘앙스로…
-
중앙대 경영 3
ㆍ
-
인천 재밌어여 0
서울가는데도 1시간30분 수원도 1시간30분 제주도도 1시간30분 부산도...
-
꾸미고 다니면 씹상타치 되겠지?
-
어떤과는 추합문자 주고 어떤 과는 안주고 그러진 않겠죠?ㅠㅠ 제가 2차 3차...
-
중앙뽕 채워줘요 5
고1 때부터 원하던 학교 물어보면 중앙대라고 대답했는데 막상 붙으니까 그렇게 막...
-
해수면에서의 수압은 0인가요 1인가요? 찾아봤는데 수심10m에서의 수압이...
-
평일에 강기분사서 오늘 온다길래 참고 참다가 집에서 택배 열었는데 뉴런 미적분?...
-
드릴 1
드릴3 권당 1.5에 샀는데 ㅁㅌㅊ?
-
고등학교에서 적응힘들면 자퇴하는게 좋을 수 있다 생각함 막 주변인들이랑 잘 지내지도...
-
사람들이 다 이상함? 아니면 조폭? 일진? 먼데 ㅅㅂ
-
연고대는 말할것도 없고 표본 개빽빽하던 성대마저도 빵이 어디까지나는지..ㅋㅋ 이래서...
-
인천도 광역시중 하나로 도시화도 잘되있고 다 사람 사는곳이라니까여? 참나 어이없네
-
안 믿어
-
한 10년전? 서울시 면목동이 진짜 개 무서움
-
왜냐면 나는 귀여우니까 헤헤헤
-
작수 국어 낮3 이었습니다. 추천해주실만한 국어강사 찾습니다!
-
1. 안산드레아스 2. 영등포 대림동 3. 인천 부평구 4. 부천
-
어나클 구매완 2
-
-
내가 부천살때 거기 50번도 더 왔다갔다했는데 님이 먼저 선빵치지만 않으면 아무도 님 안건드림
-
한번 빼고 모든 각도 다 4점대 나오네
-
방금찍어서 방이 개판이긴 하지만 그건 왜보는거니 ㅋㅋ 편의점에서 찍은사진 올리면...
-
ㅆㅂ우리아빠 뭔데 11
대학생 때 사진 넣었는데
-
당장 1000덕을 송금하시오.
-
나 남동구사는데 여기 ㄹㅇ 좋음
-
추천햐주는 노래가 너무 내취향 아님 정신차려!!
-
야구개막빨리해라 5
나고양인데야구보고싶다
-
스카너는 사기챔이 맞다 스카너 필밴 농심이 왜 밴안했는지 의문
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼