Hacker News Reader

Comment by tom_mellior | Hacker News Reader

> An instance of the halting problem asks, given (a partial recursive) function F, whether there is an decision algorithm A

> so the answer to the halting problem of F is trivially yes.

The answer is "yes, there is a decision algorithm"? What would that decision algorithm be for this particular function (odd_perfect_number)? And what is its answer?

View on HN

> The answer is "yes, there is a decision algorithm"?

Indeed.

> What would that decision algorithm be for this particular function (odd_perfect_number)?

Either of

  () => True

  () => False

where '()' represents the empty input.

> And what is its answer?

I'd be a Fields medal candidate if I knew ;)

Reply on news.ycombinator.com