괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
돈 때문에 아버지 시신 냉동 보관한 40대 아들 구속 기소 3
아버지 시신을 1년 7개월간 김치냉장고에 보관한 40대 아들이 구속 상태로 재판에...
-
ㅜㅜ
-
노베이스 토수생 100점 가능?
-
현재 예비 97번 입니다
-
너무 무서워하고 짖는게 너무 마음에 아팠어요 ㅠ
-
왜 저게 안되는거여
-
모집인원 17명이고 2차추합까지 24명 빠졌는데 이정도면 많이 돈건가요??
-
https://youtu.be/h27tKMq57Ww?si=iSr0BCIIr8fyqR40
-
냥 행정 0
한양대 행정 추합 많이 도는 편인가요? 나군인데 3차 추합하니까 예비 뜨긴 하네요
-
오르비 옛날 글 볼때 10
댓글에 저랑 닉네임이랑 프사랑 아이민까지 똑같은 사람 보여서 가끔 놀람
-
커뮤에서 조롱 많이 당하네 유튭 댓글도 곱창났을려나
-
부산대 예비 3
제가 넣은 과가 1차 추합 때 예비 5번까지 돌았다고 써있고 2차 추합때 6번 까지...
-
48시간 찍고 자야지
-
충북의 .경북수..지금까지 얼마나 돌았나요? ㅠ
-
빨간색 뺄까요
-
궁금하네
-
국어모고꿀팁제발 2
고2꺼 30분 시험시작 급함
-
집합 조건 안에 k가 존재하지 않아도 되는지 모르겠네요. 오류 없는지 봐주세요....
-
-
ㅋㅋㅋ근데 1
오르비 인터넷에 검색하면 오르비 허세가 키워드로 나오는데 뭐임 ㅋㅋ
-
중증외상센터 보고 의대가 너무 가고싶음 ㅠㅠㅠ
-
현 옯붕이 위치 2
3차접종
-
늙은앤데 여즘 누워만잇음.. 밥주면 후다닥먹고 다시 내려가서 쉼.. 먹이반응하나는...
-
10년 만의 대학 합격 드가자~
-
근데 진짜 개긁혔음 12
n수의 신 전기편 보는데 중경외시를 조스로보는거같아서 상당히긁힘
-
고자전 교과말고 일반 이번에 추합 몇명정도 보시나요..? 0
ㅈㄱㄴ..
-
경제 쉬운데? 7
선지 아래가 본인 풀이 경제 2일차 너무 재밌다
-
오르비 일 안 하냐
-
(눈빛 반짝반짝)
-
기차지나간당 7
부지런행
-
쪽지 한번만 남겨주세요ㅠㅠ
-
모임은 이것저것 나갈건데 친구무리 따로없이 그냥 혼자 돌아다녀도 안 이상하려나..
-
그냥 볼까 말까 뭔가 스포 당하니까 고민되네
-
인식이랑 이후 진로 모두 고려했을때 어디가 더 나은것 같나요?
-
아 현기증 나 2
중대야 전추 지금부터 돌리자 ㅇㅇ
-
한림대 의대 서강대 전자공학 고대 보건정책 서울대 공대 ㅅㅌㅊ?
-
시간 부자가 되고 싶다
-
? 4
...
-
미적분 ㅈ밥 문제집좀 풀다가 이번에 마플교과서 끝났는데 수분감 step0만 풀고...
-
김동욱 현강 2
재수를 이제 시작하는데요, 현강으로 일클래스 듣기는 늦은 것 같아서 스위치온 독서...
-
야 오르비 일해 3
이거 또이런다
-
힝
-
재수 끝나면 1
책 전부 다 못버릴거 같음..ㅠ 막상 끝나면 다 버리고 싶으려나..
-
누군지 나왔나요?
-
준죠 나니소레 아이죠 나니소레 오이시 나 네 오이시 낫테나~
-
반수(0.5)를 4번 하면 0.5x4=2… 아 나 아직 수능 두번 봤구나 개꿀
-
독감 거의매년걸리는인간이라 독감 확진 하루이틀전에 삘이 화르르오는데 지금몸살끼도는게...
-
우우옯붕이 0
프로세카 30렙도 버거워서 우럿서 안하니까 실력이 퇴화한건가 아니면 늙은건가
-
퇴근까지 20분 0
머하지...
-
ㄷㄷㄷㄷㄷ
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼