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.

3 comments:

  1. very well explained and differentiate post,so that each individual can select which type of education he/she wants,can you share more such an articles,Thanks for the post!

    Psle math tuition

    psle science tuition

    psle english tuition

    ReplyDelete
  2. Every course is taught by the best teachers and conducted in an engaging manner to keep students involved.

    PSLE tuition online

    ReplyDelete