Timeline for Variant of the usual proof method for undecidability of the halting problem
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 19, 2011 at 15:38 | comment | added | Carl Mummert | @Steve: I understand, that makes sense. | |
| Sep 19, 2011 at 14:28 | comment | added | Steve Huntsman | The source of my question is wanting something as concrete as possible because of the students. This is too abstract. | |
| Sep 19, 2011 at 11:58 | history | answered | Carl Mummert | CC BY-SA 3.0 |