Math Encounters: "You Want Proof? I'll Give You Proof! ...Euclid to Lean" Jeremy Avigad Nov 6 2024

แชร์
ฝัง
  • เผยแพร่เมื่อ 14 ม.ค. 2025

ความคิดเห็น • 1

  • @pwnbk
    @pwnbk 22 นาทีที่ผ่านมา

    Awesome 🎉❤

ต่อไป
เล่นอัตโนมัติ
How a Blind Mathematician Became the World's Greatest16:31How a Blind Mathematician Became the World's Greatest
How a Blind Mathematician Became the World's GreatestNewsthink
มุมมอง 140K
The Foundation of Mathematics - Numberphile15:11The Foundation of Mathematics - Numberphile
The Foundation of Mathematics - NumberphileNumberphile2
มุมมอง 112K
Trump Goes A-Conquerin' || Peter Zeihan13:26Trump Goes A-Conquerin' || Peter Zeihan
Trump Goes A-Conquerin' || Peter ZeihanZeihan on Geopolitics
มุมมอง 260K
🎄✨ Puff is saving Christmas again with his incredible baking skills! #PuffTheBaker #thatlittlepuff00:42🎄✨ Puff is saving Christmas again with his incredible baking skills! #PuffTheBaker #thatlittlepuff
🎄✨ Puff is saving Christmas again with his incredible baking skills! #PuffTheBaker #thatlittlepuffThat Little Puff
มุมมอง 21M
คริสต์มาสมรณะ | Who Are You EP.7 ( Edwin )1:12:27คริสต์มาสมรณะ | Who Are You EP.7 ( Edwin )
คริสต์มาสมรณะ | Who Are You EP.7 ( Edwin )Ananped
มุมมอง 1.2M
#WOWxดราม่าคอมเม้นแฟนบอลอาเซียน ตะลึง!! แห่ชื่นชมสปิริตทีมชาติไทย หลังเกมส์พลิกชนะสิงคโปร์ 4-210:34#WOWxดราม่าคอมเม้นแฟนบอลอาเซียน ตะลึง!! แห่ชื่นชมสปิริตทีมชาติไทย หลังเกมส์พลิกชนะสิงคโปร์ 4-2
#WOWxดราม่าคอมเม้นแฟนบอลอาเซียน ตะลึง!! แห่ชื่นชมสปิริตทีมชาติไทย หลังเกมส์พลิกชนะสิงคโปร์ 4-2# จัน ฑาล
มุมมอง 201K
หมวกกันน็อค - TaitosmitH |Official MV|04:38หมวกกันน็อค - TaitosmitH |Official MV|
หมวกกันน็อค - TaitosmitH |Official MV|GeneLab
มุมมอง 309K
Limits of Logic: The Gödel Legacy58:16Limits of Logic: The Gödel Legacy
Limits of Logic: The Gödel LegacyThe Flame of Reason
มุมมอง 209K
Nissan Is Fighting To Survive But Its Future Looks Grim15:04Nissan Is Fighting To Survive But Its Future Looks Grim
Nissan Is Fighting To Survive But Its Future Looks GrimCNBC
มุมมอง 707K
Elon Musk’s Move Into Politics: Yanis Varoufakis and Cory Doctorow on Fighting Billionaire Control1:14:02Elon Musk’s Move Into Politics: Yanis Varoufakis and Cory Doctorow on Fighting Billionaire Control
Elon Musk’s Move Into Politics: Yanis Varoufakis and Cory Doctorow on Fighting Billionaire ControlDiEM25
มุมมอง 153K
Стыдные вопросы про Китай / вДудь3:07:50Стыдные вопросы про Китай / вДудь
Стыдные вопросы про Китай / вДудьвДудь
มุมมอง 4.9M
When Computers Write Proofs, What's the Point of Mathematicians?6:34When Computers Write Proofs, What's the Point of Mathematicians?
When Computers Write Proofs, What's the Point of Mathematicians?Quanta Magazine
มุมมอง 419K
A new way to understand quantum - with Bob Coecke1:21:37A new way to understand quantum - with Bob Coecke
A new way to understand quantum - with Bob CoeckeThe Royal Institution
มุมมอง 57K
Riemann Hypothesis - Numberphile17:03Riemann Hypothesis - Numberphile
Riemann Hypothesis - NumberphileNumberphile
มุมมอง 6M
Peering Forward - C++’s Next Decade - Herb Sutter - CppCon 20241:36:30Peering Forward - C++’s Next Decade - Herb Sutter - CppCon 2024
Peering Forward - C++’s Next Decade - Herb Sutter - CppCon 2024CppCon
มุมมอง 46K
believe in the math, not wolframalpha14:50believe in the math, not wolframalpha
believe in the math, not wolframalphablackpenredpen
มุมมอง 1.1M
🔴LIVE โหนกระแส บาร์โฮสสะเทือน!!! "สุนิสา" อาละวาดไล่หลอกเงิน1:50:02🔴LIVE โหนกระแส บาร์โฮสสะเทือน!!! "สุนิสา" อาละวาดไล่หลอกเงิน
🔴LIVE โหนกระแส บาร์โฮสสะเทือน!!! "สุนิสา" อาละวาดไล่หลอกเงินโหนกระแส [Hone-Krasae] official
มุมมอง 1.1M
Highlight | อัจฉริยะสาวไส้...เบื้องลึกเหตุยิง "สจ.โต้งปราจีนบุรี" | เปิดโต๊ะข่าว | 17 ธ.ค.6714:51Highlight | อัจฉริยะสาวไส้...เบื้องลึกเหตุยิง "สจ.โต้งปราจีนบุรี" | เปิดโต๊ะข่าว | 17 ธ.ค.67
Highlight | อัจฉริยะสาวไส้...เบื้องลึกเหตุยิง "สจ.โต้งปราจีนบุรี" | เปิดโต๊ะข่าว | 17 ธ.ค.67PPTV HD 36
มุมมอง 390K
ใครคือฆาตกรตัวจริง ?! EP.11 (ver. คืนคริสมาสต์ สุดสยอง !!!39:39ใครคือฆาตกรตัวจริง ?! EP.11 (ver. คืนคริสมาสต์ สุดสยอง !!!
ใครคือฆาตกรตัวจริง ?! EP.11 (ver. คืนคริสมาสต์ สุดสยอง !!!Sunflowava
มุมมอง 307K
ผู้หญิงแต่งงานกับขอทาน แต่กลับถูกดูหมิ่น ในที่สุดชายขเทานก็เผยตัวตย#ละครหวานๆ#ชอบ2:00:01ผู้หญิงแต่งงานกับขอทาน แต่กลับถูกดูหมิ่น ในที่สุดชายขเทานก็เผยตัวตย#ละครหวานๆ#ชอบ
ผู้หญิงแต่งงานกับขอทาน แต่กลับถูกดูหมิ่น ในที่สุดชายขเทานก็เผยตัวตย#ละครหวานๆ#ชอบChaiyo sweet TV
มุมมอง 304K
Cat mode activated 🤣00:11Cat mode activated 🤣
Cat mode activated 🤣Kotiki_Z
มุมมอง 2.1M
Nec Red Rockets Kawasaki vs. LP Bank Ninh Binh - Pool B | Highlights | Club World Champs 202410:01Nec Red Rockets Kawasaki vs. LP Bank Ninh Binh - Pool B | Highlights | Club World Champs 2024
Nec Red Rockets Kawasaki vs. LP Bank Ninh Binh - Pool B | Highlights | Club World Champs 2024Volleyball World
มุมมอง 184K
#นายกแพทองธาร ลงพื้นที่มอบถุงยังชีพ บริเวณ ซ.พัฒนาการคูขวาง ๑๐ (ถ.ท่าโพธิ์) จ.นครศรีธรรมราช21:52#นายกแพทองธาร ลงพื้นที่มอบถุงยังชีพ บริเวณ ซ.พัฒนาการคูขวาง ๑๐ (ถ.ท่าโพธิ์) จ.นครศรีธรรมราช
#นายกแพทองธาร ลงพื้นที่มอบถุงยังชีพ บริเวณ ซ.พัฒนาการคูขวาง ๑๐ (ถ.ท่าโพธิ์) จ.นครศรีธรรมราชVOICE TV
มุมมอง 119K
🔴Live : สิงคโปร์ พบ ไทย #MATCHDAY รวมพลัง #เชียร์ไทยให้กึกก้อง2:55:14🔴Live : สิงคโปร์ พบ ไทย #MATCHDAY รวมพลัง #เชียร์ไทยให้กึกก้อง
🔴Live : สิงคโปร์ พบ ไทย #MATCHDAY รวมพลัง #เชียร์ไทยให้กึกก้องTHAIRATH TV Originals
มุมมอง 1.3M