SIAM News Blog
SIAM News
Print

2018 I.E. Block Community Lecture: How Paradoxes Shape Mathematics and Give Us Self-Verifying Computer Programs

The I. E. Block Community lecture is given each year at the SIAM Annual Meeting and is free and open to the public. Students, teachers, professionals, and all other members of the local community (Portland, OR this year!) are encouraged to attend. The lecture highlights a relatable application of mathematics to help foster appreciation and excitement for the vitality of science.

I.E. Block Community Lecture: How Paradoxes Shape Mathematics and Give Us Self-Verifying Computer Programs

Wednesday, July 11, 6:15 PM - 7:15 PM
Oregon Convention Center
Room: Oregon Ballroom 202/203
Chair: Nicholas J. Higham, University of Manchester, United Kingdom

Dr. Thomas Hales of the University of Pittsburgh will present the 2018 I. E. Block Community Lecture at the SIAM Annual Meeting (AN18) in Portland, Oregon on July 11. Dr. Hales' lecture, entitled "How Paradoxes Shape Mathematics and Give Us Self-Verifying Computer Programs," will address various paradoxes (such as the famous "Barber Paradox" first proffered by Bertrand Russell) within the context of self-verifying computer programs, as well as methods to ensure that paradoxes do not get in the way of self-verification.

Dr. Hales is the Andrew Mellon Professor of Mathematics at the University of Pittsburgh, where he works in formal verification, representation theory, and discrete geometry. He proved the centuries-old Kepler Conjecture in 1998, and went on to confirm the Honeycomb Conjecture the following year. His Kepler Conjecture proof relied significantly on extensive computer calculations, which led him to investigate to what degree computers may be used to prove other difficult theorems.

For more information, and to view the full conference program, click here.

blog comments powered by Disqus