Owen G. Owens 2006 Lecture: Computers and the Future of Mathematical Proof

Computers crash, hang, succumb to viruses, run buggy programs, and harbor spyware. By contrast, mathematics is free of all imperfection. Why are imperfect computational devices so vital for the future of mathematics?

Join us for this special talk at 3:00 p.m., February 20, 2006. Bernath Auditorium in the Adamany Undergraduate Library presented by Thomas G. Hales Andrew Mellon, professor, University of Pittsburgh.