2 ms·
A simple diagonalization argument is perfectly constructive.
by millimeterman 6y ago
A simple diagonalization argument is perfectly constructive.
- fractionalhare 6y agoYes, and to clarify what I predict might be a point of contention about the necessity of "contradiction" in Cantor's argument, some of the comments in this thread might be helpful: https://reddit.com/r/math/comments/70xeon/why_is_cantors_diagonalization_argument_taken_as/ https://reddit.com/r/math/comments/70xeon/why_is_cantors_dia...