You are here

The Jordan Curve Theorem, Formally and Informally

Year of Award: 2008

Award: Lester R. Ford

Publication Information: The American Mathematical Monthly, vol. 114, (2007), pp. 882-894

Summary: The author completed a formal proof of the Jordan Curve Theorem using a computer system called "HOL Light."

Read the Article:

About the Author (from The American Mathematical Monthly, (2007)): Thomas C. Hales received his M.S. from Stanford in the School of Engineering and his Ph.D. (1986) from Princeton in mathematics. He has taught at Harvard, the University of Chicago, and the University of Michigan. He is currently the Andrew Mellon Professor of Mathematics at the University of Pittsburgh. His honors include the Chauvenet Prize (2003) of the MAA and the Moore Prize (2004) for applications of interval analysis. His research interests include representation theory, motivic integration, discrete geometry, and formal proofs.
 

Author (old format): 
Thomas C. Hales
Author(s): 
Thomas C. Hales
Flag for Digital Object Identifier: 
Publication Date: 
Wednesday, October 22, 2008
Publish Page: 
Summary: 

The author completed a formal proof of the Jordan curve theorem using a computer system called HOL Light.

Dummy View - NOT TO BE DELETED