4 ms·
there are indeed universal properties of correct code that you can learn from one set of applications and apply to another set of applications P
by sowhatquestion 11y ago
there are indeed universal properties of
correct code that you can learn from one
set of applications and apply to another
set of applications
Pardon the speculative thought, but wouldn't a program that detects "universal properties of correct code" be equivalent to a program that detects whether another program will halt? Hence, impossible?
- SatvikBeri 11y agoIt's a machine learning based system, so it's probabilistic. You can certainly write programs that can detect when some other programs halt, just not universal ones. For example, it would be relatively trivial to look for a "while true:" loop that has no end conditions.
- friendcomputer 11y agoI think the difference is in one case you are talking about specific properties of specific programs, and in the other you are talking about a universal question about any program.
- SixSigma 11y agoNo, the two are not equivalent. running programs have state, that's the issue with the halting problem.
- sitkack 11y agoHalting problem is all arbitrary programs, not a specific one. Be careful in how you apply knowledge. While(1): Pass Is trivial to detect. Now make slightly more complex versions of the same.