Timeline for Given two total Turing machines, is it undecidable problem to detect whether they give the same output on all inputs?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Aug 30, 2015 at 19:33 | history | edited | Tom van der Zanden | CC BY-SA 3.0 |
Clarification
|
| S Aug 30, 2015 at 19:33 | history | suggested | Andrew Zabavnikov | CC BY-SA 3.0 |
Clarification
|
| Aug 30, 2015 at 15:59 | review | Suggested edits | |||
| S Aug 30, 2015 at 19:33 | |||||
| Aug 30, 2015 at 10:54 | vote | accept | Andrew Zabavnikov | ||
| Aug 30, 2015 at 10:54 | comment | added | Andrew Zabavnikov | Thanks! That is brilliantly simple and elegant, as it seems to me! :-) | |
| Aug 30, 2015 at 10:31 | history | answered | Tom van der Zanden | CC BY-SA 3.0 |