Timeline for Variant of the usual proof method for undecidability of the halting problem
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 30, 2017 at 11:54 | history | edited | Joseph O'Rourke | CC BY-SA 3.0 |
Image link broken; now fixed.
|
| Sep 19, 2011 at 16:50 | comment | added | Steve Huntsman | @Joseph: thanks. I don't find it unnatural to fix a TM either. But I'm sure the students will find it either unnatural or overly abstract. The particular structure of a proof I am looking for allows me to hammer home the same point with precisely the same method two or three times. | |
| Sep 19, 2011 at 16:06 | history | edited | Joseph O'Rourke | CC BY-SA 3.0 |
Added diagram.
|
| Sep 19, 2011 at 14:58 | history | answered | Joseph O'Rourke | CC BY-SA 3.0 |