-
1Academic Journal
Authors: Bolter, Barry Brian
Contributors: Bolter, Barry Brian
Subject Terms: Recursive zero, Double zero (00), Mathematical abstraction, Logic boundary, Structural recursion, Formal systems, Zero asymmetry, Automata theory, Computational logic, Recursive computation, Meta-neutral element, Type theory, Recursive mathematics, Non-standard number systems, Closure and abstraction, Symbolic logic, Foundations of Mathematics, Logic and Set Theory, Number Theory (Non-standard number systems), Formal Languages and Automata Theory, Theory of Computation, Programming Languages (Semantics, Type Systems), Philosophy of Mathematics, Ontology of Abstraction, Symbolic Reasoning, Recursive Representation Models
Relation: https://zenodo.org/records/15667175; oai:zenodo.org:15667175; https://doi.org/10.5281/zenodo.15667175