괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
뭐야 2 1
스톱워치 켜놓은거 깜빡하고 안 껏엇네
-
얘들아 미안해 2 0
사실 초콜릿은 여동생이 준거야 나는 모쏠 연애노베니까 욕 ㄴㄴ
-
홍대컴공 몇명 빠졌는지 2 0
알려주실수있나요...? 제가 계속 노예비다가 이번에 번호생겨서 몰라서요,,
-
공대갈맘 1도없었어서 진학사 안돌려봤긴했는데 걍 궁금해서용
-
홍대 예비생김 2 0
얏호,, 전화 기다려야징
-
아 우울하다 1 1
전여친이 태그해서 내가 공유했던 스토리 보관함에서 없어짐... 걔 보관함에서 지웠나봄
-
서강 경영 합격! 4 3
원래 서강인문 쓰려다가 saint님 말씀 듣고 경영 써서 붙었습니다. 점공 첫날...
-
갠적으로 궁금 의치대 둘 다 지방으로 가정
-
모든 논리가 완전함을 증명 1 0
-
고대 교과우수 내신점수 0.2점 차이면 어느정도에요? 2 0
비슷한거 아님 차이 믾이나는거?
-
뷰우우우우웃 뷰웃 1 0
븃
-
경희대 3차 방금 연락왔네요 2 0
참고하십쇼
-
. 3 1
..
-
괴델반박 한줄요약 2 0
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진...
-
에타 전적대 탈퇴 어케하나요 1 0
계정 새로 만들려고하니까 이미 가입된 계정있다고하는데 걍 탈퇴하고 만들어야하나요...?
-
창의ict 전공선택 언제함? 2 0
전전이랑 융공중에 고르는거 언제함 중대 중앙대 추합 다군
-
난 출근하러...
-
ㅈㄱㄴ
-
숭실대 단톡방 가입했음 2 0
인증받는데 얼마나 걸리려나
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼