Preferences

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.


I had exactly the same reaction, which prompted me to write this comment: https://www.hackerneue.com/item?id=44122045
...which is the same thing as Rice's theorem, and many other mind-bending results. It's all diagonalization under the hood =)

This item has no comments currently.

Keyboard Shortcuts

Story Lists

j
Next story
k
Previous story
Shift+j
Last story
Shift+k
First story
o Enter
Go to story URL
c
Go to comments
u
Go to author

Navigation

Shift+t
Go to top stories
Shift+n
Go to new stories
Shift+b
Go to best stories
Shift+a
Go to Ask HN
Shift+s
Go to Show HN

Miscellaneous

?
Show this modal