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, 16: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? | 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 |