Diagonalization
What property makes a set countable?
The set of all real numbers is ______.
Which of these is an uncountable set?
Which of these is a countable set?
There are languages that can not be accepted by a turing machine
Given a set and an equivalence relation on , if we know that and , what can we conclude?
Let be an equivalence relation on defined by if and only if . What is the size of the equivalence class ?
Let be an equivalence relation on a finite set with . If has exactly three equivalence classes and one class contains 4 elements, what is the sum of all possible sizes for the second largest equivalence class?
Consider Cantor's diagonalization proof applied to the set of all infinite binary strings. If we have an enumeration and construct the diagonal string where is the opposite of the -th bit of , which statement is most accurate?