Skip to main content
Download PDF
- Main
Future Prospects for Computer-Assisted Mathematics
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.
Main Content
For improved accessibility of PDF content, download the file to your device.
Enter the password to open this PDF file:
File name:
-
File size:
-
Title:
-
Author:
-
Subject:
-
Keywords:
-
Creation Date:
-
Modification Date:
-
Creator:
-
PDF Producer:
-
PDF Version:
-
Page Count:
-
Page Size:
-
Fast Web View:
-
Preparing document for printing…
0%