4 ms·
The point is that you cannot find an alphabet to generate all terminating programs. The infinite nature of T is really not the problem.
by davrosthedalek 9y ago
The point is that you cannot find an alphabet to generate all terminating programs. The infinite nature of T is really not the problem.