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.