Abstract
We discuss various ways of representing natural numbers in computations. We are primarily concerned with their computational properties, i.e. which functions each of these representations allows us to compute. We show that basic functions, such as successor, addition, multiplication and exponentiation are largely computationally independent from each other, which means that in most cases computability of one of them in a certain representation does not imply that others will be computable in it as well.
We also examine what difference can be made if we restrict our attention only to those representations in which it is decidable whether two numerals represent the same number. It turns out that the impact of such restriction is huge and that it allows us to rule out representations with certain unusual properties.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
The algorithm which is supposed to find out whether \(n \in A\) will have answers for \(n \in \{0,1\}\) explicitly given as special cases.
References
Copeland, B.J., Proudfoot, D.: Deviant encodings and Turing’s analysis of computability. Stud. Hist. Philos. Sci. Part A 41(3), 247–252 (2010)
Quinon, P.: A taxonomy of deviant encodings. In: Manea, F., Miller, R.G., Nowotka, D. (eds.) CiE 2018. LNCS, vol. 10936, pp. 338–348. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-94418-0_34
Rescorla, M.: Church’s thesis and the conceptual analysis of computability. Notre Dame J. Formal Logic 48(2), 253–280 (2007)
Shapiro, S.: Acceptable notation. Notre Dame J. Formal Logic 23(1), 14–20 (1982)
Wrocławski, M.: Representing Numbers. Filozofia Nauki 26(4), 57–73 (2018)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Wrocławski, M. (2019). Representations of Natural Numbers and Computability of Various Functions. In: Manea, F., Martin, B., Paulusma, D., Primiero, G. (eds) Computing with Foresight and Industry. CiE 2019. Lecture Notes in Computer Science(), vol 11558. Springer, Cham. https://doi.org/10.1007/978-3-030-22996-2_26
Download citation
DOI: https://doi.org/10.1007/978-3-030-22996-2_26
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-22995-5
Online ISBN: 978-3-030-22996-2
eBook Packages: Computer ScienceComputer Science (R0)