News for hackers. Stuff that matters.

A comment on The SeL4 Foundation: What and Why. Parent comment

Re:The SeL4 Foundation: What and Why by wolfgke on Tuesday April 07, 2020 @08:49AM (#22802673)
Of course it does (implicitly!).

Otherwise the number of possible states of the Turing machine T that we want to check whether it halts or not is finite and we just have to "simulate" the program and see whether it terminates or it reaches again a state that it was already in.

[ Parent | on HN ]
Re:The SeL4 Foundation: What and Why by marcosdumay on Tuesday April 07, 2020 @01:34PM (#22805454)
How would the "if this program halts then run forever, else halt" algorithm work on a real computer? I imagine it would fail with stack overflow.
[ Parent | on HN ]