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

Sponsor: 

pims