solidot新版网站常见问题,请点击这里查看。
消息
本文已被查看1279次
Functional Conceptual Substratum as a New Cognitive Mechanism for Mathematical Creation. (arXiv:1710.04022v1 [math.LO])
来源于:arXiv
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. 查看全文>>