Functional Conceptual Substratum as a New Cognitive Mechanism for Mathematical Creation
Logic
2017-10-12 v1
Abstract
We describe a new cognitive ability, i.e., functional conceptual substratum, used implicitly in the generation of several mathematical proofs and definitions. Furthermore, we present an initial (first-order) formalization of this mechanism together with its relation to classic notions like primitive positive definability and Diophantiveness. Additionally, we analyze the semantic variability of functional conceptual substratum when small syntactic modifications are done. Finally, we describe mathematically natural inference rules for definitions inspired by functional conceptual substratum and show that they are sound and complete w.r.t. standard calculi.
Keywords
Cite
@article{arxiv.1710.04022,
title = {Functional Conceptual Substratum as a New Cognitive Mechanism for Mathematical Creation},
author = {Danny A. J. Gomez-Ramirez and Stefan Hetzl},
journal= {arXiv preprint arXiv:1710.04022},
year = {2017}
}