Sujet : Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error
De : noreply (at) *nospam* example.com (joes)
Groupes : comp.theory sci.logicDate : 05. Jun 2024, 20:38:00
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v3qba8$34b9u$16@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Wed, 05 Jun 2024 11:51:24 -0500 schrieb olcott:
On 6/5/2024 10:40 AM, John Smith wrote:
On 5/06/24 04:19, olcott wrote:
On 6/4/2024 9:13 PM, John Smith wrote:
On 5/06/24 04:07, olcott wrote:
On 6/4/2024 8:39 PM, John Smith wrote:
On 5/06/24 03:33, olcott wrote:
On 6/4/2024 8:20 PM, John Smith wrote:
On 4/06/24 20:02, olcott wrote:
It is fully operational C code it can run out of stack space even if
you give it googolplex of terabytes.
Sounds like it's infinite recursion. Infinite recursion doesn't halt.
Deciders always halt, so a program that's infinitely recursive isn't a
decider.
HH detects non-halting inputs and stops simulating them when it sees a
repeating state.
As already said many times, non-halting inputs must be simulated forever.
-- joes
| 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 |