2 ms·
How so? The set of reals is uncountably infinite. Looks like a self-contained fact (that can be proved by a "diagonal argument").
by Koshkin 5y ago
How so? The set of reals is uncountably infinite. Looks like a self-contained fact (that can be proved by a "diagonal argument").
- kazinator 5y agoBut diagonalization and self-referential paradoxes are related (in ways that are not necessarily obvious). Think along the lines that you have some sentence Px which asserts that sentence Py is false. Now imagine a table where both the rows and columns are P0, P1, P2, .. populated with these sentences. The diagonal is where you have the self-reference: Pi asserting that Pi is false.