The proof uses the famous Cantor's diagonal argument which can be found in many different places online. Unfortunately, it can not be written here. The idea is to assume that there is an enumeration of all possible sequences of natural numbers and then find another sequence that it has been "forgotten" from this enumeration. This implies a contradiction and hence, it concludes the argument.
Jason L.
asked 11/20/17I need help with writing a proof about cardinality. Please look at description for more detail.
Let N^N(Nautral Numbers)={f:f|N->N}.
a. Give two elements of N^N
b. Prove that Aleph Zero <|N^N|
Follow
1
Add comment
More
Report
1 Expert Answer
Still looking for help? Get the right answer, fast.
Ask a question for free
Get a free answer to a quick problem.
Most questions answered within 4 hours.
OR
Find an Online Tutor Now
Choose an expert and meet online. No packages or subscriptions, pay only for the time you need.