The uncountability tag has no wiki summary.
2
votes
1answer
57 views
How to prove “The power set of a countable set must be uncountable”?
I'm not sure if this statement is correct, but my friend said so.
The problem arose from this T/F question:
Let $F=\{f: f$ be a primitive recursive function from $\mathbb{N}$ to $\mathbb{N}\}$, then ...
-2
votes
3answers
79 views
If set of TM's is not countable?
I was reading about counting principle related to TOC. I understand that the set of TMs are countable infinity. I couldn't understand the significance of it. What is its not countable?
3
votes
2answers
194 views
Cantor's diagonal method in simple terms?
Could anyone please explain Cantor's diagonalization principle in simple terms?
3
votes
1answer
95 views
Does there exist any work on creating a Real Number/Probability Theory Framework in COQ?
COQ is an interactive theorem prover that uses the calculus of inductive constructions, i.e. it relies heavily on inductive types. Using those, discrete structures like natural numbers, rational ...
