Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
gcanyon
5 months ago
|
parent
|
context
|
favorite
| on:
The number line freaks me out (2016)
But as I said, if programs are of infinite length, then a diagonalization argument proves the computable numbers not to be countable I think.
titanomachy
5 months ago
[–]
Ah yes, of course you're right. I think it does make sense to assume the programs are finite, I don't think numbers described by an infinite program should be considered computable.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
