1 citations · 2 across the 10 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2018
Dathematics: A Meta-isomorphic Version of 'Standard' Mathematics based on Proper Classes
Danny A. J. Gomez-Ramirez
We show that the (typical) quantitative considerations about proper (as too big) and small classes are just tangential facts regarding the consistency of Zermelo-Fraenkel Set Theor…
math.LO2017
Functional Conceptual Substratum as a New Cognitive Mechanism for Mathematical Creation
Danny A. J. Gomez-Ramirez, Stefan Hetzl
We describe a new cognitive ability, i.e., functional conceptual substratum, used implicitly in the generation of several mathematical proofs and definitions. Furthermore, we prese…