The Engines of Our Ingenuity 2502: Computer Proofs
Engines of Our Ingenuity - Un pódcast de Houston Public Media
Categorías:
Episode: 2502 Computer assisted proofs: How machines extend our mind's reach. Today, let's ask how computers help us see mathematical truths.
