I think that would help. I think the existing title primed me to expect something else, more in the line of it being impossible for an “aligned” program to exist because it couldn’t figure out what to do.
Or perhaps the direct-statement style “Aligned status of software is undecideable” or something like that.
I think that would help. I think the existing title primed me to expect something else, more in the line of it being impossible for an “aligned” program to exist because it couldn’t figure out what to do.
Or perhaps the direct-statement style “Aligned status of software is undecideable” or something like that.
Thanks for the feedback!