Timeline for The Halting Problem and Church's Thesis
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 21, 2016 at 2:15 | comment | added | Timothy Chow | But see the caveat that I give here: cstheory.stackexchange.com/q/4838 | |
| Aug 19, 2016 at 14:40 | comment | added | Kevin | Indeed, we can even formalize such discoveries with the theory of hypercomputation. | |
| Aug 19, 2016 at 11:39 | history | answered | Aryeh Kontorovich | CC BY-SA 3.0 |