Maths matters: exploratory experimentation: digitally-assisted discovery and proof

Title: Maths matters: exploratory experimentation: digitally-assisted discovery and proof
Creator: Borwein, Jonathan M.
Relation: Australian Mathematical Society Gazette Vol. 36, Issue 3, p. 166-175
Relation: http://www.austms.org.au/Gazette+Volume+36+Number+3+July+2009
Publisher: Australian Mathematical Society
Resource Type: journal article
Date: 2009
Description: Our community (appropriately defined) is facing a great challenge to re-evaluate the role of proof in light of the growing power of current computer systems, of modern mathematical computing packages and of the growing capacity to datamine on the internet. Add to that the enormous complexity of many modern mathematical results such as the Poincar´e conjecture, Fermat’s last theorem, and the classification of finite simple groups. As the need and prospects for inductive mathematics blossom, the need to ensure that the role of proof is properly founded remains undiminished.
Subject: exploratory experimentation; computer software; datamining; mathematics
Identifier: http://hdl.handle.net/1959.13/940239
Identifier: uon:12977
Identifier: ISSN:0311-0729
Language: eng
Full Text
Reviewed

		Thumbnail	File	Description	Size	Format
View Details Download			ATTACHMENT01	Publisher version (open access)	215 KB	Adobe Acrobat PDF	View Details Download