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.

# You're reading: Posts Tagged: Alfred North Whitehead

### The Maths of Star Trek: The Original Series (Part III)

This is the third in a series of posts about the maths of *Star Trek*. Part I covered the probability of survival while wearing a red shirt, and Part II discussed the mathematics of alien biology.

### Principia Mathematica – THE MUSICAL

*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!

**Further information:**

Event information on the Conway Collective website