display all the ideas for this combination of texts
1 idea
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] |