Hacker News new | ask | show | jobs
by Smaug123 1758 days ago
From your description, I fear you don't understand the usual diagonalisation proof that constructs an uncounted real from any attempt to count the reals. Why should "the longest" diagonal have anything to do with it?