On the computational properties of the uncountability of the real numbers

06/25/2022
by   Sam Sanders, et al.
0

The uncountability of the real numbers is one of their most basic properties, known (far) outside of mathematics. Cantor's 1874 proof of the uncountability of the real numbers even appears in the very first paper on set theory, i.e. a historical milestone. Despite this famous status and history, the computational properties of the uncountability of the real numbers have not been studied much. In this paper, we study the following computational operation that witnesses that the real numbers not countable: on input a countable set of reals, output a real not in that set. In particular, we formulate a considerable number of operations that are computationally equivalent to the centred operation, working in Kleene's higher-order computability theory based on his S1-S9 computation schemes. Perhaps surprisingly, our equivalent operations involve most basic properties of the Riemann integral and Volterra's early work circa 1881.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/10/2022

On the computational properties of basic mathematical notions

We investigate the computational properties of basic mathematical notion...
research
11/30/2019

Belief and plausibility measures for D numbers

As a generalization of Dempster-Shafer theory, D number theory provides ...
research
04/01/2021

Using Graph Theory to Derive Inequalities for the Bell Numbers

The Bell numbers count the number of different ways to partition a set o...
research
06/30/2020

A Computational Criterion for the Irrationality of Some Real Numbers

In this paper, we compute the asymptotic average of the decimals of some...
research
07/16/2023

The sequence of higher order Mersenne numbers and associated binomial transforms

In this article, we introduce and study a new integer sequence referred ...
research
11/01/2022

Fibonacci and digit-by-digit computation; An example of reverse engineering in computational mathematics

The Fibonacci numbers are familiar to all of us. They appear unexpectedl...
research
11/18/2021

Number of New Top 2

In this paper we compare the numbers of new top 2 USA annually since 198...

Please sign up or login with your details

Forgot password? Click here to reset