Artwork

Content provided by Erik Seligman. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Erik Seligman or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Player FM - Podcast App
Go offline with the Player FM app!

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

40:49
 
Share
 

Manage episode 234086369 series 1740964
Content provided by Erik Seligman. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Erik Seligman or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Audio of a recent conference talk relating Math Mutation topics to the verification of processor designs. (Send feeback to erik@mathmutation.com)
  continue reading

289 episodes

Artwork
iconShare
 
Manage episode 234086369 series 1740964
Content provided by Erik Seligman. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Erik Seligman or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Audio of a recent conference talk relating Math Mutation topics to the verification of processor designs. (Send feeback to erik@mathmutation.com)
  continue reading

289 episodes

All episodes

×
 
Loading …

Welcome to Player FM!

Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.

 

Quick Reference Guide