2 ms·
> By "program" we do not mean a single program, but three separate programs that print "yes", "no", or "undecidable". You can think of it not as he is describi
by School-Cotton 2y ago
> By "program" we do not mean a single program, but three separate programs that print "yes", "no", or "undecidable".
You can think of it not as he is describing three separate programs, but giving three separate possible descriptions of one program and asserting that one of them is indeed the correct description.