Audio of a recent conference talk relating Math Mutation topics to the verification of processor designs.
  
(Send feeback to erik@mathmutation.com)

Math Mutation 251:  Paradoxes, Mathematical Oddities, and Formal Verification

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 251: Paradoxes, Mathematical Oddities, and Formal Verification

Download our free app to listen on your phone