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

Dynamical systems present many fundamental challenges to computational study. These range from the need to adapt finite computations (using a computer) to the task of ...