On Signifiable Computability: Part I: Signification of Real Numbers, Sequences, and Types

Vladimir A. Kulyukin ()
Additional contact information
Vladimir A. Kulyukin: Department of Computer Science, Utah State University, Logan, UT 84322, USA

Mathematics, 2024, vol. 12, issue 18, 1-17

Abstract: Signifiable computability aims to separate what is theoretically computable from what is computable through performable processes on computers with finite amounts of memory. Real numbers and sequences thereof, data types, and instances are treated as finite texts, and memory limitations are made explicit through a requirement that the texts be stored in the available memory on the devices that manipulate them. In Part I of our investigation, we define the concepts of signification and reference of real numbers. We extend signification to number tuples, data types, and data instances and show that data structures representable as tuples of discretely finite numbers are signifiable. From the signification of real tuples, we proceed to the constructive signification of multidimensional matrices and show that any data structure representable as a multidimensional matrix of discretely finite numbers is signifiable.

Keywords: computability theory; theory of recursive functions; number theory; real numbers; real number sequences (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2024
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/12/18/2881/pdf (application/pdf)
https://www.mdpi.com/2227-7390/12/18/2881/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:12:y:2024:i:18:p:2881-:d:1478878

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().