Combining Texts

Ideas for 'works', 'A Matter of Principle' and 'Comment on Armstrong and Forrest'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

5. Theory of Logic / K. Features of Logics / 8. Enumerability

10082	There are infinite sets that are not enumerable [Cantor, by Smith,P]
	Full Idea: Cantor's Theorem (1874) says there are infinite sets that are not enumerable. This is proved by his 1891 'diagonal argument'.
	From: report of George Cantor (works [1880]) by Peter Smith - Intro to Gödel's Theorems 2.3
	A reaction: [Smith summarises the diagonal argument]