Audio of a recent conference talk relating Math Mutation topics to the verification of processor designs.
  
(Send feeback to erik@mathmutation.com)

Audio of a recent conference talk relating Math Mutation topics to the verification of processor designs. (Send feeback to erik@mathmutation.com)

Math Mutation 251:  Paradoxes, Mathematical Oddities, and Formal Verification

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.(Feedback email  erik@mathmutation.com).

Science

Mathematics

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.(Feedback email erik@mathmutation.com).

Share Math Mutation 251: Paradoxes, Mathematical Oddities, and Formal Verification

Sign up to save your podcasts

Math Mutation 251: Paradoxes, Mathematical Oddities, and Formal Verification

Math Mutation 251: Paradoxes, Mathematical Oddities, and Formal Verification