Monday, December 1, 2008
An Article written by Pitt Math Professor Thomas Hales is featured in Notices of the AMS
Prof. Hales article is featured in a special issue of Notices about formal proofs. The edition describes how using computers in proofs both extends mathematics with new results and creates new mathematical questions about the nature and technique of such proofs. This special issue features a collection of articles by practitioners and theorists of such formal proofs which explore both aspects.