DocServer

Exploratory Experimentation and Computation.

Bailey, D.H. and Borwein, Jonathan M. (2012) Exploratory Experimentation and Computation. Notices of the AMS, 58 (10). pp. 1410-1419.

[img]
Preview
PDF - Accepted Version
Download (623Kb) | Preview

    Abstract

    We believe the mathematical research community is facing a great challenge to re-evaluate the role of proof in light of recent developments. On one hand, the growing power of current computer systems, of modern mathematical computing packages, and of the growing capacity to data-mine on the Internet, has provided marvelous resources to the research mathematician. On the other hand, the enormous complexity of many modern capstone results such as the Poincar´e conjecture, Fermat’s last theorem, and the classification of finite simple groups has raised questions as to how we can better ensure the integrity of modern mathematics. Yet as the need and prospects for inductive mathematics blossom, the requirement to ensure the role of proof is properly founded remains undiminished.

    Item Type: Article
    Subjects: UNSPECIFIED
    Faculty: UNSPECIFIED
    Depositing User: Dr David Allingham
    Date Deposited: 05 Oct 2012 13:13
    Last Modified: 03 Jan 2015 21:33
    URI: https://docserver.carma.newcastle.edu.au/id/eprint/1396

    Actions (login required)

    View Item