Sujet : Re: Halting Problem is wrong two different ways
De : news2 (at) *nospam* immibis.com (immibis)
Groupes : comp.theory sci.logicDate : 06. Jun 2024, 19:09:14
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v3su0a$1infb$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
User-Agent : Mozilla Thunderbird
On 6/06/24 18:34, Fred. Zwarts wrote:
Your own proof shows that main halts. Your own proof shows that HH returns a non-halting result. By *definition* that is a false negative.
Olcott believes that DD(DD) and the input to HH(DD,DD) are two different things, and that facts about one have absolutely no relation to the other, so he thinks this is not a false negative.
He believes all three things are true:
* DD(DD) halts.
* The input to HH(DD,DD) doesn't halt.
* HH(DD,DD) is a correct simulation of DD(DD).
This is like believing that:
* 2+2=4
* The input to Plus(2,2) specifies a total of 5.
* Plus is a correct simulation of +
| Date | Sujet | # | | Auteur |
| 3 Jun 24 |  Why does Olcott care about simulation, anyway? | 172 | | immibis |
| 3 Jun 24 |  Re: Why does Olcott care about simulation, anyway? | 2 | | Richard Damon |
| 3 Jun 24 |    Re: Why does Olcott care about simulation, anyway? | 1 | | wij |
| 3 Jun 24 | Re: Why does Olcott care about simulation, anyway? | 149 | | Mike Terry |
| 3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 19 | | olcott |
| 3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | Richard Damon |
| 3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | immibis |
| 3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 16 | | Mike Terry |
| 3 Jun 24 |  Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 15 | | olcott |
| 4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | Richard Damon |
| 4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 13 | | Mike Terry |
| 4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 12 | | olcott |
| 4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 11 | | Richard Damon |
| 4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 10 | | olcott |
| 4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 3 | | Richard Damon |
| 4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 2 | | olcott |
| 5 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | Richard Damon |
| 4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 6 | | Mike Terry |
| 4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 5 | | olcott |
| 4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 3 | | Richard Damon |
| 4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 2 | | olcott |
| 5 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | Richard Damon |
| 4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | immibis |
| 3 Jun 24 | Re: Why does Olcott care about simulation, anyway? | 1 | | wij |
| 3 Jun 24 | Re: Why does Olcott care about simulation, anyway? | 1 | | wij |
| 3 Jun 24 | Re: Why does Olcott care about simulation, anyway? | 127 | | Ben Bacarisse |
| 3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 125 | | olcott |
| 3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 1 | | immibis |
| 3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 85 | | Fred. Zwarts |
| 3 Jun 24 | Mike Terry Reply to Fred Zwarts | 84 | | olcott |
| 4 Jun 24 | Re: Mike Terry Reply to Fred Zwarts | 82 | | Fred. Zwarts |
| 4 Jun 24 | Re: Mike Terry Reply to Fred Zwarts | 81 | | Fred. Zwarts |
| 4 Jun 24 | Re: Mike Terry Reply to Fred Zwarts | 80 | | Mike Terry |
| 4 Jun 24 | How Partial Simulations correctly determine non-halting ---Mike Terry Error | 79 | | olcott |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 28 | | John Smith |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 27 | | olcott |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 26 | | John Smith |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 25 | | olcott |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 24 | | John Smith |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 5 | | olcott |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 4 | | John Smith |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 3 | | olcott |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 1 | | joes |
| 6 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 1 | | Richard Damon |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 18 | | Ben Bacarisse |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting --- Ben's strawman deception | 2 | | olcott |
| 7 Jun 24 | Re: How Partial Simulations correctly determine non-halting --- Ben's strawman deception | 1 | | olcon'tt |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 15 | | Mike Terry |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 14 | | olcott |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 6 | | John Smith |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 2 | | olcott |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 1 | | joes |
| 6 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 3 | | Mike Terry |
| 6 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error !!! | 2 | | olcott |
| 6 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error !!! | 1 | | Richard Damon |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 7 | | Mike Terry |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 6 | | olcott |
| 6 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 5 | | Mike Terry |
| 7 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 4 | | olcott |
| 7 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 1 | | Richard Damon |
| 7 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 2 | | olcott |
| 7 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 1 | | Richard Damon |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 1 | | Richard Damon |
| 5 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 49 | | olcott |
| 6 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 1 | | Richard Damon |
| 6 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 47 | | olcott |
| 7 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis | 45 | | olcott |
| 7 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis | 13 | | Python |
| 7 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis | 12 | | olcott |
| 7 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis | 7 | | Python |
| 7 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis | 6 | | olcott |
| 7 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis | 1 | | Richard Damon |
| 7 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis | 4 | | olcott |
| 7 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis | 1 | | Richard Damon |
| 8 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis --- | 2 | | olcott |
| 8 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis --- | 1 | | Richard Damon |
| 7 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis | 1 | | Richard Damon |
| 7 Jun 24 | Re: How Partial Simulations incorrectly determine non-halting ---Ben's 10/2022 analysis | 3 | | olcott |
| 7 Jun 24 | Re: How Partial Simulations incorrectly determine non-halting ---Ben's 10/2022 analysis | 1 | | news2 |
| 7 Jun 24 | Re: How Partial Simulations incorrectly determine non-halting ---Ben's 10/2022 analysis | 1 | | Richard Damon |
| 7 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis | 1 | | Richard Damon |
| 7 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis | 24 | | olcott |
| 7 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis | 1 | | Richard Damon |
| 8 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point? | 22 | | olcott |
| 8 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point? | 21 | | Richard Damon |
| 8 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point? | 20 | | olcott |
| 8 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point? | 19 | | Richard Damon |
| 8 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point? | 18 | | olcott |
| 8 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point? | 17 | | Richard Damon |
| 8 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point? | 16 | | olcott |
| 8 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point? | 15 | | Richard Damon |
| 8 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point? | 14 | | olcott |
| 8 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point? | 13 | | Richard Damon |
| 8 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point? | 12 | | olcott |
| 8 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point? | 11 | | Richard Damon |
| 8 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point? | 10 | | olcott |
| 8 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point? | 9 | | Richard Damon |
| 8 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point? | 8 | | olcott |
| 8 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point? | 7 | | Richard Damon |
| 8 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point? | 6 | | olcott |
| 9 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point? | 5 | | Richard Damon |
| 7 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis | 6 | | joes |
| 7 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error | 1 | | Richard Damon |
| 4 Jun 24 | Re: Mike Terry Reply to Fred Zwarts | 1 | | Fred. Zwarts |
| 4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 1 | | Richard Damon |
| 4 Jun 24 | Halting Problem is wrong two different ways | 37 | | olcott |
| 3 Jun 24 | Re: Why does Olcott care about simulation, anyway? | 1 | | Mike Terry |
| 3 Jun 24 | Re: Why does Olcott care about simulation, anyway? | 20 | | Fred. Zwarts |