Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
arethuza
70 days ago
|
parent
|
context
|
favorite
| on:
Did Turing prove the undecidability of the halting...
Was it this one?
https://scottaaronson.blog/?p=2725
mafuy
70 days ago
[–]
Probably! This paper is a year or two newer but used the exact same principle. It also has a much better constant than I recall. Perhaps I was reading a precursor article. I really enjoy this approach, it is a lovely idea.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
https://scottaaronson.blog/?p=2725