YoVDO

The Longest Mathematical Proof Ever: Exploring Schur Number Five

Offered By: Dr Trefor Bazett via YouTube

Tags

Mathematical Proofs Courses Discrete Mathematics Courses Number Theory Courses Combinatorics Courses Propositional Logic Courses Computational Mathematics Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the longest mathematical proof in existence in this 20-minute video lecture on the proof of Schur number five. Delve into the concept of Schur numbers and learn how a 2-petabyte-sized proof was constructed. Follow along as the lecturer breaks down the problem-solving approach, reviews propositional logic, and explains the conversion process to propositional logic. Discover the role of SAT solvers in tackling this complex mathematical challenge and understand the importance of proof verification. Gain insights into advanced mathematical concepts and problem-solving techniques used in modern mathematics.

Syllabus

Intro
Schur Numbers
Plan of attack
Review of Propositional Logic
Converting to Propositional Logic
SAT Solvers
Proof Verification
Brilliant.org/TreforBazett


Taught by

Dr. Trefor Bazett

Related Courses

Analytic Combinatorics, Part I
Princeton University via Coursera Analytic Combinatorics, Part II
Princeton University via Coursera Analytic Combinatorics
Princeton University via Coursera Principles of Computing (Part 1)
Rice University via Coursera Combinatorics and Probability
Moscow Institute of Physics and Technology via Coursera