3 citations · 3 across the 2 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2018
Expansion Trees with Cut
Federico Aschieri, Stefan Hetzl, Daniel Weller
Herbrand's theorem is one of the most fundamental insights in logic. From the syntactic point of view, it suggests a compact representation of proofs in classical first- and higher…
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…