Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

A simple diagonalization argument is perfectly constructive.


Yes, 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_dia...




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: