디시인사이드 갤러리

갤러리 이슈박스, 최근방문 갤러리

갤러리 본문 영역

괴델의 불완전성정리의 물리학적 이해

부기우갤로그로 이동합니다. 2025.05.14 20:43:25
조회 105 추천 0 댓글 1

viewimage.php?id=3db5c935ecd139aa7dbcdfb018d221&no=24b0d769e1d32ca73de981fa11d02831c5c0f05347e0c24fad56a85fb85acc6c5ca9e4475612a7a007978c2d253d86af9e24295c640b480ead32454bfd70d751ce89a78acebfb87059824d


https://drive.google.com/file/d/1vFwEPmAuAOWSRh07EdVVOisbdd36ETd1/view?usp=sharing

 

위 링크 글을 먼저 읽으시면 됩니다.



괴델의 불완전성 정리(영어Gödel’s incompleteness theorems)는 수리논리학에서 페아노 공리계를 포함하는


모든 무모순적 공리계는 참인 일부 명제를 증명할 수 없으며, 특히 스스로의 무모순성을 증명할 수 없다는 정리다.



위의 정리는 결론을 이해하는 것도 힘들고, 증명을 이해하는 것도 힘들 수 있습니다. 그런데 그 증명이 옳다는 것을 알고 있기 때문에


다른 증명이나 예시를 통해서 괴델의 불완전성정리가 의미하는 것이 무엇인지는 좀 더 쉽게 이해할 수 있는 방법이 있습니다.


쉽게 말해서 답이 있다는 것을 알게되면 그것을 다른식으로 쉽게 이해하는 방법을 찾을 수 있다는 겁니다.


먼저 '모든 무모순적 공리계는 참인 일부 명제를 증명할 수 없다.' 부터 이해해봅시다.


무모순이라는 것은 쉽게 말해서 특별한 경우를 인정하지 않는 일반화를 의미합니다.


예를 들어 '모든 변화는 연속이다'의 공리의 경우 '모든' 이란 단어가 들어갔기 때문에 일반화가 되었다는 것이죠.


다시 말해서 '미시입자는 불연속으로 변화하고 거시입자는 연속으로 변화한다' 라는 전제는 모순적이지만


위의 "모든'이 들어간 경우는 모순적이지 않고 일반화된 무모순의 명제라는 것입니다.


따라서 상대론의 공리가 '모든 변화는 연속이다' 라면 불연속으로 변화하는 '참인 현상'이 있을 경우 그것을 증명(설명)할 수 없다는 것이죠.



다음은 '무모순적인 공리계는 스스로의 무모순성을 증명할 수 없다는 정리다.' 를 이해해 봅시다.


제 설명을 이해하신 분들은 모순성이라는 것은 기준에 따라 달라지는 상대성이라고 이해할 수 있을 겁니다.


결국 무모순성이란 무상대성이며 즉, 무모순적 공리계는 스스로 상대성이 없다는 것을 증명할 수 없다는 의미가 됩니다.


그런데 전에 설명했듯이 '모든 (입자성을 가진 것들의) 변화는 연속이다' 란 공리를 가진 상대론의 경우 시간의 상대성(모순성)이 있었고


'모든 (입자성을 가진 것들의) 변화는 불연속이다'라는 공리를 가진 경우 질량의 상대성이란 모순성이 생기게 됩니다.


따라서 인간이 무모순적 공리계라 생각하는 공리계는 모순성이 없다는 것을 증명할 수 없고 오히려 모순성이 있다는 겁니다.


수학적인 예를 들자면 수학의 경우 어떤 점을 좌표의 기준으로 삼느냐에 다른 좌표들의 값도 달라지는 것을 들 수 있겠죠.


결국 어떤 공리계가 무모순적으로 일반화 될 경우 괴델의 정리가 옳다는 겁니다.




* 본인이 생각을 아래의 보기에서 한번 골라봅시다(만약 자신의 생각이 학계에 없는 것이라면 관련해서 논문을 써보세요.).



1. 입자와 질량체의 변화는 연속인가 불연속인가?


① 미시(입자)는 불연속이고 거시는 연속이다.

② 미시와 거시 둘 다 연속이다.

③ 미시와 거시 둘 다 불연속이다.

④ 미시는 연속, 거시는 불연속이다.

⑤ 미시와 거시는 연속일 때도 있고 불연속일 때도 있다.



2. 빛이 절대속도라면 그 이유는 무엇일까?


① 자연이 그냥 그런거니 알 수 없거나 알 필요없다.

② 변화가 연속이라도 빛은 절대속도 일 수 있다(그렇다면 당신은 그 이유를 설명할 수 있는가?)

③ 모든 입자와 질량체의 변화가 불연속이라면 빛은 절대속도이다.

④ 광속이 절대속도가 아니라고 생각한다. 또는 상대속도라고 생각한다.

⑤ 광속은 때에 따라 절대속도 일수도 상대속도 일수도 있다고 생각한다.

⑥ 변화의 연속, 불연속과 빛의 절대속도는 상관이 없다.



3. 상대론은 '질량이 절대적일 때 시간이 상대적이다.'라는 명제가 존재하는 이론입니다.

그럼 그 대우도 참이며 '시간이 절대적일 경우 질량이 상대적이다.'란 명제도 참이 됩니다.

그럼 시간이 절대적이게 되려면 어떻게 되어야 할까요?(복수선택 가능)


① 변화가 연속이어야 한다.

② 변화가 불연속이어야 한다.

③ 변화가 어떻든 시간의 절대성과는 상관이 없다.

④ 확실한 건 결국 질문의 두 명제 중 하나만 맞고 상대론의 명제만 맞을 것 같다.

⑤ 확실한 건 결국 질문의 두 명제 중 하나만 맞고 두번째 명제만 맞을 것 같다.

⑥ 두 명제 모두 이론적으로 맞지만 하나만 현상적으로 옳다.



4. 상대론과 양자역학은 각각 옳은 이론이라 생각하는가? 아니면 어느 한쪽이 다른 이론을 설명할 수 있는 이론이라 생각하는가?


① 상대론이 양자역학을 포함할 것이라 본다.

② 양자역학이 상대론을 포함할 것이라 본다.

③ 둘 다 틀렸고 제 3의 이론이 있을거라 본다.

④ 거시는 상대론 미시는 양자역학으로 각각 옳다.



5. 3번의 질문이 틀렸다면 현재의 물리학은 질량과 시간의 관계에 대해서 어떻게 설명하는가?


① 질량도 시간도 모두 절대적이다.

② 질량도 시간도 모두 상대적이다.

③ 질량은 절대적 시간은 상대적이다.

④ 질량은 상대적 시간은 절대적이다.

⑤ 질량과 시간은 딱히 관계가 없다.



6. 뉴턴의 이론은 상대론이 나온 후에도 여전히 이론적으로 옳은가?


① 이론적으로 틀렸다.

② 이론적으로는 여전히 옳지만 현상적으로는 틀렸다.

③ 이론적으로 좀 더 보완할 필요가 있을 뿐 여전히 옳다.

④ 이론적으로도 현상적으로도 틀렸다.





추천 비추천

0

고정닉 0

7

댓글 영역

전체 댓글 0
본문 보기

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

갤러리 리스트
번호 제목 글쓴이 작성일 조회 추천
설문 반응이 재밌어서 자꾸만 놀리고 싶은 리액션 좋은 스타는? 운영자 25/07/28 - -
194142 그러니까 웜홀 어쩌고 별 소리가 다나오는거지 요운갤로그로 이동합니다. 06.24 64 0
194141 양자얽힘의 철학적 문제는 정보전달이랑 하등 무관함 요운갤로그로 이동합니다. 06.24 76 2
194140 상태벡터 없이 양자얽힘을 설명하려는게 잘못임 요운갤로그로 이동합니다. 06.24 72 1
194139 저 븅신새끼는 왜 굳이 로갓을 쳐하는걸까 요운갤로그로 이동합니다. 06.24 79 1
194138 도로롱 공습 ㅇㅇ(220.122) 06.24 59 0
194137 말다세나 강의 아동용 영상으로 되어있는거 개웃기네 요운갤로그로 이동합니다. 06.24 80 0
194135 부기우에 돌 던지는 것들보면 [1] 물갤러(115.138) 06.24 97 1
194134 나는 쉽게 영향받는 사람이라 부기우처럼 물갤러(115.138) 06.24 68 0
194132 낼아침 피타고라스정리 무한차원연장 올려주마! 존맛탱(112.172) 06.24 103 1
194131 개씹하다애미뒤진새끼가 왜자꾸 시비를거냐 존맛탱(112.172) 06.24 108 3
194130 infinite dim manifold에서 tangent space [2] 요운갤로그로 이동합니다. 06.24 111 1
194127 물리학자분들이 자주 쓰는 비번이 있음? [3] 물갤러(180.67) 06.24 109 0
194126 무한차원 피타고라스의 정리도 모르는 새끼들이 [18] 존맛탱(112.172) 06.23 244 4
194125 장의 개념이 당연한 이유 [1] 부기우갤로그로 이동합니다. 06.23 114 0
194124 (질문)만약에 인간이 나중에 아주 잘 다루게 되는 에너지가 있다치면 [9] ㅇㅇ(112.164) 06.23 124 0
194123 상대성이론이 개구라인 이유 ㅋㅋ 물갤러(118.221) 06.23 73 0
194122 나 샤대생임 [1] ㅇㅇ(58.140) 06.23 64 2
194121 부기우는 바보 [3] ㅇㅇ(220.122) 06.23 244 2
194120 0.999... = 1 은 틀렸다 ㅇㅇ갤로그로 이동합니다. 06.23 100 0
194119 인터넷 커뮤니티 유튜브 댓글을 안쓰는 이유 [1] 물갤러(14.7) 06.23 93 0
194118 물리하는 여자 ㅇㅇ(118.235) 06.23 83 0
194117 지평론자 형제님들을 대상으로 한 설문조사 물갤러(119.202) 06.23 63 0
194115 물1 완자도 못 풀면 멍청한거죠 [1] 물갤러(210.100) 06.22 93 0
194114 질량의 상대성과 질량=에너지=공간의 등가원리 [1] 부기우갤로그로 이동합니다. 06.22 91 0
194113 이거 설명 가능하신분 ㅠ [3] 물갤러(121.144) 06.22 150 0
194112 유튜브 보다가 신박한 소리 봐서 물어보러 옴 [23] 물갤러(211.235) 06.22 305 0
194111 광자가 범인이었노 [2] 물갤러(211.176) 06.22 103 0
194110 부기우이론아 싫으면 집합론을 배워 물갤러(115.138) 06.22 81 0
194109 부기우이론에 관심을 가져봐 [1] 물갤러(115.138) 06.22 117 0
194108 외계에서 왔다고 하면 물갤러(115.138) 06.22 55 0
194107 조선인도 탈북인도 아니다 교포도 아니다 [1] 물갤러(115.138) 06.22 88 2
194106 관성모멘트, 회전질문 [3] 물갤러(210.101) 06.21 131 0
194105 상대론 공리에 존재하는 모순 [5] 부기우갤로그로 이동합니다. 06.21 149 2
194104 시간 팽창에 관한 새로운 발견 [34] 물리기초(211.224) 06.21 213 0
194103 빛의 도플러 효과 [7] 물리기초(211.224) 06.21 121 0
194102 부기우바보 ㅇㅇ(220.122) 06.21 55 2
194101 하이탑으로 물1 물2하고 공대 가면 편함? [2] 물갤러(211.36) 06.21 106 0
194100 스펙트럼 편이 [4] 물리기초(211.224) 06.21 87 0
194099 일본에선 어지간한거 일본어로 할 수 있는게 부럽 [2] 요운갤로그로 이동합니다. 06.21 119 0
194098 부기우이론을 그저 엉텅이로 치부하는건 [8] 물갤러(115.138) 06.21 148 0
194097 지구평평론은 무한차원 피타고라스정리에서 시작된다! [4] 존맛탱(112.172) 06.20 122 6
194096 불확정성원리에 대해서 부기우갤로그로 이동합니다. 06.20 89 0
194095 고1 충격량 문제 질문좀 드립니다. [1] 물갤러(175.127) 06.20 100 0
194094 빛의 속도에 가깝게 가기 궁금해서 질문 [12] ㅇㅇ(121.159) 06.20 194 0
194093 Sphere Theory(구 이론): 끈이론을 넘어, 양자중력으로 가는길 D의의지(121.154) 06.20 141 2
194092 착각하는데 과학 이론은 연역구조야 [2] 물갤러(115.138) 06.20 141 0
194091 근거 없는 믿음은 의심을 해봐야 합니다. [51] 부기우갤로그로 이동합니다. 06.19 185 0
194090 나 샤대생임 [2] ㅇㅇ(58.140) 06.19 123 1
194089 물리학과갤러리는 뭐노 ㅇㅇ갤로그로 이동합니다. 06.19 75 0
194088 이스라엘 이란전 보면 물리학 필요한 이유 물리기초(211.224) 06.19 74 0
뉴스 47세 전현무, 13살 어린 여배우와 ‘포착’…“나이차 얼마안나” 디시트렌드 08.02
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2