Cantor's diagonal argument, published in 1891, is a mathematical proof demonstrating that there are infinite sets which cannot be matched one-to-one with the infinite set of natural numbers, known as uncountable sets. This was not Cantor's first proof of the uncountability of real numbers, but it has been widely used in various proofs since its publication. The technique is often the source of contradictions like Russell's paradox and Richard's paradox.
Stanford University
Winter 2020
CS 103A serves as an additional review course for CS103 students, focusing on strengthening proof-based mathematics skills and general problem-solving strategies in a context closely tied to CS103.
No concepts data
+ 31 more concepts