Set Theory and Logic

2005 Submissions

[2] viXra:2005.0232 [pdf] replaced on 2020-06-29 13:56:53

The Diagonalization Paradox

Authors: Ron Ragusa
Comments: 11 Pages.

In 1891 Georg Cantor published his Diagonal Method which, he asserted, proved that the real numbers cannot be put into a one-to-one correspondence with the natural numbers. In this paper we will see how by varying the initial conditions of Cantor’s proof we can use the diagonal method to produce a one-to-one correspondence between the set of natural numbers and the set of infinite binary decimals in the interval (0, 1). In the appendix we demonstrate that using the diagonal method recursively will, at the limit of the process, fully account for all the infinite binary decimals in (0, 1). The proof will cement the one-to-one correspondence between the natural numbers and the infinite binary decimals in (0, 1).
Category: Set Theory and Logic

[1] viXra:2005.0187 [pdf] submitted on 2020-05-18 10:06:05

First Incompleteness Theorem New Way of Proving

Authors: Dmitri Martila
Comments: 2 Pages.

Demonstrated in alternative way, that the First Theorem of Gödel is true, and holds not only for some special mathematical problems, but in general.
Category: Set Theory and Logic