Type:

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 > Algebra
  • Mathematics > General

Education Levels:

    Keywords:

    Mathematics,oai:nsdl.org:2200/20111120195159019T,NSDL,Mathematics -- Algebra,NSDL_SetSpec_internetscout

    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