Computability Theory

1400만 조회수를 기록한 영상! 거짓이라는 것이 모두 다 증명 될 수는 없습니다. 이 사실은 무한대를 재조명하였고, 세계 대전을 단축 시켰고, 현대 컴퓨터의 발명으로 이어졌습니다. 학창 시절 때 대체 수학이 어디에 쓸모 있을지 의구심을 가졌던 기억이 납니다. 수학계의 여러 이야기들을 통해 수학적 여러 시도들이 여러분이 이 영상을 보고 계시는 컴퓨터와 핸드폰으로 발전하는 기나긴 여정을 함께 보시죠. 영상을 보시고도 잘 모르시겠다고요? 정상입니다. 우리는 모르거든요! 4k 영상을 지원합니다. ** 책도 다른 모든 물건들처럼 떨어진다는 사실을 B가 A의 부분 집합이라 한 부분은 실수입니다. B를 같이 떨어진 종이처럼 생각해주세요... 출연 : 힐베르트, 괴델, 파인만, 폰 노이만, 앙리 푸앵카레 등등 희대의 천재들... #영상봐도이해못하면 #개추 #일단나부터 Game of life = '라이프 게임' 으로 해석하는게 더 자연스러운 것 같습니다. 오역수정 10:04 - "따라서 면도사는 스스로 면도를 할수 없지만 남자이기 때문에 면도를 해야하는 모순에 빠지게 됩니다" (수정) "마을에 사는 면도사가 스스로 면도하지 않는 '모든' 남자를 면도해야 하는데 면도사는 자신을 면도할 수 없기 때문에 모순에 빠지게 됩니다." 로 생각하시는게 맞습니다. 10:17 - “힐베르트 학교 출신 수학자 체르멜로(Zermelo) 와” (수정) 힐베르트 '학파' 출신 수학자 체르멜로 (Zermelo) 와” 18:30 - “이 공리는 x 대신 0을 넣어 1과 0은 같지 않다는 가장 간단한 증명을 통해서 증명할 수 있습니다.” (수정) 이 공리는 x에 0을 대입하면, “1과 0은 같지 않다”는 명제의 증명이 완성됩니다 자막수정 12:46 - (수정)princi'p'ia Mathmatica 31:41 - (수정)기반을 다졌죠 Special thanks to Prof. Asaf Karagila for consultation on set theory and specific rewrites, to Prof. Alex Kontorovich for reviews of earlier drafts, Prof. Toby ‘Qubit’ Cubitt for the help with the spectral gap, to Henry Reich for the helpful feedback and comments on the video. ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ 참조 논문 Dunham, W. (2013, July). A Note on the Origin of the Twin Prime Conjecture. In Notices of the International Congress of Chinese Mathematicians (Vol. 1, No. 1, pp. 63-65). International Press of Boston. — https://ve42.co/Dunham2013 Conway, J. (1970). The game of life. Scientific American, 223(4), 4. — https://ve42.co/Conway1970 Churchill, A., Biderman, S., Herrick, A. (2019). Magic: The Gathering is Turing Complete. ArXiv. — https://ve42.co/Churchill2019 Gaifman, H. (2006). Naming and Diagonalization, from Cantor to Godel to Kleene. Logic Journal of the IGPL, 14(5), 709-728. — https://ve42.co/Gaifman2006 Lénárt, I. (2010). Gauss, Bolyai, Lobachevsky–in General Education?(Hyperbolic Geometry as Part of the Mathematics Curriculum). In Proceedings of Bridges 2010: Mathematics, Music, Art, Architecture, Culture (pp. 223-230). Tessellations Publishing. — https://ve42.co/Lnrt2010 Attribution of Poincare’s quote, The Mathematical Intelligencer, vol. 13, no. 1, Winter 1991. — https://ve42.co/Poincare Irvine, A. D., & Deutsch, H. (1995). Russell’s paradox. — https://ve42.co/Irvine1995 Gödel, K. (1992). On formally undecidable propositions of Principia Mathematica and related systems. Courier Corporation. — https://ve42.co/Godel1931 Russell, B., & Whitehead, A. (1973). Principia Mathematica [PM], vol I, 1910, vol. II, 1912, vol III, 1913, vol. I, 1925, vol II & III, 1927, Paperback Edition to* 56. Cambridge UP. — https://ve42.co/Russel1910 Gödel, K. (1986). Kurt Gödel: Collected Works: Volume I: Publications 1929-1936 (Vol. 1). Oxford University Press, USA. — https://ve42.co/Godel1986 Cubitt, T. S., Perez-Garcia, D., & Wolf, M. M. (2015). Undecidability of the spectral gap. Nature, 528(7581), 207-211. — https://ve42.co/Cubitt2015 ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ Written by Derek Muller, Adam Becker and Jonny Hyman Animation by Fabio Albertelli, Jakub Misiek, Iván Tello and Jonny Hyman Math City Animation by Another Angle 3D Visuals (www.anotherangle.ee) Filmed by Derek Muller and Raquel Nuno Edited by Derek Muller Music and SFX by Jonny Hyman Additional Music from Epidemic Sound Additional video supplied by Getty Images Thumbnail by Geoff Barrett Associate Producers: Petr Lebedev and Emily Zhang Dubbed by Mingi Kwon Additional Edited by Jaehyuk Jung Translated by Yuna lee ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ 원본 영상 : https://www.youtube.com/watch?v=HeQX2HjkcNo 채널 : https://www.youtube.com/channel/UCHnyfMqiRRG1u-2MsSQLbXA