Computers and the Future of Mathematical Proof
Wednesday, March 30, 2005 - 7:00pm - 8:00pm
Thomas Hales (University of Pittsburgh)
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?