Sujet : Re: How Partial Simulations incorrectly determine non-halting ---Ben's 10/2022 analysis
De : news2 (at) *nospam* immibis.com
Groupes : comp.theory sci.logicDate : 07. Jun 2024, 17:32:42
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v3v96q$1o9el$3@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
User-Agent : Mozilla Thunderbird
On 7/06/24 17:30, olcott wrote:
Try to show how this DD correctly simulated by any HH ever
stops running without having its simulation aborted by HH.
_DD()
[00001e12] 55 push ebp
[00001e13] 8bec mov ebp,esp
[00001e15] 51 push ecx
[00001e16] 8b4508 mov eax,[ebp+08]
[00001e19] 50 push eax ; push DD
[00001e1a] 8b4d08 mov ecx,[ebp+08]
[00001e1d] 51 push ecx ; push DD
[00001e1e] e85ff5ffff call 00001382 ; call HH
A {correct simulation} means that each instruction of the
above x86 machine language of DD is correctly simulated
by HH and simulated in the correct order.
The next instruction after "call HH" - the one at address 00001382 - is simulated incorrectly.
| 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 |