Timeline for Is it possible to prove EQTM is undecidable by the Rice theorem?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 22, 2014 at 4:12 | history | tweeted | twitter.com/#!/StackCompSci/status/425843506444509184 | ||
| Jan 21, 2014 at 22:47 | history | edited | Raphael | CC BY-SA 3.0 |
edited tags
|
| Jan 21, 2014 at 21:49 | vote | accept | Ad Fundum | ||
| Jan 21, 2014 at 19:22 | answer | added | Yuval Filmus | timeline score: 6 | |
| Jan 21, 2014 at 19:17 | history | asked | Ad Fundum | CC BY-SA 3.0 |