과학

스압)어려움주의) 자연수가 많을까? 유리수가 많을까? 2부

Georgy_Voronoy.jpg


시민: 아 그.....  자연수보다 개수가 많고, 실수보다 개수가 적은 집합은 존재하나요??




J.J_Thomson.jpg


수학자: 에이 ㅎㅎ  이정도 천재이신분이 설마 그것도 모르실까봐?  님 있어요 없어요??




다운로드 (2).jpg


칸토어: 어....그게....음..... 찾고 있긴 한데......




Georgy_Voronoy.jpg



시민: 아 뭐에요 있어요 없어요




J.J_Thomson.jpg


수학자: 빨리 대수학자님, 대답해주세요 ㅎㅎ  있나요 없나요? 네?





Leopold_Kronecker_1865.jpg



크로네커: 저 이단새끼 저거 또 대답 못할 줄 알았다 ㅉㅉ






Georgy_Voronoy.jpg


시민: 누구세요





J.J_Thomson.jpg


수학자: 헐?  저명한 수학자 크로네커님 아니세요? 우와 ㅎㅎ





Leopold_Kronecker_1865.jpg


크로네커: 야 저새끼 말 듣지마. 저새끼가 하는 소리 싹다 개소리야






J.J_Thomson.jpg



수학자: ?? 왜요





Leopold_Kronecker_1865.jpg



크로네커: 아니 ㅅㅂ 딱 들어도 궤변이잖아. 무슨 거창한 수식쓰는것도 아니고

 주먹구구식으로 막 그림그려서 이어붙히더니, 뭐? 정수랑 자연수랑 개수가 같다고?

씨발 뒤질래 진짜? 아오  한대 맞으려고




다운로드 (2).jpg



칸토어: 아니 님 ;;  진정하시고 





Leopold_Kronecker_1865.jpg


크로네커: 야!!!!!!  정수는 말야 응? 자비로운 신의 창조물이야!!  응? 근데 뭐?

무슨 무한의 세계에서는 이야기가 다르다고?

무한번 쳐맞아 볼래 씨발 진짜?





Georgy_Voronoy.jpg


시민:  아니 아무리 그래도 그렇지 막 몰아 붙히시는건 좀....





Leopold_Kronecker_1865.jpg


크로네커: 네다문 






Georgy_Voronoy.jpg


시민: ㅠㅠㅠ





J.J_Thomson.jpg


수학자: 아 아무튼 모르겠고  자연수보다 많고 실수보다 적은 집합이 있어요 없어요? 네?  님 대답좀 빨리






다운로드 (2).jpg



칸토어: 어흑흑흑 ㅠㅠ  다들  너무해 ㅠㅠ (사망)







당시 무한의 영역은 신의 영역으로만 여겨졌다.

칸토어는 사실상 신의 영역을 건드린 셈이였고

그 때문에 기성수학자들의 어마어마한 공격이 쏟아졌다.

심지어 그의 스승이였던 크로네커 마저도 그의 공격에 앞장섰다.

특히 유신론자였던 칸토어에게 '신성모독'이란 딱지는 견딜 수 없는 치욕이였다. 

그렇게 공격을 받고 심리적으로 쇠약해진 칸토어는

위에 나온 문제, 자연수보다 많고 실수보다 적은 집합이 존재하는가, 

이른바 연속체 가설 풀이에 너무 몰두한 나머지

정신병자가 되어  1918년 할레의 한 정신병원에서 쓸쓸히 숨을 거둔다.

그러나 여러 수학적 논쟁끝에 칸토어의 이론은 정설이 되고 그가 풀지 못한

연속체 가설은 후대 수학자들이 이어받아 연구하게 된다.





다운로드 (4).jpg



괴델: 올해 25살인 물리학 박사 쿠르트 괴델입니다 ㅎㅎ  제가 불완정성 정리라는걸 개발했는데 한번 봐주십쇼 ㅎㅎ




russell.jpg


수학자:??  그게 뭔데





다운로드 (4).jpg




괴델: 아 ㅎㅎ 수학에는 참일수도 있고, 거짓일수도 있는 명제가 있다는 정리입니다!  그리고 그 연속체 가설이

여기에 해당하는것 같은데요??






russell.jpg


수학자: ????? 헐 ㅅㅂ, 잠깐 너 전공이 뭐라고??







다운로드 (4).jpg


괴델: 아 ㅎㅎ  물리학 전공입니다.  그냥 취미로 수학 공부하다가 어쩌다보니 알아냈네요 ㅎㅎ 

한번 시간남을때 연속체가설도 풀어볼게요!







russell.jpg


수학자: ????????






9년뒤


다운로드 (4).jpg


괴델: 증명하긴 했는데 좀 애매하네용





russell.jpg


수학자: 뭔데???






다운로드 (4).jpg


괴델: 아 그게 참이라도 가정해도 모순이 없다! 일단 이정도 증명해 봤습니다!





russell.jpg


수학자: 그럼 거짓이라 가정하면??






다운로드 (4).jpg



괴델:  아직 증명 안해봤는데요. 






다운로드 (4).jpg


괴델: 근데 제 생각엔 제가 증명한 '불완정성 정리'에 해당하는 가설이 바로 연속체 가설인것 같습니다.

그게 맞다면 거짓이라 가정해도 모순이 없을거에요





russell.jpg


수학자: 그럼 참이여도 상관없고, 거짓이여도 상관없다? 뭐 이런 얘기?




다운로드 (4).jpg


괴델: 네 ㅎㅎ . 쪼큼 이상하긴 하네요 ㅎㅎ  뭐 간보는것도 아니고




russell.jpg


수학자: 아니.... 수학에 그런게 어딨어...... 말도 안돼...





23년후


다운로드 (5).jpg


폴코언: 제가 마저 증명해봤는데 거짓이라도 가정해도 모순 없습니다!





다운로드 (5).jpg


폴코언: 결론!  연속체가설은 참이여도 상관없고 거짓이여도 상관없다!





russell.jpg




수학자: 아니 이게 무슨 소리야 ㅠㅠㅠ  





연속체가설의 기묘한 결론은 당시 완벽을 추구하던 수학계의 이상을 무너트리고 만다.


어쨌든 칸토어가 도전한 '무한의 영역'은

이제 '신의영역'이 아닌 '인간의 영역' 이 되었다.

그렇게 그가 창시한 집합론은 현대수학의 뿌리가 되었고

현대수학은 칸토어가 기초를 다졌다고 해도 과언이 아니다.

현대의 가장 위대한 수학자로 꼽히는 힐베르트는 그를 이렇게 예찬했다.




다운로드 (6).jpg


힐베르트: 칸토어가 만든 낙원에서 우리를 쫒아낼 사람은 아무도 없을겁니다 어흑흑 ㅠㅠ





다운로드 (7).jpg


수학자: 맞습니다 어흑흑 ㅠㅠ 칸토어 센세 그립습니다 ㅠㅠ




Georgy_Voronoy.jpg


시민:??????




Georgy_Voronoy.jpg



시민: 낙원이 아니라 그냥 헬지옥 같은데......








georg-cantor.jpg




수학의 본질은 그 자유로움에 있다

-게오로그 칸토어 (1845 3.3. ~ 1918 1.6)-






(쉽게 풀어쓰느랴 비전문적인 내용이 가미되거나 엄밀한 사실이 곡해되었을수도 있습니다. 양해바랍니다)



25개의 댓글

2018.03.17
재밋다 이가밀고 딴거도 쓸예정있남??
0
2018.03.17
@해머가져와
다음에는 수학말고 다른걸 써볼 예정
0
2018.03.17
이걸 보고 잠이 ㅇ,ㅡㅡ트ㅡ프ㅡ.♡ㅕㅓㅓ
0
2018.03.17
거짓말쟁이 문장같은거네
0
이로서 이과생들은 자신의 뇌를 구워 삶는 '난제'라는 고통을 자진해서 즐기는, 중증 매저키스트 집단임이 명백히 드러났다!!
슬라네쉬의 카오스에 물든 이단은 황제의 이름 아래 불로 정화해야 할 것이다!!
For The Emperor!!
0
2018.03.17
@바라트 성계 자치령
0
@긔요미티모
히익 티모충 더러워
0
2018.03.17
재밌다!!
0
2018.03.17
재밌다!!
0
2018.03.17
진짜 재밌네요
0
2018.03.18
뭔소리야 ㅅㅂ ㅠㅠ
0
2018.03.18
수학 교과서가 이랬으면 난 걍 이과로 빠져서 수학과 갔다..문송문송 ㅠㅠ
0
2018.03.19
재밌음! 전문지식은 간단하게 설명을 넣어주셔도 좋을듯 ㅠ
0
2018.03.19
저게 그 있었는데요... 없었습니다...

같은거??
0
2018.03.19
재밌다 ㅋㅋ
내 이해력이 딸려서 그러는데 실수보다 작고 자연수보다 큰 집합이 존재한다 가 연속체 가설이야? 이러한 연속체 가설이랑 불완정성 원리랑 같다는 거지?
0
2018.03.20
@Moonde
ㅇㅇ 앞은 맞음.
그리고 뒤는 조금 더 엄밀하게 말하자면
불완정성 정리는 수학에서 특정 공리계 내에서 증명이 불가능한 명제가 존재한다 는
내용을 포함하고 있음.
연속체가설이 그 명제중 하나임.
증명이 불가능하다는게 어려워서 불가능하다는 개념이 아니라 아예 불가능하단 뜻임.
결국 참이라도 해도 문제없고 거짓이라도 해도 문제없음.
연속체가설이 불완전성 정리랑 같은게 아니라
불완전성 정리에 나오는 명제에 부합하는 명제가 바로 연속체가설임
0
2018.03.20
@Moonde
ㅇㅎ 설명 고마움 ㅋㅋ
무슨말인지는 알겠는데 상식적으로 이해가진 않는다 ㅋㅋㅋ
0
괴델 물리학 박사 아닌거가튼대
0
2018.03.20
@김숙희박은희조아영
빈 대학에 이론물리학 전공으로 입학함

확실히 물리학으로 박사학위를 땄는지 까지는 모르겠네

석박사 따는것도 학부따라가지 않을까 싶어서

그렇게 적어봄
0
근데 실수보다크거나자연수보다작은 무한도 잇나여? 그동안 이런얘긴못들엇는데
0
2018.03.20
@김숙희박은희조아영
실수보다 큰 집합은 있음.
실수의 멱집합. 근데 이거 까지 다루면
완전 어려워질것같아서 걍 안넣음 ㅋㅋ
자연수보다 작은 무한은 없음
0
@엥거기완전
실수의멱집합보다 큰거는여
0
2018.03.22
@김숙희박은희조아영
실수의 멱집합의 멱집합
임의의 무한집합 A의 멱집합은
무조건 A보다 큰집합임
0
2018.03.20
수학만 보면 두드러기 나는데 치료되나요?흑흑..
0
2018.03.21
재밌다야 ㅎㅎ 잘만드네 진짜
0
무분별한 사용은 차단될 수 있습니다.
번호 제목 글쓴이 추천 수 날짜
563 [과학] 경계선 지능이 700만 있다는 기사들에 대해 36 LinkedList 9 5 일 전
562 [과학] 번역)새들은 왜 알을 많이 낳는가? - 후투티의 형제살해 습성... 7 리보솜 3 27 일 전
561 [과학] 학계와 AI, 그리고 Bitter Lesson (쓰라린 교훈) 26 elomn 35 2024.02.17
560 [과학] 지구의 속삭임, 골든 레코드의 우주 9 Archaea 10 2024.02.16
559 [과학] 잔혹한 과학실험 이야기 <1> 절망의 구덩이 19 개드립하면안됨 37 2024.02.15
558 [과학] 스트레스를 받으면 술이 땡기는 이유 12 동식 16 2024.02.10
557 [과학] 지능은 모계유전이 아니다. 40 울릉특별자치도 35 2024.01.26
556 [과학] 진화를 생각할 때 고려할 것들 23 날씨가나쁘잖아 12 2024.01.17
555 [과학] 학문적(과학적) 접근과 유사 진화심리"학" 26 날씨가나쁘잖아 19 2024.01.15
554 [과학] 호모 사피엔스의 야릇한 은폐된 배란에 대한 남녀 학자의 다... 14 개드립하면안됨 15 2023.12.29
553 [과학] 김영하의 작별인사를 읽고 느낀 점 (스포있음) 21 장문주의 2 2023.11.28
552 [과학] 제4회 포스텍 SF 어워드 공모전 ( SF 단편소설 / SF 미니픽션 ) 2 따스땅 1 2023.11.25
551 [과학] 펌) CRISPR 유전자 가위 치료제 "최초" 승인 12 리보솜 7 2023.11.25
550 [과학] 러시아는 기술산업을 어떻게 파괴시켰는가(펌) 9 세기노비는역사비... 15 2023.11.18
549 [과학] 고양이에 의한 섬생태계 교란과 생물 종의 절멸 (펌) 2 힘들힘들고 6 2023.11.16
548 [과학] 번역) 알츠하이머병 유전자는 어떻게 살아남았는가? 12 리보솜 10 2023.11.15
547 [과학] 『우영우』의 자폐 스펙트럼 장애 개념이 왜곡인 이유 (펌) 47 힘들힘들고 10 2023.11.12
546 [과학] 흑수저 문과충 출신 구글 취직하는 파이썬 특강 -1 14 지방흡입기 11 2023.09.27
545 [과학] 국가별 당뇨 유병율 이거 뭐가 바뀐건지 아는사람? 8 LAMBDA 1 2023.09.27
544 [과학] 물샤워 ㅇㅈㄹ 하는 놈들 봐라 171 철동이 48 2023.09.23