New computer tools have the potential to revolutionize the practice of mathematics by providing far more-reliable proofs of mathematical results than have ever been possible in the history of humankind. These computer tools, based on the notion of “formal proof”, have in recent years been used to provide nearly infallible proofs of a number of important results in mathematics. A ground-breaking collection of four articles by leading experts, published recently in the Notices of the American Mathematical Society (http://www.ams.org/notices), explores new developments in the use of formal proof in mathematics……..

This entry was posted on Friday, November 7th, 2008 at 3:58 am and is filed under Hi-Tech blog. You can follow any responses to this entry through the RSS 2.0 feed. Both comments and pings are currently closed.