Engines Podcast

Engines of Our Ingenuity 2502: Computer Proofs

Episode: 2502 Computer assisted proofs: How machines extend our mind’s reach. Today, let’s ask how computers help us see mathematical truths.

Episode: 2502 Computer assisted proofs: How machines extend our mind’s reach. Today, let's ask how computers help us see mathematical truths.

 

This article is part of the Engines of Our Ingenuity podcast

  • Subscribe on Apple Podcasts
  • Subscribe on Google Podcasts
  • Subscribe on Spotify
  • Subscribe on Stitcher
  • Subscribe on TuneIn
  • Subscribe on iHeart
  • Subscribe on Pandora
  • Subscribe on RadioPublic
  • Subscribe on Pocket Casts
  • Subscribe on Overcast
  • Subscribe via RSS

Share