News for hackers. Stuff that matters.
Re:Julia Robinson helped define the limits of mathematical k... by najdan33 on Sunday January 15, 2023 @12:07PM (#34390947)
You are right, I was wrong. If there's a way to evaluate each single yes/no question in a finite number of steps, then the set of all problems is decidable, since any question can be resolved in a finite number of steps.

That would seem to imply that each problem (seen as a set of sub-problems) contains some undecidable sub-problems.. so is there something like the most primitive undecidable problem..

There are no comments on this comment yet.