one small detail to clarify. We can't build a general 'halting determiner' for any arbitrary program. But to say that for any particular program a halting mac

one small detail to clarify. We can't build a general 'halting determiner' for any arbitrary program. But to say that for any particular program a halting machine can be developed is a different proposition. A simple example is the fact we don't have to run this code for ever to determine if it halts or not: ``` while(true){} ``` but we won't ever get a function() named X that outputs halt/not where x(turning machine / computer program). we able to, however, make a X(TM/C) where it outputs trivially halts or undetermined (past y steps).