DocServer

Exploratory Experimentation: Digitally-Assisted Discovery and Proof

Borwein, Jonathan M. (2012) Exploratory Experimentation: Digitally-Assisted Discovery and Proof. In: Chapter in ICMI Study 19: On Proof and Proving in Mathematics Education. G. Hanna and M. de Villiers (Eds.). Springer-Verlag. ISBN 978-94-007-2128-9

[img]
Preview
PDF
Download (1378Kb) | Preview

    Abstract

    I believe that the mathematical community (appropriately defined) is facing a great challenge to re-evaluate the role of proof in light of the power of current computer systems, of modern mathematical computing packages and of the growing capacity to data-mine on the internet. Add to that the enormous complexity of many modern mathematical results such as the Poincare conjecture, Fermat’s last theorem, and the classification of finite simple groups. With great challenges come great opportunities. I intend to touch upon the current challenges and opportunities for the learning and doing of mathematics. As the prospects for inductive mathematics blossom, the need to ensure that the role of proof is properly founded remains undiminished.

    Item Type: Book Section
    Additional Information: pubdom FALSE
    Subjects: 65-xx Numerical analysis
    Faculty: UNSPECIFIED
    Depositing User: lingyun ye
    Date Deposited: 27 May 2009
    Last Modified: 23 Feb 2015 15:02
    URI: https://docserver.carma.newcastle.edu.au/id/eprint/393

    Actions (login required)

    View Item