AlephZero and mathematical experience

DeDeo, Simon

doi:10.1090/bull/1824

AlephZero and mathematical experience
HTML articles powered by AMS MathViewer

by Simon DeDeo;

Bull. Amer. Math. Soc. 61 (2024), 375-386

DOI: https://doi.org/10.1090/bull/1824

Published electronically: May 15, 2024

HTML | PDF

Abstract:

This essay explores the impact of automated proof construction on three key areas of mathematical cognition: on how we judge the role one piece of mathematics plays in another, on how we make mistakes in reasoning about mathematical objects, and on how we understand what our theorems are truly about. It concludes by speculating on a new form of mathematical experience that these methods could make possible: “glitching”, a game-like search for uncanny consequences of our definitions.

References

Scott Aaronson, Eight signs a claimed P$\neq$NP proof is wrong, (2010), https://scottaaronson.blog/?p=458.
Jeremy Avigad, Reliability of mathematical inference, Synthese 198 (2021), no. 8, 7377–7399. MR 4292724, DOI 10.1007/s11229-019-02524-y
Jeremy Avigad, Varieties of mathematical understanding, Bull. Amer. Math. Soc. (N.S.) 59 (2022), no. 1, 99–117. MR 4340829, DOI 10.1090/S0273-0979-2021-01726-5
Wilma Alice Bainbridge and William Sims Bainbridge, Creative uses of software errors: Glitches and cheats, Social Science Computer Review 25 (2007), no. 1, 61–77.
Ted Chiang, Catching crumbs from the table, Nature 405 (2000), no. 6786, 517–517.
Andy Clark, Whatever next? predictive brains, situated agents, and the future of cognitive science, Behavioral and Brain Sciences 36 (2013), no. 3, 181–204.
Kenneth James Williams Craik, The nature of explanation, Cambridge University Press, 1967.
Haskell B. Curry, Outlines of a Formalist Philosophy of Mathematics, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1951. MR 44471
Hanneke Den Ouden, Peter Kok, and Floris De Lange, How prediction errors shape perception, attention, and motivation, Frontiers in Psychology 3 (2012).
Daniel C Dennett, Intuition pumps and other tools for thinking, WW Norton & Company, 2013.
Jacob G Foster, Feng Shi, and James Evans, Surprise! measuring novelty as expectation violation, SocArXiv (2021).
Linton C Freeman, A set of measures of centrality based on betweenness, Sociometry (1977), 35–41.
Patrice Godefroid, Fuzzing: Hack, art, and science, Commun. ACM 63 (2020), no. 2, 70–76.
Phillip Griffiths, Solomon Lefschetz, Biographical Memoirs: Volume 61, The National Academies Press, 1992.
Michael Harris, Mathematics without apologies, Princeton University Press, Princeton, NJ, 2015. Portrait of a problematic vocation. MR 3289987, DOI 10.1515/9781400852024
Alison Hills, Aesthetic testimony, understanding and virtue, Noûs 56 (2022), no. 1, 21–39.
Laurent Itti and Pierre Baldi, Bayesian surprise attracts human attention, Advances in Neural Information Processing Systems 18 (2005).
Philip N Johnson-Laird, Mental models and deduction, Trends in Cognitive Sciences 5 (2001), no. 10, 434–442.
Imre Lakatos, Proofs and refutations, Cambridge University Press, Cambridge-New York-Melbourne, 1976. The logic of mathematical discovery; Edited by John Worrall and Elie Zahar. MR 479916, DOI 10.1017/CBO9781139171472
Steven Levy, Hackers: Heroes of the computer revolution, Anchor Press/Doubleday Garden City, NY, 1984.
Patrick Massot, Why formalize mathematics?, https://www.imo.universite-paris-saclay.fr/~patrick.massot/files/exposition/why_formalize.pdf.
Rosa Menkman, Glitch studies manifesto, Video Vortex Reader II: Moving Images Beyond YouTube, ed. Geert Lovink and Rachel Somers Miles, (Amsterdam, Netherlands: Institute of Netweork Cultures, 2011, 336–347).
Jaimie Murdock, Colin Allen, and Simon DeDeo, Exploration and exploitation of Victorian science in Darwin’s reading notebooks, Cognition 159 (2017), 117–126.
C. Thi Nguyen, The Uses of Aesthetic Testimony, The British Journal of Aesthetics 57 (2017), no. 1, 19–36.
C. Thi Nguyen, Games: Agency as art, Oxford University Press, USA, 2020.
Catarina Dutilh Novaes, The dialogical roots of deduction—historical, cognitive, and philosophical perspectives on reasoning, Cambridge University Press, Cambridge, 2021. MR 4411368, DOI 10.1017/9781108800792
Hilary Putnam, Rethinking mathematical necessity, The New Wittgenstein (Alice Crary and Rupert Read, eds.), Routledge, 2000, pp. 245–263.
Jon Robson, Aesthetic testimony, Philosophy Compass 7 (2012), no. 1, 1–10.
Bertrand Russell, Mysticism and logic, Taylor Garnett Evans & Co., Watford, Hertsfordshire, UK, 1917.
Peter Scholze, Liquid tensor experiment, Exp. Math. 31 (2022), no. 2, 349–354. MR 4458116, DOI 10.1080/10586458.2021.1926016
Terrence Tao, On “local” and “global” errors in mathematical papers, and how to detect them, https://terrytao.wordpress.com/advice-on-writing-papers/on-local-and-global-errors-in-mathematical-papers-and-how-to-detect-them/.
Akshay Venkatesh, Some thoughts on automation and mathematical research, (2022), https://www.math.ias.edu/~akshay/research/IASEssay.pdf.
Scott Viteri and Simon DeDeo, Epistemic phase transitions in mathematical proofs, Cognition 225 (2022), 105120.
C. J. F. Williams, Knowledge, belief and existence, Analysis (Oxford) 47 (1987), no. 2, 103–110. MR 914178, DOI 10.2307/3328867
Zachary Wojtowicz and Simon DeDeo, From probability to consilience: How explanatory values implement bayesian reasoning, Trends in Cognitive Sciences 24 (2020), no. 12, 981–993.
David H. Wolpert and David B. Kinney, Stochastic mathematical systems, arXiv:2209.00543 (2023), math.LO.
Eric Zimmerman, Manifesto for a ludic century, The Gameful World: Approaches, Issues, Applications, MIT Press, 2015.