Sujet : Re: Halting Problem is wrong two different ways
De : noreply (at) *nospam* example.com (joes)
Groupes : comp.theoryDate : 07. Jun 2024, 23:02:49
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v3vshp$3ao52$6@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Fri, 07 Jun 2024 09:09:54 -0500 schrieb olcott:
On 6/7/2024 1:22 AM, Mikko wrote:
On 2024-06-06 15:18:21 +0000, olcott said:
>
All halt deciders are only allowed to report on the actual behavior of
their actual input.
Required even! And if they simulate, that simulation must match the
behaviour.
I have proven right here that the actual behavior of the actual input is
that it remains stuck in recursive simulation.
Then the same happens to the simulator.
-- joes
| Date | Sujet | # | | Auteur |
| 3 Jun 24 |  Why does Olcott care about simulation, anyway? | 332 | | immibis |
| 3 Jun 24 |   Re: Why does Olcott care about simulation, anyway? | 1 | | Richard Damon |
| 3 Jun 24 | Re: Why does Olcott care about simulation, anyway? | 309 | | Mike Terry |
| 3 Jun 24 |  Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 29 | | 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 | 26 | | Mike Terry |
| 3 Jun 24 |  Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 25 | | 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 | 23 | | Mike Terry |
| 4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 22 | | olcott |
| 4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 21 | | Richard Damon |
| 4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 20 | | olcott |
| 4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 13 | | Richard Damon |
| 4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 12 | | olcott |
| 5 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | Richard Damon |
| 5 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 10 | | Mikko |
| 5 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 9 | | olcott |
| 5 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 2 | | wij |
| 5 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | olcott |
| 6 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 5 | | Mikko |
| 6 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 4 | | olcott |
| 6 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 3 | | Mikko |
| 6 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 2 | | olcott |
| 7 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | Richard Damon |
| 6 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? | 279 | | Ben Bacarisse |
| 3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 277 | | 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 | 73 | | Mikko |
| 3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 72 | | olcott |
| 4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 1 | | Richard Damon |
| 4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 2 | | joes |
| 4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 1 | | olcott |
| 4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 67 | | Mikko |
| 4 Jun 24 | Halting Problem is wrong two different ways | 66 | | olcott |
| 4 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | immibis |
| 5 Jun 24 | Re: Halting Problem is wrong two different ways | 41 | | Richard Damon |
| 5 Jun 24 | Re: Halting Problem is wrong two different ways | 40 | | olcott |
| 5 Jun 24 | Re: Halting Problem is wrong two different ways | 21 | | John Smith |
| 5 Jun 24 | Re: Halting Problem is wrong two different ways | 20 | | olcott |
| 5 Jun 24 | Re: Halting Problem is wrong two different ways | 4 | | Richard Damon |
| 5 Jun 24 | Re: Halting Problem is wrong two different ways | 3 | | Mikko |
| 5 Jun 24 | Re: Halting Problem is wrong two different ways | 2 | | olcott |
| 6 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
| 5 Jun 24 | Re: Halting Problem is wrong two different ways | 15 | | John Smith |
| 5 Jun 24 | Re: Halting Problem is wrong two different ways | 14 | | olcott |
| 5 Jun 24 | Re: Halting Problem is wrong two different ways | 3 | | John Smith |
| 5 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | olcott |
| 5 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | joes |
| 5 Jun 24 | Re: Halting Problem is wrong two different ways | 6 | | joes |
| 6 Jun 24 | Re: Halting Problem is wrong two different ways --very stupid | 5 | | olcott |
| 6 Jun 24 | Re: Halting Problem is wrong two different ways --very stupid | 1 | | Richard Damon |
| 6 Jun 24 | Re: Halting Problem is wrong two different ways --very stupid | 3 | | Mikko |
| 6 Jun 24 | Re: Halting Problem is wrong two different ways --very stupid | 2 | | olcott |
| 7 Jun 24 | Re: Halting Problem is wrong two different ways --very stupid | 1 | | Richard Damon |
| 6 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
| 6 Jun 24 | Re: Halting Problem is wrong two different ways | 3 | | Mikko |
| 6 Jun 24 | Re: Halting Problem is wrong two different ways | 2 | | olcott |
| 7 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
| 5 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
| 5 Jun 24 | Re: Halting Problem is wrong two different ways | 17 | | Fred. Zwarts |
| 5 Jun 24 | Re: Halting Problem is wrong two different ways | 16 | | olcott |
| 5 Jun 24 | Re: Halting Problem is wrong two different ways | 7 | | Fred. Zwarts |
| 6 Jun 24 | Re: Halting Problem is wrong two different ways | 6 | | olcott |
| 6 Jun 24 | Re: Halting Problem is wrong two different ways | 5 | | Fred. Zwarts |
| 6 Jun 24 | Re: Halting Problem is wrong two different ways | 4 | | olcott |
| 6 Jun 24 | Re: Halting Problem is wrong two different ways | 3 | | Fred. Zwarts |
| 6 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | olcott |
| 6 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | immibis |
| 6 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
| 6 Jun 24 | Re: Halting Problem is wrong two different ways | 7 | | Mikko |
| 6 Jun 24 | Re: Halting Problem is wrong two different ways | 6 | | olcott |
| 6 Jun 24 | Re: Halting Problem is wrong two different ways | 4 | | Mikko |
| 6 Jun 24 | Re: Halting Problem is wrong two different ways | 3 | | olcott |
| 7 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
| 7 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Mikko |
| 7 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
| 5 Jun 24 | Re: Halting Problem is wrong two different ways | 23 | | Mikko |
| 5 Jun 24 | Re: Halting Problem is wrong two different ways | 22 | | olcott |
| 5 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | joes |
| 6 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
| 6 Jun 24 | Re: Halting Problem is wrong two different ways | 18 | | Mikko |
| 6 Jun 24 | Re: Halting Problem is wrong two different ways | 17 | | olcott |
| 6 Jun 24 | Re: Halting Problem is wrong two different ways | 16 | | Mikko |
| 6 Jun 24 | Re: Halting Problem is wrong two different ways | 15 | | olcott |
| 7 Jun 24 | Re: Halting Problem is wrong two different ways | 14 | | Mikko |
| 7 Jun 24 | Re: Halting Problem is wrong two different ways | 13 | | olcott |
| 7 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
| 7 Jun 24 | Re: Halting Problem is wrong two different ways | 8 | | joes |
| 8 Jun 24 | Re: Halting Problem is wrong two different ways | 7 | | olcott |
| 8 Jun 24 | Re: Halting Problem is wrong two different ways | 6 | | Mikko |
| 8 Jun 24 | Re: Halting Problem is wrong two different ways | 5 | | olcott |
| 8 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
| 9 Jun 24 | Re: Halting Problem is wrong two different ways | 3 | | Mikko |
| 8 Jun 24 | Re: Halting Problem is wrong two different ways | 3 | | Mikko |
| 7 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | immibis |
| 4 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 | 201 | | Fred. Zwarts |
| 4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 1 | | Richard Damon |
| 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 |
| 3 Jun 24 | Re: Why does Olcott care about simulation, anyway? | 1 | | Mikko |