Engines of Our Ingenuity
The Engines of Our Ingenuity 2502: Computer Proofs
November 19, 2024
Episode: 2502 Computer assisted proofs: How machines extend our mind's reach. Today, let's ask how computers help us see mathematical truths.
The story of technological progress is one of drama and intrigue, sudden insight and plain hard work. Let’s explore technology’s spectacular failures and many magnificent success stories. This content is in service of Houston Public Media̵
Visit Podcast Website
RSS Podcast Feed
Subscribe
Share
Add to MyCast