Mathematics of Materials and Macromolecules: Multiple Scales,
Disorder, and Singularities, September 2004 - June 2005
IMA Public Lecture:
Computers and the Future of Mathematical
Proof
Thomas C. Hales
Mellon Professor of Mathematics
University of Pittsburgh
http://www.math.pitt.edu/~thales/
Abstract:
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?
Read about Thomas Hales, computers, and proof in the press.
2004-2005 Poster: pdf
Math Matters - Public Lecture Series
|
