Comment Comment by platz unless we're able to simply try all the required Turing machines. parent platz 8 years ago