Abstract
A new cognitive foundational program for the fulfillment of artificial mathematical intelligence is proposed: The New Cognitive Foundations for Mathematics. This program aims to ground mathematics and (the corresponding parts of) logic (founding parts of mathematics) from a multidisciplinary perspective. The main challenges and cornerstones of this new program are described. Additionally, fundamental aspects of the cognitive substratum of (current formalizations of the notion of) mathematical proof are analyzed in detail. Finally, basic principles of the local nature of the (conscious) mind are presented where mathematics is considered, to some extent, as an explicit (cognitive) product of it.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Here it is important to clarify that, implicitly, cognitive science includes, in its original and modern approaches, results and methods from psychology, (neuro)biology, computer science, anthropology, and AI, among others. However, it is always valuable to explore new connections that cognitive science, as a well-established discipline, can have with the latest results of the former disciplines for understanding (the fundamental principles of) the mind, and therefore of mathematical research. Therefore, all the other scientific disciples are explicitly mentioned, although they are partially included in cognitive science.
- 2.
This specific approach can be included as a part of the classic cognitive foundations for mathematics, introduced at the same time in [14].
- 3.
The interested reader can take a look into Chap. 5 concerning the physical numbers, which can be seen as a formal refinement of the natural numbers with a stronger cognitive and physical basis.
- 4.
At this point, it is worth noting that the incompleteness theorems would need, as one of its minimal hypothesis, the existence of infinity structures (e.g., an infinity tree), which are again essentially non-physical statements [4].
- 5.
- 6.
Standard mathematics in this context means all the standard theories that we can ground based on ZFC set theory, which would represent, let us say, more than 95% of modern mathematics.
- 7.
- 8.
Here we mean the formal as well as the informal notation that we use for getting intuitions and for subsequently formalizing (mathematical) arguments.
- 9.
For more about this, see Chap. 12, where we describe the most fundamental future challenges of the AMI (meta-)program.
- 10.
Again, the reader can find more information in Chap. 12.
- 11.
For a more detailed collection of such researchers, together with general considerations about the impact of their work, see [35].
- 12.
This statement has a more explicit content suitable to be combined with additional facts involved in the corresponding conjecture.
- 13.
This is, in fact, one of the common objections that constructive mathematics does to the “standard” proof methods [27].
- 14.
Based on the state of the art of neurobiology and psychology, it is clear that our unconscious mind also plays a primary role in conceptual creation. However, we want to emphasize here the primary features of the conscious part of the mind, which are fundamental during abstract creation as well.
- 15.
The usage of the term “unity” is inspired by the unified nature of conscious experience, as well as for the quest of finding a formal quantification for it [7].
- 16.
This machinery will be developed in much more detail in the second part of the book.
References
Alexander, J.C.: Blending in mathematics. Semiotica 2011(187), 1–48 (2011)
Atiyah, M.: Topological quantum field theories. Publications Mathématiques de l’Institut des Hautes Études Scientifiques 68(1), 175–186 (1988)
Balaguer, M.: Platonism and anti-platonism in mathematics. Oxford University Press on Demand (2001)
Berto, F.: There’s Something About Gdel: The Complete Guide to the Incompleteness Theorem. John Wiley & Sons (2011)
Buss, S.R.: Handbook of proof theory, vol. 137. Elsevier (1998)
Campbell, J.I.: Handbook of mathematical cognition. Psychology Press (2005)
Cleeremans, A.E.: The unity of consciousness: Binding, integration, and dissociation. Oxford University Press (2003)
Dehaene, S.: The number sense: How the mind creates mathematics. OUP USA (2011)
Feferman, S., Dawson, J.W., Kleene, S.C., Moore, G.H., Solovay, R.M.: Kurt gödel: Collected works, vol. i: Publications 1929–1936 (1998)
Ferreirós, J.: Labyrinth of thought: A history of set theory and its role in modern mathematics. Springer Science & Business Media (2008)
Horst, S.: The computational theory of mind. Stanford Encyclopedia of Philosophy (2011)
Jackendoff, R.: Consciousness and the computational mind. The MIT Press (1987)
Kunen, K.: Set theory an introduction to independence proofs, Studies in Logic and the Foundations of Mathematics, vol. 102. Elsevier (2014)
Lakoff, G., Núñez, R.: Where Mathematics Comes From: How the Embodied Mind Brings Mathematics into Being. Basic Books, New York (2000)
Marker, D.: Model theory: an introduction, vol. 217. Springer Science & Business Media (2006)
Mendelson, E.: Introduction to Mathematical Logic (Fifth Edition). Chapman & Hall/CRC (2010)
Novaes, C.D.: Formal languages in logic: A philosophical and cognitive analysis. Cambridge University Press (2012)
Novaes, C.D.: Mathematical reasoning and external symbolic systems. Logique et Analyse 56(221) (2013)
Quine, W.V.: New foundations for mathematical logic. The American mathematical monthly 44(2), 70–80 (1937)
Robinson, A.J., Voronkov, A.: Handbook of automated reasoning, vol. 1. Elsevier (2001)
Schwering, A., Krumnack, U., Kuehnberger, K.U., Gust, H.: Syntactic principles of heuristic driven theory projection. Cognitive Systems Research 10(3), 251–269 (2009)
Shapiro, S., Wainwright, W.J., et al.: The Oxford handbook of philosophy of mathematics and logic. OUP USA (2005)
Simpson, S.G.: Reverse mathematics. In: Proc. Symposia Pure Math, vol. 42, pp. 461–471 (1985)
Tegmark, M.: The mathematical universe. Foundations of Physics 38(2), 101–150 (2008)
Tegmark, M.: Our mathematical universe: My quest for the ultimate nature of reality. Penguin UK (2014)
Tennant, N.: Logicism and neologicism. Stanford Encyclopedia of Philosophy (2013)
Troelstra, A., Van Dalen, D.: Constructivism in mathematics, vol. 121 of studies in logic and the foundations of mathematics (1988)
Wang, P.: Non-axiomatic reasoning system: Exploring the essence of intelligence. Ph.D. thesis, University of Indiana (1995)
Wang, P.: Cognitive logic versus mathematical logic. In: Proceedings of the Third International Seminar on Logic and Cognition (2004)
Weir, A.: Formalism in the philosophy of mathematics. Stanford Encyclopedia of Philosophy (2011)
Whitehead, A.N., Russell, B.: Principia Mathematica. (3 vols). Cambridge University Press (1910,1911,1912)
Witten, E.: Topological quantum field theory. Communications in Mathematical Physics 117(3), 353–386 (1988)
Witten, E.: Quantum field theory and the Jones polynomial. Communications in Mathematical Physics 121(3), 351–399 (1989)
Ye, F.: Strict finitism and the logic of mathematical applications, vol. 355. Springer Science & Business Media (2011)
Zalamea, F.: Synthetic philosophy of contemporary mathematics. Urbanomic (2012)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Gómez Ramírez, D.A.J. (2020). General Considerations for the New Cognitive Foundations’ Program. In: Artificial Mathematical Intelligence. Springer, Cham. https://doi.org/10.1007/978-3-030-50273-7_3
Download citation
DOI: https://doi.org/10.1007/978-3-030-50273-7_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-50272-0
Online ISBN: 978-3-030-50273-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)