DocServer

Digitally-Assisted Discovery and Proof

Borwein, Jonathan M. (2009) Digitally-Assisted Discovery and Proof. In: Proceedings of ICMI Study 19 Workshop "On Proof and Proving", May 10-15, 2009, National University of Taiwan.

This is the latest version of this item.

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

    Abstract

    I will argue 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. With great challenges come great opportunities. I intend to illustrate the current challenges and opportunities for the learning and doing of mathematics. As the prospects for inductive mathematics blossom, the need to make sure that the role of proof is properly founded remains undiminished.

    Item Type: Conference or Workshop Item (UNSPECIFIED)
    Additional Information: pubdom FALSE
    Subjects: 00-xx General
    Faculty: UNSPECIFIED
    Depositing User: lingyun ye
    Date Deposited: 30 Mar 2009
    Last Modified: 23 Feb 2015 15:08
    URI: https://docserver.carma.newcastle.edu.au/id/eprint/390

    Available Versions of this Item

    Actions (login required)

    View Item