[FOM] Computational Discovery/Experimental Mathematics

Robert Moir robert at moir.net
Wed Apr 6 16:01:23 EDT 2016


Sent on the suggestion of Rob Corless:

The following book review of "The Computer as Crucible" by Jonathan Borwein
and Keith Devlin should provide some helpful context.

http://math-blog.com/2010/07/23/in-depth-book-review-the-computer-as-crucible/

Best,
RM

On Tue, 5 Apr 2016 at 20:26 Harvey Friedman <hmflogic at gmail.com> wrote:

> Regarding http://www.cs.nyu.edu/pipermail/fom/2016-April/019659.html
> From the site https://acmes.org :
>
> "Computational Discovery, also called Experimental Mathematics, is the
> use of symbolic and numerical computation to discover patterns, to
> identify particular numbers and sequences, and to gather evidence in
> support of specific mathematical assertions that may themselves arise
> by computational means. In recent decades, computer-assisted
> mathematical discovery has profoundly transformed the strategies used
> to expand mathematical knowledge. In addition to symbolic and
> numerical computation, a new trend that shows tremendous potential is
> the use of novel visualization techniques. The current situation was
> well summarized by a recent ICMI study: "The latest developments in
> computer and video technology have provided a multiplicity of
> computational and symbolic tools that have rejuvenated mathematics and
> mathematics education. Two important examples of this revitalization
> are experimental mathematics and visual theorems." "
>
> I think the FOM readers would appreciate some basic discussion and/or
> friendly links to give us a better idea as to some principal
> developments in these areas that led to this meeting.
>
> Harvey Friedman
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20160406/0e3f2858/attachment-0001.html>


More information about the FOM mailing list