Experimental computation as an ontological game changer: The impact of modern mathematical computation tools on the ontology of mathematics

Robust, concrete and abstract, mathematical computation and inference on the scale now becoming possible should change the discourse about many matters mathematical. These include: what mathematics is, how we know something, how we persuade each other, what suffices as a proof, the infinite, mathematical discovery or invention, and other such issues.

[1]  David Easley,et al.  High-frequency trading : new realities for traders, markets and regulators , 2013 .

[2]  Michael Atiyah,et al.  Responses to: A. Jaffe and F. Quinn, “Theoretical mathematics: toward a cultural synthesis of mathematics and theoretical physics” [Bull. Amer. Math. Soc. (N.S.) 29 (1993), no. 1, 1–13; MR1202292 (94h:00007)] , 1994 .

[3]  Michael Atiyah,et al.  Responses to `Theoretical mathematics: toward a cultural synthesis of mathematics and theoretical physics', by A. Jaffe and F. Quinn , 1994, math/9404229.

[4]  Jonathan M. Borwein,et al.  Higher-Dimensional Box Integrals , 2010, Exp. Math..

[5]  Benoit B. Mandelbrot,et al.  Fractal Geometry of Nature , 1984 .

[6]  D. Griffeath,et al.  Modeling snow-crystal growth: a three-dimensional mesoscopic approach. , 2009, Physical review. E, Statistical, nonlinear, and soft matter physics.

[7]  Lesley S.J. Farmer.  The Princeton Companion to Applied Mathematics , 2016 .

[8]  Jonathan M. Borwein,et al.  The computation of previously inaccessible digits of π² and Catalan's constant , 2013 .

[9]  Michael De Villiers,et al.  Proof and Proving in Mathematics Education , 2012 .

[10]  Doron Zeilberger,et al.  Rational functions certify combinatorial identities , 1990 .

[11]  George Polya,et al.  Mathematical discovery : on understanding, learning, and teaching problem solving , 1962 .

[12]  L. Franklin,et al.  Exploratory Experiments , 2005, Philosophy of Science.

[13]  Jonathan M. Borwein,et al.  Ten Problems in Experimental Mathematics , 2006, Am. Math. Mon..

[14]  Paul J. Campbell.  Mathematics by Experiment: Plausible Reasoning in the 21st Century (Book) , 2004 .

[15]  Marcus Giaquinto,et al.  Visual thinking in mathematics : an epistemological study , 2007 .

[16]  Michael De Villiers,et al.  Proof and proving in mathematics education : the 19th ICMI study , 2012 .

[17]  M. Joshi.  The Concepts and Practice of Mathematical Finance , 2004 .

[18]  David Bailey,et al.  Mathematics by Experiment, 2nd Edition: Plausible Reasoning in the 21st Century , 2008 .

[19]  Jonathan M. Borwein,et al.  Exploratory Experimentation: Digitally-Assisted Discovery and Proof , 2011 .

[20]  A. Jaffe,et al.  “Theoretical mathematics”: toward a cultural synthesis of mathematics and theoretical physics , 1993, math/9307227.

[21]  Jonathan M. Borwein,et al.  Surprising Sinc Sums and Integrals , 2008, Am. Math. Mon..

[22]  R. Crandall.  Theory of ROOF walks , 2008 .

[23]  Jonathan M. Borwein,et al.  Computation and theory of Mordell-Tornheim-Witten sums II , 2015, J. Approx. Theory.

[24]  Jonathan M. Borwein,et al.  Experimentation in Mathematics: Computational Paths to Discovery , 2004 .

[25]  James Gleick.  Chaos: Making a New Science , 1987 .

[26]  Stephen Wolfram,et al.  A New Kind of Science , 2003, Artificial Life.

[27]  Randolph H. Lytton,et al.  On Deep History and the Brain , 2007 .

[28]  Jonathan M. Borwein,et al.  Experimental Applied Mathematics , 2015 .

[29]  Christoph Lattemann,et al.  High-Frequency Trading , 2011 .

[30]  Wadim Zudilin,et al.  Ramanujan-type formulae for 1/π: a second wind? , 2006 .

[31]  Jonathan M. Borwein,et al.  Implications of Experimental Mathematics for the Philosophy of Mathematics , 2008 .

[32]  Jonathan M. Borwein,et al.  Mathematics by experiment - plausible reasoning in the 21st century , 2003 .

[33]  Jeremy Avigad,et al.  Computers in Mathematical Inquiry , 2008 .

[34]  Maureen O'Hara.  High-frequency Trading , 2013 .

[35]  Jonathan M. Borwein,et al.  The Experimental Mathematician: the Pleasure of Discovery and the Role of Proof , 2005, Int. J. Comput. Math. Learn..

[36]  Matthew K. Tam,et al.  DOUGLAS–RACHFORD FEASIBILITY METHODS FOR MATRIX COMPLETION PROBLEMS , 2013, The ANZIAM Journal.

[37]  Mario Livio,et al.  Is God a Mathematician , 2009 .

[38]  David H. Bailey,et al.  Experimental Mathematics in Action , 2007 .

[39]  Marcus Giaquinto,et al.  Visual thinking in mathematics , 2007 .

[40]  H. K. Sørensen.  Exploratory experimentation in experimental mathematics : A glimpse at the PSLQ algorithm , 2010 .

[41]  David H. Bailey,et al.  The Probability of Backtest Overfitting , 2015 .

[42]  Erik Panzer,et al.  Algorithms for the symbolic integration of hyperlogarithms with applications to Feynman integrals , 2014, Comput. Phys. Commun..

[43]  Jonathan M. Borwein,et al.  Computation and theory of extended Mordell-Tornheim-Witten sums , 2014, Math. Comput..

[44]  Jonathan M. Borwein,et al.  Expectations on fractal sets , 2013, Appl. Math. Comput..

[45]  H. Wilf.  Mathematics : An Experimental Science , 2022 .

[46]  Steven H. Strogatz,et al.  Chimera States in a Ring of Nonlocally Coupled oscillators , 2006, Int. J. Bifurc. Chaos.

[47]  David Bailey,et al.  On the rapid computation of various polylogarithmic constants , 1997, Math. Comput..

[48]  J. C. Burkill,et al.  A mathematician's miscellany , 1954 .

[49]  Jonathan M. Borwein,et al.  Hand-to-hand combat with thousand-digit integrals , 2012, J. Comput. Sci..

[50]  Jonathan M. Borwein,et al.  Computer-Assisted Discovery and Proof , 2007 .

[51]  Jesus Guillera.  Hypergeometric identities for 10 extended Ramanujan-type series , 2008 .

[52]  Jonathan M. Borwein,et al.  Exploratory Experimentation and Computation , 2011 .

[53]  D. Smail.  On Deep History and the Brain , 2007 .

[54]  Jonathan M. Borwein,et al.  Automated simplification of large symbolic expressions , 2014, J. Symb. Comput..

[55]  Jonathan M. Borwein,et al.  The evaluation of character Euler double sums , 2008 .

[56]  Matthew Skerritt.  Computation of an Improved Lower Bound to Giuga's Primality Conjecture , 2013, ICMS.

[57]  R. Devaney,et al.  Chaos, Making a New Science , 1987 .

[58]  T. Hales.  Formal Proof , 2008 .

[59]  David H. Bailey,et al.  Pseudo-Mathematics and Financial Charlatanism: The Effects of Backtest Overfitting on Out-of-Sample Performance , 2014 .

[60]  Jonathan M. Borwein,et al.  High-precision computation: Mathematical physics and dynamics , 2010, Appl. Math. Comput..

[61]  Jonathan M. Borwein,et al.  Setting the Default to Reproducible Reproducibility in Computational and Experimental Mathematics , 2013 .

[62]  Wadim Zudilin,et al.  Ramanujan-type formulae for 1/pi: a second wind? , 2007, 0712.1332.