Let Me Count the Ways—Enumeration Proofs
Lecture no. 16 from the course: Prove It: The Art of Mathematical Argument
Taught by Professor Bruce H. Edwards | 31 min | Categories: The Great Courses Plus Online Mathematics Courses
The famous Four Color theorem, dealing with the minimum number of colors needed to distinguish adjacent regions on a map with different colors, was finally proved by a brute force technique called enumeration of cases. Learn how this approach works and why mathematicians dislike it—although they often rely on it.