HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by mpoteat | Hacker News Reader
Parent
Full thread
mpoteat
·
The halting problem is formally proven to be undecidable.
View on HN
dllthomas
·
In some senses we are past the halting problem once we accept that that we will sometimes be wrong or unable to answer. Insofar as it has anything to do with the halting problem, this seems just another way to do that. Might still be useful.
Reply on news.ycombinator.com