Sunday, May 19, 2019

251: Paradoxes, Mathematical Oddities, and Formal Verification


For this episode, we’re doing something a little different.   I recently gave a talk at a small conference relating various math mutation topics to Formal Verification, the engineering discipline where we try to verify correctness of microprocessor designs.    A few parts might go over your head if you’re not an engineer, but most of the discussion relates to the math topics, so I think Math Mutation listeners will enjoy it.   Here you go:

(listen to audio link above, or see video at https://youtu.be/igklvT2MplU .)


I hope you found that interesting!   If you want to see a PDF of the slides with the illustrations, you can grab it at this link.


And this has been your math mutation for today.