Skip Navigation

Scout Archives

Home Projects Publications Archives About Sign Up or Log In

The Economist: Proof and Beauty in Mathematics

This article from the magazine _The Economist_ argues that the notion of mathematical proof is now in flux and that "the use of computers to prove mathematical theorems is forcing mathematicians to re-examine the foundations of their discipline." The author discusses the differences between proofs conducted by hand and those conducted by computers, using the classification of finite simple groups as an example showing how some proofs are unverifiable. The article concludes with a discussion of two recent examples illustrating how computers have been used to prove important mathematical results in a changing field.
Archived Scout Publication URL
Language
Date of Scout Publication
April 8th, 2005
Date Of Record Creation
April 7th, 2005 at 12:03pm
Date Of Record Release
April 18th, 2005 at 2:21pm
Resource URL Clicks
12

Internal

Cumulative Rating
0
Add Comment

Comments

(no comments available yet)