Because that will fail to detect a program that halts in X+1 time. The problem isn’t to detect if a program that halts halts, the problem is to generally create an algorithm that will guarantee that the analyzed program will always halt given an infinite time running on an infinite computer.
- 0 Posts
- 4 Comments
Joined 2 years ago
Cake day: June 20th, 2023
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
3·1 year agoCheck out programming.dev for a Comp Sci focused community.
1·2 years agoGood to hear. I always new the lie the AAA publishers push that no one wants single player rpgs anymore, but numbers like this prove it out. No AAA we aren’t skipping your games because we don’t want the stories m, we are just tired of spending $70 only to discover it is full of micro transactions, always online issues, and all the other AAA predatory tactics!
Agreed, I started using it a few months back and it quickly replaced the base Firefox for me.