Math Mutation 251: Paradoxes, Mathematical Oddities, and Formal Verification
May 20, 2019•41 min
Listen to this episode in Metacast mobile app
Don't just listen to podcasts. Learn from them with transcripts, summaries, and chapters for every episode. Skim, search, and bookmark insights. Learn more
Episode description
Audio of a recent conference talk relating Math Mutation topics to the verification of processor designs.
(Send feeback to erik@mathmutation.com)
For the best experience, listen in Metacast app for iOS or Android