Rice’s Theorem: An interactive tutorial

Re:Rice’s Theorem: An interactive tutorial by GMoromisato on Friday November 25, 2022 @09:48PM (#33749392)

Isn't there value in a weak halt-checker? Imagine a function that always returns one of:

Yes, it halts No, it loops forever Can't decide.

Wouldn't that still be useful in practice?

[ Parent | on HN ]

Re:Rice’s Theorem: An interactive tutorial by Nevermark on Friday November 25, 2022 @10:15PM (#33749535)

Yes, it could be useful.

Especially if "can't decide" means "can't decide using the resources limit you provided" so that the test returns consistent results. (As apposed to different results depending on the differing resources between machines the test ran on.)

[ Parent | on HN ]

Re:Rice’s Theorem: An interactive tutorial by xigoi on Saturday November 26, 2022 @11:37AM (#33754107)

Yes, but the usefulness of such a tool depends on what exactly you want to achieve.

[ Parent | on HN ]