4 ms·
Well indeed, as per Turing on the Entscheidungsproblem one cannot know what some abstract bit of code does without running it, but one can sometimes put limits
by sbmassey 10y ago
Well indeed, as per Turing on the Entscheidungsproblem one cannot know what some abstract bit of code does without running it, but one can sometimes put limits on its behaviour - your snippet will never do anything but print out numbers, for example, or something running under seccomp might be prevented from making certain syscalls.
- portent 10y agomy point is that even running the code doesn't help you answer the question. It runs for a year and doesn't halt... so will it ever halt?
- deleted 10y ago[deleted]