Hacker Times
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
nialv7
11 months ago
|
parent
|
context
|
favorite
| on:
What does “Undecidable” mean, anyway
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
11 months ago
|
next
[–]
I had exactly the same reaction, which prompted me to write this comment:
https://hackertimes.com/item?id=44122045
bubblyworld
11 months ago
|
prev
[–]
...which is the same thing as Rice's theorem, and many other mind-bending results. It's all diagonalization under the hood =)
Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
Too bad the author didn't get into it.