Computer-assisted proofs in geometry
- Date: 10/04/2006
Lecturer(s):
Thomas C. Hales (University of Pittsburgh)
Location:
University of Calgary
Topic:
In recent years, computer-assisted proofs have become relatively
common. For example, in 2002, W. Tucker published a proof of problem 14
(concerning strange attractors) on Smale's list of problems for the new
century. Other recent computer-assisted proofs involve sphere packings
24 dimensions and hyperbolic manifolds. This talk will discuss a number
of computer-assisted proofs and discuss their implication for
mathematics.
Other Information:
PIMS Distinguished Chair Lectures 2006