Halting problem (language)
Jump to navigation
Jump to search
Halting problem is a language designed by islptng.
Commands
(code)loop| while code halts, execute loop. <name> executes function called name. <name:value> defines a function. # halt
Computation class
If this language is turing-complete, it will be uncomputable, which self-contradicts.
Therefore, this language is never turing-complete.