Hacker News Reader

Halting (problem) is undecidable. Undecidability is not just the halting problem. Whether you go to the park on a given day is undecidable (assuming you have free will, and all such assumptions), but that you can be an oracle for this does not solve the halting problem.

View on HN

> Whether you go to the park on a given day is undecidable

I feel like that is not really undecidable in the same way the halting problem is. The result does not depend on the input. It'd be like saying checking primality is undecidable if you dont know what number you're supposed to check.

You're right, it's not the same. Undecidable properties are not related in general.

To be more clear, i'm saying it is not undecidable in the sense that mathematicians use the term.

Reply on news.ycombinator.com