Computer-assisted proofs in geometry
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.
Speakers
Additional Information
PIMS Distinguished Chair Lectures 2006
Thomas C. Hales (University of Pittsburgh)
