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.

8 comments:

  1. Packers and Movers Gurgaon Provide Reliable, Safe and Certified Service Provider list, Get Free ***Best Price Quotaition and Compare Charges. ???Hassle free Household Shifting Services, High Quality packing Material, Office Relocation, Car Transportaion, ###Local and Domestic Shifting Service @
    Packers And Movers Gurgaon

    ReplyDelete
  2. Packers and Movers Ahmedabad - We Provide ***Best Service Providers, Safe, Reliable, Affordable, Trusted ###Movers and Packers in Ahmedabad List, Household Shifting, Office Relocation: Choose Top Verified Packers and Movers Ahmedabad Compare ✔✔✔Shifting Service Chrages, Price Quotation, Rate List Charts and Save Money and Time @ Packers And Movers Ahmedabad

    ReplyDelete
  3. 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
  4. Every course is taught by the best teachers and conducted in an engaging manner to keep students involved.

    PSLE tuition online

    ReplyDelete
  5. It is very good website with full information, we are looking forward to connect with you in future. Here also you can check the lot of courses fo primary school students.

    PSLE tuition

    ReplyDelete
  6. Great information to say the least. I really do appreciate everything so much from this great website.

    psle english tuition in singapore

    psle english tuition in singapore

    ReplyDelete
  7. Great information to say the least. I really do appreciate everything so much from this great website.

    psle science tuition in singapore

    ReplyDelete
  8. Packers and Movers Chennai Give Safe and Reliable ***Household Shifting Services in Chennai with Reasonable ###Packers and Movers Price Quotation. We Provide Household Shifting, Office Relocation, ✔✔✔ Local and Domestic Transportation Services, Affordable and Reliable Shifting Service Charges @ Packers And Movers Chennai

    ReplyDelete