2 ms·
> 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 prob
by tom_mellior 6y ago
> 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?
- dzsekijo 6y ago> 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 or () => False where '()' represents the empty input. > And what is its answer? I'd be a Fields medal candidate if I knew ;)