Talk:Cantor's diagonal argument/Arguments: Difference between revisions

Revision as of 16:26, 13 June 2023

Revision as of 15:30, 15 June 2023

Line 1,070:

: No, Cantor shows there's more binary strings (equivalently: more subsets of natural numbers) than natural numbers.

: This ''can'' be used to prove that there is more real numbers than integers, but that requires defining an additional function, which estabilishes a bijection between all binary sequences and real numbers (or at least a surjection from the former to the latter).

: Anyway, uncountability of real numbers is proven much simpler by showing they can't be enumerated with a [[sequence]] – see [[Georg Cantor's first set theory article#The proofs]]. --[[User:CiaPan|CiaPan]] ([[User talk:CiaPan|talk]]) 16:01, 6 April 2019 (UTC)

== The proof is (EDIT: NOT) incomplete ==