login
You are not logged in.
search:
AMSER logo



Title: The Economist: Proof and Beauty in Mathematics
Url: https://www.economist.com/science-and-technology/2005/03/31/proof-and-...
Publisher: Economist Newspaper Ltd.
Description: 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.
LC Classification: Science -- Mathematics -- Philosophy -- Mathematical logic -- Constructive mathematics
Science -- Mathematics -- Popular works
GEM Subject: Mathematics
Mathematics -- Process skills
Date Issued: 2005
Resource Type: Reference Material
Format: Document -- HTML
Language: English
Rights: Economist Newspaper
Access Rights: Free access
Screenshot
Full Image
Source: Scout Archives
Full Record Views: 30
Resource URL Clicks: 34
Cumulative Rating: NOT YET RATED
Report a Problem with this Resource Record

Resource Comments

(no comments available yet for this resource)

user login
Username:
Password:
why log in?
Manage your resources
Save, organize, and share resources that you find.

Subscribe to bulletins
Automatically be notified about new resources that match your interests.

It's easy, fast, and FREE!
Have a favorite applied math or science site you want others to know about?

SUGGEST a
NEW RESOURCE
to add to AMSER

Copyright 2024 Internet Scout Resource Metadata
Copyright 2024 Internet Scout
NSF NSDL University of Wisconsin Internet Scout
Leave Feedback
http://amser.org/