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.)
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.)