The Role of Computer Assistance in Mathematical Proofs
Professor of Pure Mathematics
1:13:30·2026·graduate level·Research Seminar
An examination of how computational methods augment and transform complex mathematical proofs, from the four-color theorem to the classification of finite simple groups.
Abstract: The four colour theorem was a very early example of a proof for which the use of a computer was essential, because the amount of tedious mechanical calculation was simply far too large for a human to undertake. However there are other reasons that a proof can be complex; for example it can simply be extremely long, like the classification of finite simple groups. Can computers assist with these proofs somehow? Can computers even assist all proofs?
Source: London Mathematical Society via YouTubeWatch on YouTube
Comments
Add a comment...Sign in