One approach—in the post—is to interpret a program as a scoring measure, and the “question” is to find an input that scores well.
I don’t really care if you use that particular UTM, or some other UTM, or some other programming language, or a tractable mathematical definition, because they are all the same modulo the constant effort required to translate (which seems to be within human reach, if only barely, at this point).
One approach—in the post—is to interpret a program as a scoring measure, and the “question” is to find an input that scores well.
I don’t really care if you use that particular UTM, or some other UTM, or some other programming language, or a tractable mathematical definition, because they are all the same modulo the constant effort required to translate (which seems to be within human reach, if only barely, at this point).