Timeline for How to formalize "Is there a proof for every instance of the halting problem?"? [closed]
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 17, 2014 at 15:39 | history | edited | Ward Blondé | CC BY-SA 3.0 |
deleted 94 characters in body
|
| Nov 14, 2014 at 16:32 | review | Reopen votes | |||
| Nov 14, 2014 at 18:02 | |||||
| Nov 14, 2014 at 16:13 | history | edited | Ward Blondé | CC BY-SA 3.0 |
deleted 26 characters in body
|
| Nov 10, 2014 at 0:47 | history | closed |
user9072 Stefan Kohl♦ Emil Jeřábek Goldstern S. Carnahan♦ |
Opinion-based | |
| Nov 9, 2014 at 19:35 | review | Close votes | |||
| Nov 10, 2014 at 0:47 | |||||
| Nov 9, 2014 at 19:24 | answer | added | Joel David Hamkins | timeline score: 7 | |
| Nov 9, 2014 at 18:51 | history | asked | Ward Blondé | CC BY-SA 3.0 |