LftCM2020: Natural number game - Kevin Buzzard

แชร์
ฝัง
  • เผยแพร่เมื่อ 21 ก.ย. 2024
  • In this talk, Kevin Buzzard introduces the natural number game.
    Links:
    1) pdf slides: wwwf.imperial....
    2) Natural number game: wwwf.imperial....
    3) A tactic cheat sheet: github.com/kbu...

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

ต่อไป
เล่นอัตโนมัติ
LftCM2020: Mathematics in Lean introduction - Patrick Massot40:36LftCM2020: Mathematics in Lean introduction - Patrick Massot
LftCM2020: Mathematics in Lean introduction - Patrick Massotleanprover community
มุมมอง 4K
Harvard Professor Explains Algorithms in 5 Levels of Difficulty | WIRED25:47Harvard Professor Explains Algorithms in 5 Levels of Difficulty | WIRED
Harvard Professor Explains Algorithms in 5 Levels of Difficulty | WIREDWIRED
มุมมอง 2.9M
New Breakthrough on a 90-year-old Telephone Question28:45New Breakthrough on a 90-year-old Telephone Question
New Breakthrough on a 90-year-old Telephone QuestionEric Rowland
มุมมอง 108K
Time to test the speed. #cosplay #joker#Harriet Quinn00:26Time to test the speed. #cosplay #joker#Harriet Quinn
Time to test the speed. #cosplay #joker#Harriet Quinn佐助与鸣人
มุมมอง 4.2M
มหาเศรษฐีแต่งงานกับภรรยาคนสวย 5 ปี แต่เธอไม่เคยปล่อยเขาแตะต้องสักครั้ง3:17:35มหาเศรษฐีแต่งงานกับภรรยาคนสวย 5 ปี แต่เธอไม่เคยปล่อยเขาแตะต้องสักครั้ง
มหาเศรษฐีแต่งงานกับภรรยาคนสวย 5 ปี แต่เธอไม่เคยปล่อยเขาแตะต้องสักครั้งShop ละคร
มุมมอง 1.3M
วันเกิดเธอ (TO YOU) - PHUWIN [ OFFICIAL MV ]04:21วันเกิดเธอ (TO YOU) - PHUWIN [ OFFICIAL MV ]
วันเกิดเธอ (TO YOU) - PHUWIN [ OFFICIAL MV ]RISER MUSIC
มุมมอง 214K
Human Vs Car00:10Human Vs Car
Human Vs CarAustin Sprinz
มุมมอง 10M
How to win a argument9:28How to win a argument
How to win a argumentajaxkmr
มุมมอง 554K
The Test That Terence Tao Aced at Age 711:13The Test That Terence Tao Aced at Age 7
The Test That Terence Tao Aced at Age 7Tibees
มุมมอง 4.3M
Researchers thought this was a bug (Borwein integrals)17:26Researchers thought this was a bug (Borwein integrals)
Researchers thought this was a bug (Borwein integrals)3Blue1Brown
มุมมอง 3.5M
Calculus at a Fifth Grade Level19:06Calculus at a Fifth Grade Level
Calculus at a Fifth Grade LevelLukey B. The Physics G
มุมมอง 8M
Tesla’s 3-6-9 and Vortex Math: Is this really the key to the universe?29:59Tesla’s 3-6-9 and Vortex Math: Is this really the key to the universe?
Tesla’s 3-6-9 and Vortex Math: Is this really the key to the universe?Mathologer
มุมมอง 4M
Lean 4 formalization of 1964 International Mathematical Olympiad Problem 423:30Lean 4 formalization of 1964 International Mathematical Olympiad Problem 4
Lean 4 formalization of 1964 International Mathematical Olympiad Problem 4David Renshaw
มุมมอง 965
AI Learns to Run Faster than Usain Bolt | World Record10:22AI Learns to Run Faster than Usain Bolt | World Record
AI Learns to Run Faster than Usain Bolt | World Recordcozmouz
มุมมอง 851K
Computer Scientist Answers Computer Questions From Twitter14:27Computer Scientist Answers Computer Questions From Twitter
Computer Scientist Answers Computer Questions From TwitterWIRED
มุมมอง 1.9M
Inside Out 2: BABY JOY VS SHIN SONIC 300:19Inside Out 2: BABY JOY VS SHIN SONIC 3
Inside Out 2: BABY JOY VS SHIN SONIC 3AnythingAlexia
มุมมอง 2.4M
My husband is so good at living!# haircard sister00:16My husband is so good at living!# haircard sister
My husband is so good at living!# haircard sister发卡姐
มุมมอง 649K
ดรามา ! พา “ครูเบญ” ตรวจข้อสอบตัวเอง ไม่ให้ใช้มือถือ-ถ่ายคลิป | ข่าวเย็นประเด็นร้อน07:36ดรามา ! พา “ครูเบญ” ตรวจข้อสอบตัวเอง ไม่ให้ใช้มือถือ-ถ่ายคลิป | ข่าวเย็นประเด็นร้อน
ดรามา ! พา “ครูเบญ” ตรวจข้อสอบตัวเอง ไม่ให้ใช้มือถือ-ถ่ายคลิป | ข่าวเย็นประเด็นร้อนCh7HDNews
มุมมอง 373K
ไฮไลท์ฟุตซอลโลก 2024 รอบแบ่งกลุ่ม | ทีมชาติไทย พบ ทีมชาติบราซิล05:34ไฮไลท์ฟุตซอลโลก 2024 รอบแบ่งกลุ่ม | ทีมชาติไทย พบ ทีมชาติบราซิล
ไฮไลท์ฟุตซอลโลก 2024 รอบแบ่งกลุ่ม | ทีมชาติไทย พบ ทีมชาติบราซิลช้างศึก - ฟุตบอลทีมชาติไทย
มุมมอง 390K
เจ้าช่อมาลี - Mr.Team - Cover By TimeTime02:33เจ้าช่อมาลี - Mr.Team - Cover By TimeTime
เจ้าช่อมาลี - Mr.Team - Cover By TimeTimeTime Time
มุมมอง 181K
สาวทอผ้าไหม - อ๋อมแอ๋ม เพชรบ้านแพง「New Version」06:33สาวทอผ้าไหม - อ๋อมแอ๋ม เพชรบ้านแพง「New Version」
สาวทอผ้าไหม - อ๋อมแอ๋ม เพชรบ้านแพง「New Version」สาวน้อยลําเพลินอินดี้ เรคคอร์ด
มุมมอง 221K
24 ชั่วโมง สร้างสวนน้ำออบีส 10 ล้านลูก หลังสตู!!47:1724 ชั่วโมง สร้างสวนน้ำออบีส 10 ล้านลูก หลังสตู!!
24 ชั่วโมง สร้างสวนน้ำออบีส 10 ล้านลูก หลังสตู!!OAUJUN HI-END
มุมมอง 687K
My Daughter Disturbed Dad And Was Kicked Out,But She Was Very Happy To Receive 100#funny#cute#comedy00:26My Daughter Disturbed Dad And Was Kicked Out,But She Was Very Happy To Receive 100#funny#cute#comedy
My Daughter Disturbed Dad And Was Kicked Out,But She Was Very Happy To Receive 100#funny#cute#comedyFunny daughter's life
มุมมอง 879K