87,760 views
📢 Comment Event Leave a comment with your “Thoughts after watching” or “Things you want to know about mathematicians” (ex. Calculus, Euclid’s axioms, etc.)! We will give away Professor Sang-Hyeon Kim’s books through a raffle. ✅ Participation Period: January 4 (Sat) ~ January 9 (Thu) ✅ Winner Announcement: January 10 (Fri) Check fixed comments! 【Hobby is Science】 The first mathematician has appeared! But the mathematician’s first question, “Is 1+1 really 2?” From the rigorous proof of 1+1=2 that was never doubted, to Cantor, Hilbert, and Gödel’s ‘incompleteness theorem’ that challenged the existing mathematical system! Along with the eventful stories of mathematicians, we will look into the roots and system of mathematics. ▶ Rewatch https://home.ebs.co.kr/ebsscience/main *You can also search for Hobby is Science on Wave, Tving, Watcha, and Apple TV. ▶ Documentaries worth watching together EBS 【Numbers - Part 2 Ladder to Heaven, Infinity】 EBS 【Civilization and Mathematics - Part 2 Principles】 EBS 【Philosophy - Part 2 Conditions of the Mind】 📌 Timeline 00:00 Start 04:59 1+1 is not always 2 06:16 Axioms of mathematics and Euclid 09:22 The crack in mathematics caused by 'Cantor's Infinity' 10:29 How to compare the size of infinity, one-to-one correspondence 13:38 [Unreleased] Does mathematics exist? (feat. Plato) 14:30 How to correspond line segments one-to-one 16:13 The principle of explosion! What if there is a contradiction in mathematics? 19:36 Intuitionists who criticized Cantor 21:49 Hilbert, Cantor's ardent supporter 24:06 Hilbert's second problem 25:10 Formalists who believed only in symbols and proofs 27:23 [Unreleased] Why do formalists use symbols? 27:55 1+1=3 may be true 32:13 What is Gödel's incompleteness theorem? 34:09 Incompleteness theorem, how did Gödel prove it? 40:13 Gödel's influence on Alan Turing 42:12 Gödel, who received the highest praise from mathematicians ever 45:10 Next story #Hobbyisscience #Sciencetalk #Sciencetalkshow #Science #Defcon #LeeDaeHan #Star #KimSangHyun #Mathematics #Gödel #Incompletenesstheorem #One-to-one correspondence #Hilbert #Euclid #Axiom #Cantor #Infinity #Historyofmathematics