Type:

Other

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.

Subjects:

  • Mathematics > General
  • Education > General

Education Levels:

  • Grade 1
  • Grade 2
  • Grade 3
  • Grade 4
  • Grade 5
  • Grade 6
  • Grade 7
  • Grade 8
  • Grade 9
  • Grade 10
  • Grade 11
  • Grade 12

Keywords:

Informal Education,NSDL_SetSpec_ncs-NSDL-COLLECTION-000-003-112-021,NSDL,Mathematics -- Process skills,oai:nsdl.org:2200/20110201171255304T,Mathematics,Education,General Public

Language:

English

Access Privileges:

Public - Available to anyone

License Deed:

Creative Commons Attribution Non-Commercial Share Alike

Collections:

None
This resource has not yet been aligned.
Curriki Rating
'NR' - This resource has not been rated
NR
'NR' - This resource has not been rated

This resource has not yet been reviewed.

Not Rated Yet.

Non-profit Tax ID # 203478467