괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
유빈 관리자 목하나 딸때마다 등록금 절반씩 까주는거지
-
삼성이 진짜 짜치는게 13
그냥 가격을 내리지 버즈 50% 할인쿠폰! 갤럭시발 워치 5만원 할인쿠폰! 이상한...
-
걍 공부량 자체가 다른듯 재종 와보니까 느낌
-
하루종일 2시간 이상 집중이 안된다...
-
(서울대 합격 / 합격자인증)(스누라이프) 서울대 25학번 단톡방을 소개합니다. 0
안녕하세요. 서울대 커뮤니티 SNULife 오픈챗 준비팀입니다. 서울대 25학번...
-
전자가면 누군가를 만날수있음
-
현 옯붕이 위치 3
-
정법해 ㄹㅇ 재미도 있고 감탄도 나옴
-
한양 에너지공학부 vs 서강대 AI기반 자율전공학부
-
고등학교 123학년 전부 장기자랑 무대 나가서 랩함(2 3학년 때는 상금도 받음 ㅎㅎ)
-
이거뭐지? 0
와 1테라, 512가 256보다 가격이 싸냐?
-
시원하이
-
서울과학기술대학교 합격생을 위한 노크선배 꿀팁 [과기대25] [새내기들을 위한 시간표 짜는 팁] 0
대학커뮤니티 노크에서 선발한 서울과학기술대학교 선배가 오르비에 있는 예비...
-
하 ㅅㅂ 난 광어코인데 ㅅㅂ
-
왕복 4시간 넘어서 안 썼는데 그냥 과기대 쓰고 지금 재종 들어갈걸 약간 후회되네
-
숭실대 (자연) 자전 최초로 받은 예비번호는 118번 입니다. 1차 2차 합계 /...
-
뭐 붙긴 할거니까..... 이미 인과계 최초합하기도 했고...
-
전화추합 재종 0
재종 월욜날 드갈것 같은데, 전화추합 부모님 번호 등록해놓은걸로도 가는거죠?
-
15분 넘게쓰고 글은 다튕겨져나가고 눈알 50번은 굴려서 겨우풀었는데 이렇게까지...
-
과 수능점수 수석? 뭐 이런거로 학업장려금 줬었는데 개빡쳐서 수능학업에 써버림
-
커플들은 샤브샤브 먹으로 왜이리 오는거야?ㅎㅎㅎㅎ 나한테 사과해라 님들때문에 개빡세게 운동함
-
과외 경력 10년 이상인 선생님들의 시급이 궁금합니다. 국어/영어 4-5등급 나오는 재수생입니다.
-
일단 한달전보다 4-5키로 빠졌음 근데 근육량이 얼마나 늘었을까 궁금하구나 흐흐흐
-
일단 지인선 함
-
불금에 나가지도 못하고 쓸쓸히 집에서 즐길만한 야식을 추천해 주시옵소서... 흙
-
만원만 채우고 다신 안들어올게요
-
설대 경제학과 합격 인하대 의대 예비 85번받고 전화 추합 가능..??
-
필수본 듣고 기출문제 푸는데 빗면유형이나 역학계 상황 문제들은 풀어보려도 해도...
-
인서울이라 함은 1
어디까지 인가
-
취업을 고려한다면?
-
미적분 기하 0
미적분 절대 못 할 거 같아서 바꾸려는데 두개 중 뭐가 더 나음? 기하 확통
-
미적 4번째고 실전개념 이해원n제 빅포텐 드릴(하는중) 정도 했습니다 박종민t...
-
난이도 어디가 더 적합한가요
-
진짜 쪽팔려서 뒤지고 싶었음...
-
이게 내가 살 수 있는 젤 싼거인거같음 16인치인 동시에 윈도우 미포함이여서 그나마...
-
-
물리학2-상당한 타임어택-매우 높은 상위권 표본 수준-빈약한 교과서-많은...
-
수능 사인법칙 코사인법칙 문제는 앵간하면 특수각 끼게 만들던데 왜 그럴까요
-
어디가 나을까요? 님들이라면 어디 가실 건가요?
-
과대표하면 2
장학금주나!!?? 아니면 학생회 하면 주나?? 장점,단점있으면 알려줘요
-
크크크ㅡ 2
크크크크크ㅡㅡ
-
분석해보면 1. 수능은 하루에 결정되고, 내신은 3년 동안 약 12번의 시험을 봄....
-
고경가면 행복한 대학생활 할 수 있잖아
-
강의에서는 a=루트3이 나와야하는데 어느 부분에서 잘못되었는지 30분째 고민중입니다...
-
완벽한 생패
-
ㅈㄱㄴ
-
어차피 아무도 안들을거같아서 안한다 에효
-
가격이 꽤 오른거같은... 전과목 다 풀긴하시죠???
-
어디감?
-
스피또 1000원긁었더니 1000원당첨 ㅋㅋ
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼