Math Mutation
Math Mutation 251: Paradoxes, Mathematical Oddities, and Formal Verification
May 26, 2019
Audio of a recent conference talk relating Math Mutation topics to the verification of processor designs.
(Send feeback to erik@mathmutation.com)
,
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.
Visit Podcast Website
RSS Podcast Feed
Subscribe
Share
Add to MyCast