# The notion of "Unimaginable Numbers" in computational number theory

Literature considers under the name unimaginable numbers any positive integer going beyond any physical application, with this being more of a vague description of what we are talking about rather than an actual mathematical definition. This simply means that research in this topic must always consider shortened representations, usually involving recursion, to even being able to describe such numbers. One of the most known methodologies to conceive such numbers is using hyperoperations, that is a sequence of binary functions defined recursively starting from the usual chain: addition - multiplication - exponentiation. The most important notations to represent such hyperoperations have been considered by Knuth, Goodstein, Ackermann and Conway as described in this work's introduction. Within this work we will give an axiomatic set for this topic, and then try to find on one hand other ways to represent unimaginable numbers, as well as on the other hand applications to computer science, where the algorithmic nature of representations and the increased computation capabilities of computers give the perfect field to develop further the topic. After the introduction, we will give axioms and generalizations for the up-arrow notation; in the subsequent section we consider a representation via rooted trees of the hereditary base-n notation involved in Goodstein's theorem, which can be used efficiently to represent some defective unimaginable numbers, and in the last section we will analyse some methods to compare big numbers, proving specifically a theorem about approximation using scientific notation.

• 2 publications
• 2 publications
• 1 publication
research
04/14/2023

### On representations of real numbers and the computational complexity of converting between such representations

We study the computational complexity of converting one representation o...
research
02/01/2023

### A formalisation of Gallagher's ergodic theorem

Gallagher's ergodic theorem is a result in metric number theory. It stat...
research
02/07/2020

### Computational Aspects of Sturdy and Flimsy Numbers

Following Stolarsky, we say that a natural number n is flimsy in base b ...
research
03/26/2009

### Building the information kernel and the problem of recognition

At this point in time there is a need for a new representation of differ...
research
04/18/2009

### Principle of development

Today, science have a powerful tool for the description of reality - the...
research
08/02/2023

### Skolem Meets Bateman-Horn

The Skolem Problem asks to determine whether a given integer linear recu...
research
05/23/2011

### A Tool for Integer Homology Computation: Lambda-At Model

In this paper, we formalize the notion of lambda-AT-model (where λ is a ...