3 ms·
One of my favorite insights is that the existence of undecidable problems is the same thing as the uncountability of real numbers. Too bad the author didn't ge
by nialv7 1y ago
One of my favorite insights is that the existence of undecidable problems is the same thing as the uncountability of real numbers.
Too bad the author didn't get into it.
- mreid 1y agoI had exactly the same reaction, which prompted me to write this comment: https://news.ycombinator.com/item?id=44122045 https://news.ycombinator.com/item?id=44122045
- bubblyworld 1y ago...which is the same thing as Rice's theorem, and many other mind-bending results. It's all diagonalization under the hood =)