SlideShare a Scribd company logo
Prove that the set of all infinite bitstrings is uncountable.
Solution
We used diagonalization to show that the set of real numbers in the interval [0, 1] is
uncountable, i.e. uncountably infinite. The technique was a follows: (1) Assume that a set S can
be enumerated. (2) Consider an arbitrary list of all the elements of S. (3) Use the diagonal from
the list to construct a new element t. (4) Show that t is in S but is different from all elements in
the list and so is not in the list. Contradiction. This shows that the original assumption that S is
countable was false, so S is uncountably infinite.

More Related Content

PDF
Prove that if a is odd, then a + 2 is odd.SolutionLet a be odd.pdf
PDF
Prove that f is onto.I will rate lifesaver for any help..pdf
PDF
Prove that any bounded open subset of R is the union of disjoint ope.pdf
PDF
Prove that every monotone bounded sequence converges. (if the sequen.pdf
PDF
Prove that C = R2 as vector spaces over R and use this to show that.pdf
PDF
Prove that Dirichlets discontinuous function is not Reimann integr.pdf
PDF
Prove that every ideal of Zn is principal. Is Zn principalSolut.pdf
PDF
Prove that both and Ø are independent of every other event A includ.pdf
Prove that if a is odd, then a + 2 is odd.SolutionLet a be odd.pdf
Prove that f is onto.I will rate lifesaver for any help..pdf
Prove that any bounded open subset of R is the union of disjoint ope.pdf
Prove that every monotone bounded sequence converges. (if the sequen.pdf
Prove that C = R2 as vector spaces over R and use this to show that.pdf
Prove that Dirichlets discontinuous function is not Reimann integr.pdf
Prove that every ideal of Zn is principal. Is Zn principalSolut.pdf
Prove that both and Ø are independent of every other event A includ.pdf

Recently uploaded (20)

PDF
FourierSeries-QuestionsWithAnswers(Part-A).pdf
PPTX
1st Inaugural Professorial Lecture held on 19th February 2020 (Governance and...
PDF
Complications of Minimal Access Surgery at WLH
PPTX
Cell Types and Its function , kingdom of life
PDF
STATICS OF THE RIGID BODIES Hibbelers.pdf
PDF
Module 4: Burden of Disease Tutorial Slides S2 2025
PPTX
PPT- ENG7_QUARTER1_LESSON1_WEEK1. IMAGERY -DESCRIPTIONS pptx.pptx
PPTX
school management -TNTEU- B.Ed., Semester II Unit 1.pptx
PDF
Supply Chain Operations Speaking Notes -ICLT Program
PDF
O5-L3 Freight Transport Ops (International) V1.pdf
PDF
Chapter 2 Heredity, Prenatal Development, and Birth.pdf
PDF
The Lost Whites of Pakistan by Jahanzaib Mughal.pdf
PDF
grade 11-chemistry_fetena_net_5883.pdf teacher guide for all student
PDF
Chinmaya Tiranga quiz Grand Finale.pdf
PDF
Computing-Curriculum for Schools in Ghana
PPTX
Introduction-to-Literarature-and-Literary-Studies-week-Prelim-coverage.pptx
PPTX
Institutional Correction lecture only . . .
PDF
Abdominal Access Techniques with Prof. Dr. R K Mishra
PDF
O7-L3 Supply Chain Operations - ICLT Program
PDF
A GUIDE TO GENETICS FOR UNDERGRADUATE MEDICAL STUDENTS
FourierSeries-QuestionsWithAnswers(Part-A).pdf
1st Inaugural Professorial Lecture held on 19th February 2020 (Governance and...
Complications of Minimal Access Surgery at WLH
Cell Types and Its function , kingdom of life
STATICS OF THE RIGID BODIES Hibbelers.pdf
Module 4: Burden of Disease Tutorial Slides S2 2025
PPT- ENG7_QUARTER1_LESSON1_WEEK1. IMAGERY -DESCRIPTIONS pptx.pptx
school management -TNTEU- B.Ed., Semester II Unit 1.pptx
Supply Chain Operations Speaking Notes -ICLT Program
O5-L3 Freight Transport Ops (International) V1.pdf
Chapter 2 Heredity, Prenatal Development, and Birth.pdf
The Lost Whites of Pakistan by Jahanzaib Mughal.pdf
grade 11-chemistry_fetena_net_5883.pdf teacher guide for all student
Chinmaya Tiranga quiz Grand Finale.pdf
Computing-Curriculum for Schools in Ghana
Introduction-to-Literarature-and-Literary-Studies-week-Prelim-coverage.pptx
Institutional Correction lecture only . . .
Abdominal Access Techniques with Prof. Dr. R K Mishra
O7-L3 Supply Chain Operations - ICLT Program
A GUIDE TO GENETICS FOR UNDERGRADUATE MEDICAL STUDENTS

Prove that the set of all infinite bitstrings is uncountable.Sol.pdf

  • 1. Prove that the set of all infinite bitstrings is uncountable. Solution We used diagonalization to show that the set of real numbers in the interval [0, 1] is uncountable, i.e. uncountably infinite. The technique was a follows: (1) Assume that a set S can be enumerated. (2) Consider an arbitrary list of all the elements of S. (3) Use the diagonal from the list to construct a new element t. (4) Show that t is in S but is different from all elements in the list and so is not in the list. Contradiction. This shows that the original assumption that S is countable was false, so S is uncountably infinite.