Timeline for Is it possible to make an algorithm that could predict the likelihood that a program will halt?
Current License: CC BY-SA 3.0
15 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 29, 2016 at 15:50 | comment | added | Andrew | See this for a real approach to the 'likelihood' issue: arxiv.org/abs/1608.04112 | |
| Dec 1, 2015 at 10:56 | history | reopened |
Joseph O'Rourke Joel David Hamkins Joonas Ilmavirta Wolfgang Stefan Kohl♦ |
||
| Dec 1, 2015 at 2:24 | review | Reopen votes | |||
| Dec 1, 2015 at 10:56 | |||||
| Dec 1, 2015 at 1:58 | history | closed |
Noah Schweber Will Jagy Christian Remling John Pardon Chris Godsil |
Not suitable for this site | |
| Dec 1, 2015 at 0:48 | answer | added | Joel David Hamkins | timeline score: 27 | |
| Dec 1, 2015 at 0:33 | comment | added | Joel David Hamkins | See also these MO questions: mathoverflow.net/a/58074/1946, mathoverflow.net/a/26509/1946, mathoverflow.net/a/71162/1946, mathoverflow.net/a/36506/1946, mathoverflow.net/a/10379/1946, among others on this topic. The theme is the behavior of a random program. See also my paper, jdh.hamkins.org/haltingproblemdecidable. | |
| Dec 1, 2015 at 0:26 | comment | added | AuSeR | Wow that's amazing. Thanks for pointing me to that. | |
| Dec 1, 2015 at 0:20 | comment | added | Joseph O'Rourke | You might be interested in Chaitin's constant $\Omega$, which records the probability that a random program will halt. | |
| Dec 1, 2015 at 0:13 | comment | added | JMP | it might be easy to find algorithms for when a program WONT halt - either looping or infinite path | |
| Dec 1, 2015 at 0:07 | comment | added | Noah Schweber | If you post it to math.stackexchange, please explain what you mean by "likelihood that a program will halt," since it's not clear what this means (to me at least). | |
| Dec 1, 2015 at 0:01 | comment | added | AuSeR | Sometime later I will repost the question on math.stackexchange | |
| Nov 30, 2015 at 23:33 | review | Close votes | |||
| Dec 1, 2015 at 1:58 | |||||
| Nov 30, 2015 at 23:18 | review | First posts | |||
| Nov 30, 2015 at 23:46 | |||||
| Nov 30, 2015 at 23:17 | comment | added | Noah Schweber | How do you define "the likelihood that a program would halt"? (By the way, I think there is potentially a very interesting question here, but it would be more appropriate for math.stackexchange.) | |
| Nov 30, 2015 at 23:13 | history | asked | AuSeR | CC BY-SA 3.0 |