The longest mathematical proof ever скачать в хорошем качестве

The longest mathematical proof ever

Get better at math everyday at https://brilliant.org/TreforBazett to get started for free for 30 days, and to get 20% off an annual premium subscription! In this video we're going to explore the proof of Schur number five, a proof that is 2 petabytes in size and currently (by far) the longest mathematical proof in existence. The paper: https://www.cs.utexas.edu/~marijn/Sch.... 0:00 Intro 1:05 Schur Numbers 5:47 Plan of attack 6:39 Review of Propositional Logic 7:48 Converting to Propositional Logic 10:53 SAT Solvers 16:43 Proof Verification 18:03 Brilliant.org/TreforBazett BECOME A MEMBER: ►Join:    / @drtrefor   MATH BOOKS I LOVE (affilliate link): ► https://www.amazon.com/shop/treforbazett COURSE PLAYLISTS: ►DISCRETE MATH:    • Discrete Math (Full Course: Sets, Log...   ►LINEAR ALGEBRA:    • Linear Algebra (Full Course)   ►CALCULUS I:    • Calculus I (Limits, Derivative, Integ...   ► CALCULUS II:    • Calculus II (Integration Methods, Ser...   ►MULTIVARIABLE CALCULUS (Calc III):    • Calculus III: Multivariable Calculus ...   ►VECTOR CALCULUS (Calc IV)    • Calculus IV: Vector Calculus (Line In...   ►DIFFERENTIAL EQUATIONS:    • Ordinary Differential Equations (ODEs)   ►LAPLACE TRANSFORM:    • Laplace Transforms and Solving ODEs   ►GAME THEORY:    • Game Theory   OTHER PLAYLISTS: ► Learning Math Series    • 5 Tips To Make Math Practice Problems...   ►Cool Math Series:    • Cool Math Series   SOCIALS: ►X/Twitter: http://X.com/treforbazett ►TikTok:   / drtrefor   ►Instagram (photography based):   / treforphotography