Sebastian_Hagen2 comments on GAZP vs. GLUT - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (166)
TMs also have the notable ability to not halt for some inputs. And if you wanted to precompute those results, writing NULL values into your GLUT, I'd really like to know where the heck you got your Halting Oracle from. The mathematical structures are very different. For a UTM, the problem of whether it will halt for an arbitrary input is undecidable; in a GLUT with NULL values, you can just look up the input string and are done.
A GLUT AGI need not be a UTM, since most people have limited ability to execute programmes in their heads. You can write in "huh? I've lost track" for most answers to "what do you get if you execute the folowing programme steps".