2003•arXiv (Cornell University)Open access

On Cantor's important proofs

W. Mueckenheim

Open full text 0 citations

Abstract

It is shown that the pillars of transfinite set theory, namely the uncountability proofs, do not hold. (1) Cantor's first proof of the uncountability of the set of all real numbers does not apply to the set of irrational numbers alone, and, therefore, as it stands, supplies no distinction between the uncountable set of irrational numbers and the countable set of rational numbers. (2) As Cantor's second uncount-ability proof, his famous second diagonalization method, is an impossibility proof, a simple counter-example suffices to prove its failure. (3) The contradiction of any bijection between a set and its power set is a consequence of the impredicative definition involved. (4) In an appendix it is shown, by a less important proof of Cantor, how transfinite set theory can veil simple structures.

Open-access reader

About this research paper

What this paper is about

It is shown that the pillars of transfinite set theory, namely the uncountability proofs, do not hold. (1) Cantor's first proof of the uncountability of the set of all real numbers does not apply to the set of irrational numbers alone, and, therefore, as it stands, supplies no distinction between the uncountable set of irrational numbers and the countable set of rational numbers. (2) As Cantor's second uncount-ability proof, his famous second diagonalization method, is an impossibility proof, a simple counter-example suffices to prove its failure. (3) The contradiction of any bijection between a set and its power set is a consequence of the impredicative definition involved. (4) In an appendix it is shown, by a less important proof of Cantor, how transfinite set theory can veil simple structures.

Why it matters

A significance statement is not available in the OpenAlex record.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

It is shown that the pillars of transfinite set theory, namely the uncountability proofs, do not hold. (1) Cantor's first proof of the uncountability of the set of all real numbers does not apply to the set of irrational numbers alone, and, therefore, as it stands, supplies no distinction between the uncountable set of irrational numbers and the countable set of rational numbers. (2) As Cantor's second uncount-ability proof, his famous second diagonalization method, is an impossibility proof, a simple counter-example suffices to prove its failure. (3) The contradiction of any bijection between a set and its power set is a consequence of the impredicative definition involved. (4) In an appendix it is shown, by a less important proof of Cantor, how transfinite set theory can veil simple structures.

Key concepts: Uncountable set, Mathematical proof, Transfinite number, Countable set, Mathematics, Irrational number, Cantor set, Cantor's diagonal argument

Related papers

Back to paper searchBrowse research topicsOriginal source
On Cantor's important proofs — Research Paper | ScholarLens