Campuses:

Computers and the Future of Mathematical Proof

Wednesday, March 30, 2005 - 7:00pm - 8:00pm
EE/CSci 3-210
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?

MSC Code: 
97Pxx
Keywords: