HOME    »    PROGRAMS/ACTIVITIES    »    Public Lectures
IMA Public Lecture
Computers and the Future of Mathematical Proof

  Lecture Video (flv)   Photo Gallery   Postcard: pdf   Abstracts   Material from Talks 

Mathematics of Materials and Macromolecules: Multiple Scales, Disorder, and Singularities, September 2004 - June 2005

Thomas C. Hales
Mellon Professor of Mathematics
University of Pittsburgh
http://www.math.pitt.edu/~thales/

March 30, 2005
7:00 pm, EE/CSci 3-210   maps

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

Go