DocServer

Future Prospects for Computer-Assisted Mathematics

Borwein, Jonathan M. and Bailey, David H. (2005) Future Prospects for Computer-Assisted Mathematics. In: UNSPECIFIED Canadian Mathematical Society Notes, pp. 2-6.

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

    Abstract

    The recent rise of ``computer-assisted'' and ``experimental'' mathematics raises intriguing questions as to the future role of computation in mathematics. These results also draw into question the traditional distinctions that have been drawn between formal proof and computationally-assisted proof. This article explores these questions in the context of the growing consensus among computer technologists that Moore's Law is likely to continue unabated for quite some time into the future, producing hardware and software much more powerful than what is available today.

    Item Type: Book Section
    Additional Information: pubdom TRUE
    Subjects: 00-xx General
    Faculty: UNSPECIFIED
    Depositing User: Users 1 not found.
    Date Deposited: 08 Nov 2005
    Last Modified: 26 Feb 2015 15:54
    URI: https://docserver.carma.newcastle.edu.au/id/eprint/304

    Actions (login required)

    View Item