General Considerations for the New Cognitive Foundations’ Program

Danny A. J. Gómez Ramírez
Additional contact information
Danny A. J. Gómez Ramírez: Instituto Tecnológico Metropolitano (ITM), Research’s Labs Center Parque i

Chapter Chapter 3 in Artificial Mathematical Intelligence, 2020, pp 41-52 from Springer

Abstract: 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.

Date: 2020
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-030-50273-7_3

Ordering information: This item can be ordered from
http://www.springer.com/9783030502737

DOI: 10.1007/978-3-030-50273-7_3

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().