괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㅇ 3
ㅇ
-
-
내일 오랜만에 돈 좀 써볼까
-
서강 전자공 산학협력 채용 트랙에 관심 있는 분을 위해 2
산학협력 채용 연계 트랙 몇몇 대학 학부 특히 전자공학과 관련해서 아래와 같은...
-
원래 중학교때까지만 해도 낭만역덕으로써 이다지쌤 풀커리 타려고 했으나 강제 윤성훈 어준규 벅벅...
-
뭔 잠이여 2
8시에자겟다맘먹어놓고결국엔마크롤수악오르비하다가지금까지잇는데먼잠이냐됏다
-
닉변 쿨 돌았네 2
바꾸기 VS 유지
-
553 12
1합 원서영역 9등급과 1등급을 넘나드는 사람
-
대체 이거 걍 공부 어케해야하는거냐 뭔가 암기를 시키고 복습을 강조하는데 하라는대로...
-
닉변 포기 닉네임에 정 듦
-
4~5월 쯤에 전차병 포병 등등 쓰레기 보직으로 입대vs 7월 쯤에 TOD 등등...
-
ㅈㄱㄴ
-
이미지 써드림2 23
쓰다가 졸리면 자러감
-
돈도 버리고 시간도 버리고 학점도 버릴거 같은 냄새가 나는데 이미 7학기 휴학...
-
이제 고2 올라가고 정시로 약대 간다면 표점 제일 높은 생지가 나을까요 아님 관련...
-
이거 뭐임뇨 4
???
-
얼버기 4
-
출시 당시 메인 작곡가가 만 나이로 28살이었고 메인 캐릭터 디자이너는 29살이었음...
-
올해 통계 많이 바꼈나요?
-
어지러우니까 일단 운동이라도..
-
내가 고딩시절의 영광에 자사고 2점대에서 상위권 목 따버리고 최종 전교1등...
-
1. 개념량이 적다 2. 과목명이 개밥처럼 보인다 3. 허수담요단들이 많다 뭐같음요?
-
신입생 말규요!
-
전담은 한번 해보고 싶음 먼 맛일지 궁금하네
-
뭔가 화날때마다 술한번씩 하니까 뇌 회로가 타버리는 것 같아 10
이으으ㅏ아아가
-
1학기 내신으로 화학, 생명 듣게 된 예비고2입니다. 방학 땐 학원에서...
-
흐흐
-
공통 미적 둘 다 단과 다니면서 다른 엔제도 풀려고 하는데 3모 보기 전까지 단과...
-
90일 이상 재원인데 80일밖에 안다녔뇨
-
그런건가
-
망했네요 5
홍대 전전 예비 현재 28번인데 3차에서 4차넘어갈때 9명빠졌네요 하 수요일까지...
-
과선택에 도움주신 많은 분들께 진심으로 감사드립니다!! 열심히 대학생활 하겠습니다!!
-
진짜죄다담배쳐핌씨발쉬는시간에도그걸못참고나가서쳐피고썩은내풀풀풍기며들어옴
-
수특,최적 개념-> 윤성훈 도표 복습(작년 수강) -> 불후의 기출(윤성훈 독학기출...
-
이미 과탐(물화)의 쥐똥만한 개념 날먹에 뇌가 절여졌음
-
시대 샐러드는 나도 몇번 먹어봐서 알긴 아는데 한식이 너무 댕기더라; 샐러드/쉐이크...
-
학교다님의행위그자체보다거기서생기는귀찮은일들과의미없는연락이너무너무싫음
-
안그래도 경제 풀게없는데 사설경제는 하나같이 난이도가 괴랄함 근데 더풀 경제 < 얜...
-
-
세지로 런 칠까
-
정병훈 샘 1
인간 아니네 진짜
-
[사설]“52시간제로 R&D 성과 줄어”… 그런데도 예외조항 뺀다는 野 0
‘주 52시간 근무제’가 도입된 후 기업들이 운영하는 연구조직 4곳 중 3곳은...
-
수특 기출만으로 ㄱㄴ??
-
[사설]유명 재수학원 1년 비용이 의대 6년 등록금… 웃지 못할 현실 1
서울 강남의 유명 재수학원이 이달 말 경기 용인에 대형 재수 기숙학원을 열기로 해...
-
승급전에 무슨 인도인 형님 만났는데 1000점 찍으라고 패작해줘서 이김
-
ㅋㅋ
-
어느정도려나
-
-
수능날 타임어택 괜찮으셨나요 평소 실모(평가원, 교육청, 실모 등등)와 비교해서도 궁금합니다
-
술이 아직 덜 깼네 12
뭐하려고 했는지 자꾸 까머금
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼