Sujet : Re: Halting Problem is wrong two different ways
De : news (at) *nospam* immibis.com (immibis)
Groupes : comp.theory sci.logicDate : 07. Jun 2024, 16:25:43
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v3v597$1o9el$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Mozilla Thunderbird
On 5/06/24 15:18, olcott wrote:
On 6/5/2024 2:13 AM, Mikko wrote:
On 2024-06-04 17:40:47 +0000, olcott said:
>
Nice to see that you don't disagree with my observation that
your statement
>
Deciders only compute the mapping *from their inputs* to their own
accept or reject state.
>
does not restrict what a problem statement can specify.
>
Sure it does.
int sum(int x, int y) { return x + y; }
sum(3,4) cannot correctly return the sum of 5 + 6.
According to you, the correct simulation simulate(sum,3,4) can correctly return the sum of 5+6.
| 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 |
| 6 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 |
| 9 Jun 24 | Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point? | 7 | | Richard Damon |
| 9 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 |