Talk:Halting problem/Archive index
This report has been generated because of a request at Talk:Halting problem. It covers the archives that match Talk:Halting problem/Archive <#>
Report generated at 08:46, 27 June 2012 (UTC) by HBCAI
| Discussion Topic | Replies (estimated) | Archive Link |
|---|---|---|
| "executable proof" | 1 | Talk:Halting problem/Archive 3 |
| /* limitations of a precise problem formulation */ | Unknown | Talk:Halting problem/Archive 1 |
| A simpler presentation? And add a useful reference. | 1 | Talk:Halting problem/Archive 2 |
| Article Halting proof fails | 5 | Talk:Halting problem/Archive 3 |
| Artificial Intelligence and the Halting Problem | 5 | Talk:Halting problem/Archive 4 |
| Assumption that Halt always halts? | 11 | Talk:Halting problem/Archive 1 |
| Assumption that trouble is a program | 4 | Talk:Halting problem/Archive 2 |
| Bad Proof? | 1 | Talk:Halting problem/Archive 1 |
| Big Trouble in Proof? | 14 | Talk:Halting problem/Archive 1 |
| Busy Beaver functions and the Halting Problem | 20 | Talk:Halting problem/Archive 4 |
| Can Humans solve it? | 3 | Talk:Halting problem/Archive 1 |
| Cantor pairing function | Unknown | Talk:Halting problem/Archive 2 |
| Characterization of Entscheidungsproblem still problematic | 7 | Talk:Halting problem/Archive 2 |
| Clarification needed | 6 | Talk:Halting problem/Archive 3 |
| Cognition level | 2 | Talk:Halting problem/Archive 2 |
| Comment 2006-9-27 | 4 | Talk:Halting problem/Archive 2 |
| comments | Unknown | Talk:Halting problem/Archive 1 |
| Consider | Unknown | Talk:Halting problem/Archive 1 |
| Constructive proofs of the halting theorem | 48 | Talk:Halting problem/Archive 3 |
| Conversations with Martin Davis: he is the source of the phrase "halting problem", Kleene may the source of the halting/antinomy version, Turing's and the antinomy versions are indeed of different degrees of complexity | 10 | Talk:Halting problem/Archive 2 |
| Data dump removal... | 8 | Talk:Halting problem/Archive 2 |
| each proof has to be developed specifically for the algorithm at hand | Unknown | Talk:Halting problem/Archive 3 |
| Error? | 2 | Talk:Halting problem/Archive 2 |
| Formal Statement | Unknown | Talk:Halting problem/Archive 2 |
| Formal statement redux | 39 | Talk:Halting problem/Archive 3 |
| Formalization of the halting problem | 1 | Talk:Halting problem/Archive 2 |
| Gaffe: diagonalization process is a total function not computable? | 7 | Talk:Halting problem |
| Halting Problem and machines with finite memory | 7 | Talk:Halting problem/Archive 3 |
| Has it been noted? | Unknown | Talk:Halting problem/Archive 3 |
| historical importance | 2 | Talk:Halting problem/Archive 3 |
| History | Unknown | Talk:Halting problem/Archive 2 |
| Humans and the Halting Problem | 4 | Talk:Halting problem/Archive 3 |
| Importance and Consequences | 1 | Talk:Halting problem/Archive 2 |
| importance and consequences | 2 | Talk:Halting problem/Archive 4 |
| Input nonsense | 8 | Talk:Halting problem/Archive 4 |
| Intuitive explanation and disproof | 3 | Talk:Halting problem/Archive 4 |
| Likebox edits | 16 | Talk:Halting problem/Archive 3 |
| Limitations of this | 4 | Talk:Halting problem/Archive 1 |
| Limiting autoanalysis | 4 | Talk:Halting problem/Archive 3 |
| Mathematical problems as Halting problem. | 9 | Talk:Halting problem/Archive 4 |
| mini example for illustration | 14 | Talk:Halting problem |
| Modern Proof | 3 | Talk:Halting problem/Archive 4 |
| On the history section | 29 | Talk:Halting problem/Archive 2 |
| Open question whether humans can solve the halting problem? | 6 | Talk:Halting problem/Archive 4 |
| possible illustration | 2 | Talk:Halting problem/Archive 2 |
| Previous Likebox discussions | 19 | Talk:Halting problem/Archive 4 |
| problem with trouble() proof | 2 | Talk:Halting problem/Archive 2 |
| Problematic sentences | 7 | Talk:Halting problem/Archive 3 |
| proof fails | 2 | Talk:Halting problem/Archive 3 |
| Proof is invalid. | 10 | Talk:Halting problem/Archive 3 |
| Proving a function halts | 4 | Talk:Halting problem/Archive 3 |
| pseudo-code proof | 5 | Talk:Halting problem/Archive 3 |
| PSPACE | 1 | Talk:Halting problem |
| Recognizing partial solutions | 3 | Talk:Halting problem/Archive 1 |
| Reduction... | 2 | Talk:Halting problem/Archive 1 |
| reference format | 1 | Talk:Halting problem/Archive 4 |
| Reference needed | 4 | Talk:Halting problem/Archive 2 |
| Relationship with Gödel's incompleteness theorem | 5 | Talk:Halting problem/Archive 4 |
| Request to include a "reductio" proof together with the diagonalization proof | 7 | Talk:Halting problem |
| Reverting the changes to the intro | 8 | Talk:Halting problem/Archive 4 |
| Rice's Theorem and Halting Theorem | 4 | Talk:Halting problem |
| Riemann hypothesis | 1 | Talk:Halting problem/Archive 1 |
| Section "Can humans solve the halting problem?" removed from article | 6 | Talk:Halting problem/Archive 3 |
| See WT:MATH | 1 | Talk:Halting problem/Archive 4 |
| Separation of function and algorithm | 1 | Talk:Halting problem/Archive 2 |
| Stuntz edit | 13 | Talk:Halting problem/Archive 2 |
| Super halting problems | 1 | Talk:Halting problem/Archive 1 |
| The Halting Problem as a Set | 2 | Talk:Halting problem/Archive 3 |
| the halting problem is partially decidable, not undecidable | 4 | Talk:Halting problem/Archive 2 |
| The proof is invalid | 23 | Talk:Halting problem/Archive 4 |
| This proof that the halting problem is unsolvable is simpler. Should it go in the article? | 7 | Talk:Halting problem/Archive 3 |
| Total state edit | 3 | Talk:Halting problem |
| Undecidability of group presentations | 4 | Talk:Halting problem/Archive 2 |
| Using randomness to solve halting problem | 5 | Talk:Halting problem/Archive 4 |
| What Is A Rigorous Proof? | 4 | Talk:Halting problem/Archive 3 |
| Why K? | 2 | Talk:Halting problem/Archive 3 |
| Why the following two problems equivalent? | 4 | Talk:Halting problem/Archive 4 |
| wrong examples? | 1 | Talk:Halting problem/Archive 1 |