I shamelessly plug my new Formal Verification book.

(Send feeback to erik@mathmutation.com)

Math Mutation 211  Saving A Few Million Years

Welcome to Math Mutation, a podcast for people of all ages where we discuss fun, interesting, or just plain weird corners of mathematics that you would not have heard in school.(Feedback email  erik@mathmutation.com).

Science

Mathematics

Earlier this year, after half a century of searching by many talented mathematicians, an amateur finally discovered an aperiodic monotile.

(Send feedback to erik@mathmutation.com)

Math Mutation 288:  One Stone To Rule Them All

The surprisingly simple GRIM test, and how it helped to debunk the famous Cornell Pizza Studies.

(Send feedback to erik@mathmutation.com)

Math Mutation 287:  The Grim State of Modern Pizza

I discuss my experiences translating "The Revolution of Promises" by Nelson Rodriguez Chartrand.

(Send feeback to erik@mathmutation.com)

Math Mutation 286:  Adventures In Translation

Have you used the logical method known as "proof by intimidation"?

(Send feeback to erik@mathmutation.com)

Math Mutation 285:  Believe My Proofs Or Else

We discuss Buckminster Fuller's focus on triangles in his Synergetics.

(Send feeback to erik@mathmutation.com)

Math Mutation 211 Saving A Few Million Years

Download our free app to listen on your phone