Document Type
Article
Author ORCID Identifier
Vladimir A. Kulyukin https://orcid.org/0000-0002-8778-5175
Journal/Book Title/Conference
Mathematics
Volume
13
Issue
6
Publisher
MDPI AG
Publication Date
3-11-2025
Journal Article Version
Version of Record
First Page
1
Last Page
36
Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.
Abstract
Signifiable computability aims to separate what is theoretically computable from what is computable through performable processes on computers with finite amounts of memory. Mathematical objects are signifiable in a formalism β on an alphabet π if they can be written as spatiotemporally finite texts in β on π. In a previous article, we formalized the signification and reference of real numbers and showed that data structures representable as multidimensional matrices of discretely finite real numbers are signifiable. In this investigation, we continue to formulate our theory of signifiable computability by offering an axiomatization of signifiable computation on discretely finite real numbers. The axiomatization implies an ontology of functions on discretely finite real numbers that classifies them as signifiable, signifiably computable, and signifiably partially computable. Relative to β and π, signification is performed with two formal systems: the Former Fπ,β that forms texts in β on π and the Transformer Tπ,β that transforms texts formed by Fπ,β into other texts in β on π. Singifiable computation is defined relative to β on π as a finite sequence of signifiable program states, the first of which is generated by Fπ,β and each subsequent state is deterministically obtained from the previous one by Tπ,β. We define a debugger function to investigate signifiable computation on finite-memory devices and to prove two theorems, which we call the Debugger Theorems. The first theorem shows that, for a singifiably partially computable function signified by a program on a finite-memory device π, the memory capacity of π is exceeded when running the program on signifiable discretely finite real numbers outside of the functionβs domain. The second theorem shows that there are functions signifiably computable in general that become partially signifiably computable when signified by programs on π insomuch as the memory capacity of π can be exceeded even when the programs are executed on some signifiable discretely finite real numbers in the domains of these functions.
Recommended Citation
Kulyukin, V.A. On Signifiable Computability: Part II: An Axiomatization of Signifiable Computation and Debugger Theorems. Mathematics 2025, 13, 934. https://doi.org/10.3390/math13060934
