Conceptual Substratum

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 9 in Artificial Mathematical Intelligence, 2020, pp 147-163 from Springer

Abstract: Abstract A new cognitive (metamathematical) mechanism is introduced, namely conceptual substratum and its dual version conceptual lining, which are used omnipresently in the generation of lots of concepts and proofs in (pure and applied) mathematics and related fields. This new notion is motivated by a wide collection of mathematical notions coming from several disciplines and possessing different degrees of sophistication. We present special and more general formalizations of this ability together with its connection with classic notions like primitive positive definability and Diophantineness. Finally, we describe how conceptual substratum can illuminate and enhance the cognitive coherence of (classic) deductive systems like the sequent calculus.

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_9

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

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

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 ().