Timeline for prove A is co-re
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 31, 2018 at 22:04 | comment | added | chi | @ZeroDayFracture If $N$ goes on forever, this means that all $w$ satisfy that condition, and by hypothesis $x \in A$. So we do not accept, which is precisely what we need to do ($x$ being in $A$). Halting and accepting would be wrong, since we need to do that only on the complement of $A$! Instead, diverging on $A$ is OK, since we must not accept in that case. | |
| Mar 31, 2018 at 21:42 | comment | added | ZeroDay Fracture | but what if N goes on forever, there is no guarantee that it will halt and accept right? since we need to enumerate all <x,w> and there is no guarantee the new TM N halts given this is an infinite set. | |
| Mar 31, 2018 at 20:56 | history | answered | chi | CC BY-SA 3.0 |