The Aperiodical 

You're reading: Posts Tagged: Classification of Finite Simple Groups

Just how big is a big proof?

By Katie Steckles and Paul Taylor. Posted June 10, 2016

With news that a recent proof of the Boolean Pythagorean Triples Theorem is the ‘largest proof ever’, we collect and run-down some of the biggest, baddest, proofiest chunks of monster maths.