New Cognitive Foundations for Mathematics

October 12, 2017


The New Cognitive Foundations for Mathematics is an interdisciplinary program for finding more
cognitively-inspired and computationally-feasible refinements of the most basic logic and mathematical
(syntactic and semantic) structures used for grounding not only mathematics as a whole, but also for
grounding specific mathematical sub-theories. Examples of these structures are the notions of membership, set; natural, integer, rational, real and complex numbers; (in-)finite, continuity, differentiability, formal model, implication, conjunction, disjunction, negation and equivalence, among others.

One of the central principles for developing these new foundations emerges from the observation
that, independently of the degree of geniality that some mathematical theories can possess, they are
always a product of the finite and bounded human cognition, which at the same time is immersed in our
huge, but finite, universe.

Moreover, the foundational relation between the physical realm and the nature of mathematical
structures and proofs is deeper than one can perceive at first sight. In fact, the history of science has seen a lot of inspirational breakthroughs in mathematics coming originally from research done in theoretical and experimental physics.

Now, how strong can be the influence that formal physical (and computational) frameworks and
principles can have for explaining and grounding mathematics? This classic question starts to gain
importance in current research because the most essential results in cognitive sciences are supporting
(more and more) the fact that a lot of aspects of human mathematical creation/invention are susceptible
to be modeled computationally.

Furthermore, another cornerstone for these new cognitive foundations is the carefully development
of new syntactic representations for mathematical structures and proofs which contain more semantic
content of the corresponding structures and proofs, and fulfilling also minimal properties of uniqueness
and contextual-freedom for being suitable to be integrated into a bigger artificial framework simulating
human-style deductive mechanisms.

An outstanding mathematical notion which should be revised is the one of (natural) number, and,
in general, the seminal set of ‘natural numbers’ as a whole. This is one of the most basic structures
in mathematics, and at the same time, one of the most mysterious ones. Therefore, it would be very
useful to be able to classify the fundamental formal features and intuitions about the (so called) ‘natural
numbers’ into physically supported parts, and meta-physical (or cognitive) ones. So, we could construct
a formal numerical system acting as a refinement of the natural numbers, but with stronger physical
and computational grounds and fulfilling the most essential properties that their ‘natural’ counterparts

More generally, there are a lot of (classic) mathematical notions (and deductive methods) which
are used (among others) in theoretical physics for modeling several physical phenomena, but whose

semantic grounds seem to be more mental (and meta-physical) than physical and computational. For
instance, examples of these notions and methods are the concept of infinite set; large and inaccessible
cardinal; power set; infinitesimal, real and complex number; formal negation and proof by the sake of
contradiction. So, as before we need to find refinements of the former notions and methods not only more
physically-accessible and computationally-feasible, but also possessing minimal structural requirements
for modeling (at least) as much (physical and) mathematical phenomena as their classic counterparts.
So, due to the interdisciplinary nature of this program, the conformation of an ‘colorful’ group
of philosophers, physicists, computer scientists and mathematicians (among others) would be highly

Finally, due to the philosophical, computational and logic nature of this meta-program, the new
cognitive foundations of mathematics are one of the seminal components for achieving Artificial Mathematical Intelligence in a near future.





[1] Alexander, J. (2011). Blending in mathematics. Semiotica, 187: 1–48.
[2] Apostol, T. (1976). Introduction to Analytic Number Theory. Springer.
[3] Atiyah, M. F. and Macdonald, I. (1969). Introduction to Commutative Algebra. Addison-Wesley,
Reading, MA.
[4] Beeson, M. (1989). Some applications of gentzen’s proof theory in automated deduction. In
International Workshop on Extensions of Logic Programming, pages 101–156. Springer.
[5] Besold T. R., Bou F., Cambouropoulos E., Codescu M., Confalonieri R., Corneli J., Hedblom M.,
Kaliakatsos-Papakostas M., Kühnberger K.-U., Kutz O., Gómez-Ramírez D., Mossakowski T.,
Neuhaus F., Pease A., Plaza E., Schorlemmer M., Smaill A., and Zacharakis A. (2017). Conceptual
blending in dol, evaluating consistency, conflict resolution. In Confalonieri R., Pease A. and
Schorlemmer M. et al. editors, Concept Invention: Foundations, Implementations, Social Aspects
and Applications, Cognitive Technologies. Springer.
[6] Bidoit, M. and Mosses, P. D. (2004). CASL User Manual. Lecture Note in Computer Science
2900, Springer.
[7] Bou F., Corneli J., Gómez-Ramírez D., Maclean E., Peace A., Schorlemmer M., and Smaill A.
(2015). The role of blending in mathematical invention. Proceedings of the Sixth International
Conference on Computational Creativity (ICCC). S. Colton et. al., eds. Park City, Utah, June 29-
July 2, 2015. Publisher: Brigham Young University, Provo, Utah., pages 55–62.
[8] Boy de la Tour, T. and Peltier, N. (2014). Computational Approaches to Analogical Reasoning:
Current Trends, chapter Analogy in Automated Deduction: A Survey, pages 103–130. Springer,
Berlin, Heidelberg.
[9] Brenner, H. and Gómez-Ramírez, D. (2014). On the connectedness of the spectrum of forcing
algebras. Revista Colombiana de Matemáticas, 48(1): 1–19.
[10] Brenner, H. and Gómez-Ramírez, D. (2016). Normality and related properties of forcing algebras.
Communications in Algebra, 44(11): 4769–4793.
[11] Bridge, J. P. (2010). Machine learning and automated theorem proving. Technical report, University
of Cambridge, Computer Laboratory.
[12] Bundy, A. (2011). Automated theorem provers: a practical tool for the working mathematician?
Ann. Math. Artif. Intell., 61:3–14.
[13] Bundy A., Atiyah M., Macintyre A., and Mackenzie D. editors (2005). The nature of mathematical
proof. Philosophical Transactions of the Royal Society A, 363 (1835).
[14] Bundy A., Jamnik M., and Fugard A. (2005). What is a proof? Phil. Trans. R. Soc A, 363(1835):
[15] Codescu M., Neuhaus F., Mossakowski T., Kutz O., and Gómez-Ramírez D. (2017). Conceptual
blending in dol, evaluating consistency, conflict resolution. In Confalonieri R., Pease A. and
Schorlemmer M. et al. editors, Concept Invention: Foundations, Implementations, Social Aspects
and Applications, Cognitive Technologies. Springer.
[16] Cook, S. A. and Reckhow, R. A. (1979). The relative efficiency of propositional proof systems.
The Journal of Symbolic Logic, 44(01): 36–50.
[17] Crandall, R. and Pomerance, C. (2006). Prime numbers: a computational perspective, volume
182. Springer.
[18] Darwiche, A. and Marquis, P. (2002). A knowledge compilation map. Journal of Artificial Intelligence
Research, 17(1): 229–264.

[19] Défourneaux G., Bourely C., and Peltier N. (1998). Semantic generalizations for proving and
disproving conjectures by analogy. Journal of Automated Reasoning, 20(1-2): 27–45.
[20] Dirac, P. (1938). A new notation for quantum mechanics. Mathematical Proceedings of the Cambridge
Philosophical Society, 35(3): 416–418.
[21] Eisenbud, D. (1995). Commutative Algebra with a View Toward Algebraic Geometry. Springer.
[22] Fauconnier, G. and Turner, M. (2003). The Way We Think. Basic Books.
[23] Feferman, S. (1988). Hilbert’s program relativized; proof-theoretical and foundational reductions.
The Journal of Symbolic Logic, 53(02): 364–384.
[24] Feferman, S. (1989). Finitary inductively presented logics. Studies in Logic and the Foundations
of Mathematics, 127: 191–220.
[25] Flach, P. A. (2010). Encyclopedia of Machine Learning, chapter First-Order Logic, pages 410–
415. Springer.
[26] Fleuriot J., Hofner P., McIver A., and Smaill A. (2013). ATx´ 12/WInG´ 12: Joint proceedings of
the workshops on automated theory exploration and on invariant generation, 6th international joint
conference on automated reasoning 2012, easychair proceedings (epic volume 17). Vol. 1.
[27] Fleuriot J., Obua S., Scott P., and Aspinall D. (2014). Proofpeer: Collaborative theorem proving.
[28] G. Lakoff and R. Núñez (2000). Where Mathematics Comes From. Basic Books.
[29] Gallego E., Gómez-Ramírez D., and Vélez, J. D. (2016). The direct summand conjecture for some
bi-generated extensions and an asymptotic version of koh’s conjecture. Beiträge zur Algebra und
Topologie, pages 1–16.
[30] Ganesalingam, M. and Gowers, W. T. (2016). A fully automatic theorem prover with human-style
output. Journal of Automated Reasoning, pages 1–39.
[31] Gómez-Ramírez, D. (2015). Conceptual blending as a creative meta-generator of mathematical
concepts: Prime ideals and dedekind domains as a blend. C3GI at UNILOG 2015, Workshop on
Computational Creativity, Concept Invention, and General Intelligence. Tarek B. Besold et al.,
editors. Publications of the Institute of Cognitive Sciences, PICS series, University of Osnabrück
Vol. 2.
[32] Gómez-Ramírez, D. (2015). Conceptual blending as a creative meta-generator of mathematical
concepts: Prime ideals and dedekind domains as a blend. In Besold T. R., Kühnberger K.-U.,
Schorlemmer M., and Smaill A., editors, Proceedings of the 4th International Workshop on Computational
Creativity, Concept Invention, and General Intelligence (C3GI), volume 02-2015 of
Publications of the Institute of Cognitive Science, pages 1–11. Institute of Cognitive Science.
[33] Gómez-Ramírez, D. (2016). Formal Conceptual Blending as a Fundamental Logic Mechanism for
highly Abstract Mathematical Invention: The Beginning of a Meta-generation of Fields and Galois
Theory. Submitted. See attached preprint UnpubArticleGenerationBlending.pdf.
[34] Gómez-Ramírez, D. and Smaill A. (2017). Formal conceptual blending in the (co-)invention of
pure mathematics. In Confalonieri, R., Pease, A., and Schorlemmer M. et al. editors, Concept Invention:
Foundations, Implementations, Social Aspects and Applications, Cognitive Technologies.
[35] Grothendieck, A. and Dieudonné, J. (1971). Eléments de Géométrie Algébrique I. Springer.
[36] Harrison, J. (2009). Handbook of practical logic and automated reasoning. Cambridge University
[37] Hartshorne, R. (1977). Algebraic Geometry. Springer.
[38] Hoffman, K. and Kunze, R. (1971). Linear Algebra. Prentice-Hall.
[39] Fleuriot J., Maclean E., Smaill A., and Winterstein, D. (2014). Reinventing the complex numbers.
volume 1 of PICS. Workshop at ECAE, Prague. Workshop on Computational Creativity, Concept

Invention, and General Intelligence. Tarek B. Besold et al. editors. Publications of the Institute of
Cognitive Sciences, PICS series, University of Osnabrück.
[40] Krumnack U., Gust H., Kühnberger K., and Schwering, A. (2008). The re-representation problem
in a logic-based framework for analogy making. In Fox, D. and Gomes, C. editors, Proceedings
of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI-2008), pages 1462–1463.
AAAI Press.
[41] Krumnack U., Mossakowski T., and Maibaum T. (2014). What is a derived signature morphism? In
Diaconescu R., Codescu M. et al. editors, WADT 2014: 22nd International Workshop on Algebraic
Development Techniques, pages 50–51.
[42] Lightstone, A. H. (1978). Mathematical Logic: An Introduction to Model Theory, chapter Propositional
Calculus, pages 11–29. Springer.
[43] Martinez M., Abdel-Fattah A. M. H., Krumnack U., Gómez-Ramírez, D., Smaill, A., Besold, T. R.,
Pease, A., Schmidt, M., Guhe, M., and Kühnberger, K.-U. (2016). Theory blending: extended
algorithmic aspects and examples. Annals of Mathematics and Artificial Intelligence, pages 1–25.
[44] Mendelson, E. (2010). Introduction to Mathematical Logic; (5rd Ed.). Chapman& Hall/CRC,
Boca Raton, Fl, USA.
[45] Morel, F. and Voevodsky, V. (1999). A 1-homotopy theory of schemes. Publications Mathématiques
de l’IHES, 90(1): 45–143.
[46] Negri S., Von Plato J., and Ranta A. (2008). Structural proof theory. Cambridge University Press.
[47] Novaes, C. D. (2012). Formal languages in logic: A philosophical and cognitive analysis. Cambridge
University Press.
[48] Novaes, C. D. (2013). Mathematical reasoning and external symbolic systems. Logique et Analyse,
[49] Pastre, D. (1993). Automated theorem proving in mathematics. Annals of Mathematics and Artificial
Intelligence, 8(3): 425–447.
[50] Presburger, M. (1929). Über die vollständigkeit eines gewissen systems der arithmetik ganzer
zahlen welchem die addition als einzige operation hervortritt. Sprawozdanie z I Kongresu Matematyków
Krajów S´llowia´nskich, Warszawa, pages 92–101.
[51] Rescorla, M. (2015). The computational theory of mind. The Stanford Encyclopedia of Philosophy.
[52] Ribenboim, P. (2012). The new book of prime number records. Springer.
[53] Rota, G.-C. (1997). The phenomenology of mathematical proof. In Indiscrete Thoughts, pages
134–150. Springer.
[54] Schorlemmer M., Smaill A., Kühnberger K.-U., Kutz O., Colton S., Cambouropoulos E., and Pease
A. COINVENT: Towards a computational concept invention theory. In 5th International Conference
on Computational Creativity (ICCC).
[55] Schwering A., Krumnack U., Kühnberger K.-U., and Gust H. (2009). Syntactic principles of
heuristic driven theory projection. Cognitive Systems Research, 10(3): 251–269.
[56] Subramani, K. (2005). Tractable fragments of presburger arithmetic. Theory of Computing Systems,
[57] T. Mossakowski, Mäder C., and Codescu M. (2014). Hets user guide version 0.99,.
[58] Villemaire, C. M. R. (1996). Presburger arithmetic and recognizability of sets of natural numbers
by automata: New proofs of cobham’s and semenov’s theorems. Annals of Pure and Applied Logic,
[59] Weil, A. (1979). De la métaphysique aux mathématiques. Sciences, pages 408–412.
[60] Wiles, A. (1995). Modular elliptic curves and fermat last theorem. Annals of Mathematics, 142:
[61] Ye, F. (2011). Strict finitism and the logic of mathematical applications, volume 355. Springer.




Share on Facebook
Share on Twitter
Please reload

© Artificial Mathematical Intelligence

© Network ARMAINTE

© 2019 Danny A. J. Gomez-Ramirez.

  • Facebook Clean Grey

Follow us in Facebook