Timeline for why $L=\{\langle M\rangle\mid M \text{ is a TM that accepts all even number}\} \notin \text{RE}$
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 15 at 3:34 | comment | added | Joel David Hamkins | In particular, it is also incorrect to say that $L$ is co-RE, since that would make it complexity $\Pi^0_1$, but it is $\Pi^0_2$. | |
| Apr 15 at 2:45 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 7 characters in body
|
| Apr 15 at 1:42 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 170 characters in body
|
| Apr 15 at 1:34 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 279 characters in body
|
| Apr 15 at 0:10 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 849 characters in body
|
| Apr 14 at 20:00 | history | answered | Joel David Hamkins | CC BY-SA 4.0 |