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.
Pretty big book news (in a couple of ways)! The Univalent Foundations Program at the Institute for Advanced Study in Princeton has released a 470-page textbook resetting the foundations of mathematics on homotopy type theory. It’s called Homotopy Type Theory: Univalent Foundations of Mathematics.
Principia Mathematica is Bertrand Russell and Alfred North Whitehead’s epic maths text which outlines the foundations of mathematics and logic, famously proves that 1+1=2 in 200 pages, and took so much re-writing it nearly sent them both mad in the process. It was also a hugely significant work, attempting to describe a set of axioms and inference rules in symbolic logic from which all mathematical truths could in principle be proven. While this goal was doomed to failure by the Incompleteness Theoreom of Gödel, the project was of great importance in the history of maths and philosophy.
If you haven’t heard of Principia, I recommend reading the excellent Logicomix, which tells the story of Russell’s life and the creation of the book; I also recommend attempting to read Principia Mathematica, although as far as I know, very few people have succeeded in this.
Anyway, the third and final volume of the book was published 100 years ago this year, and in celebration, as the title of this post has completely given away, theatre company The Conway Collective is putting on a musical written by Tyrone Landau and based on the book.
The world premiere of the musical is taking place on 20th February, at Conway Hall in London, and the event description notes that
The evening is scored for singers, dancers, musicians and philosophers.
It also requests that you “prepare to be astonished”, although frankly I’d be astonished if I weren’t astonished. Oh no, Russell’s paradox!
Event information on the Conway Collective website
Eventbrite, for buying tickets
via Haggis the Sheep on Twitter