Prof. Thomas Hales - Lessons learned from the Formal Proof of the Kepler Conjecture Published -- Download video MP4 360p Recommendations 1:17:40 The Flyspeck Project: A Formal Proof of the Kepler Conjecture 1:02:49 What are the prospects for automatic theorem proving? 1:53:08 John Conway - The Game of Life and Set Theory 05:46 Why do Bees build Hexagons? Honeycomb Conjecture explained by Thomas Hales 1:16:41 Prof. Harald Haas - My Li-Fi Revolution 59:56 Prof. Brian Walker - Stress Hormones and Heart Disease: the Clue is in a Mixed-up Colorist 1:10:37 WORK MUSIC - 1 Hour of Ultimate Work Music for Deep Focus and Efficiency 1:15:33 Steve Jones Enlightenment Lecture - Is Human Evolution Over?' 16:45 The Clever Way to Count Tanks - Numberphile 1:39:22 An Audience With Prof. Peter Higgs 18:02 Automated Mathematical Proofs - Computerphile 45:10 Prof. Philip Maini: Turing's Theory of Developmental Pattern Formation 58:19 Prof. Scott Aaronson - Quantum Computing and the Limits of the Efficiently Computable 1:14:48 The Future of Mathematics? 25:47 Šokujúce prognózy budúcnosti, ktoré sa vám nebudú páčiť! Rozhovor s Prof. Ing. Petrom Staněkom, CSc. 1:04:23 Prof. Simon Kirby - The Language Organism: Evolution, Culture, and What it Means to be Human 54:28 Prof. James Ironside - Prions: The serial killers that attack the brain 51:47 Prof. Chris Bishop: The Future of Computers Similar videos 43:18 3 - Kick-off afternoon : Thomas Hales, Formalizing the proof of the Kepler Conjecture 55:10 Tarski Lectures 2019 - Thomas Hales [3/3] 58:14 Big Conjectures (Thomas Hales, 2017) 1:10:24 Séminaire Bourbaki - 21/06/2014 - 3/4 - Thomas C. HALES 04:58 Kepler 10:22 Kepler conjecture 05:08 F Kepler Conjecture Julia 55:55 Tarski Lectures 2019 - Thomas Hales [2/3] 58:43 Introduction to the Langlands program and the fundamental lemma (Thomas Hales) 1 47:55 Tarski Lectures 2019 - Thomas Hales [1/3] More results