|
|
|
|
|
|
by gowld
268 days ago
|
|
|
In principle, analysts could could analyze all machines of size K or less, classifying many of them as being halting or not, and all the rest could in fact be non-halting, but the analyst would never (at any finite time) know for sure whether they are all non-halting. |
|
|