Sujet : Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 18. Jul 2024, 15:21:29
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v7b8d9$2e2aq$7@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 23 24 25 26 27 28 29 30 31
User-Agent : Mozilla Thunderbird
On 7/18/2024 9:13 AM, Fred. Zwarts wrote:
Op 18.jul.2024 om 15:17 schreef olcott:
On 7/18/2024 2:40 AM, Mikko wrote:
On 2024-07-17 13:00:55 +0000, olcott said:
>
On 7/17/2024 1:43 AM, Mikko wrote:
On 2024-07-16 14:21:28 +0000, olcott said:
>
When simulated input DDD stops running {if and only if}
the simulation of this input DDD has been aborted this
necessitates that input DDD specifies non-halting behavior
>
DDD does not stop runnig unless it is completely exeuted.
>
_DDD()
[00002163] 55 push ebp ; housekeeping
[00002164] 8bec mov ebp,esp ; housekeeping
[00002166] 6863210000 push 00002163 ; push DDD
[0000216b] e853f4ffff call 000015c3 ; call HHH(DDD)
[00002170] 83c404 add esp,+04
[00002173] 5d pop ebp
[00002174] c3 ret
Size in bytes:(0018) [00002174]
>
DDD emulated by HHH according to the semantic meaning of
its x86 instructions never stop running unless aborted.
>
You mean HHH's simulation of DDD may not termite before HHH aborts it?
>
When we examine the infinite set of every HHH/DDD pair such that:
HHH₁ one step of DDD₁ is correctly emulated by HHH₁.
HHH₂ two steps of DDD₂ are correctly emulated by HHH₂.
HHH₃ three steps of DDD₃ are correctly emulated by HHH₃.
...
HHH∞ The emulation of DDD∞ by HHH∞ never stops running.
And we have proved that each of these infinite set of simulations is incorrect.
>
When each DDD of the HHH/DDD pairs above is correctly emulated
by its corresponding HHH according to the semantic meaning of its
x86 instructions it CANNOT POSSIBLY reach past its own machine
address 0000216b, not even by an act of God.
Which proves that the simulation is incorrect.
As long as each instruction is simulated according to its
semantic meaning then even of God himself disagrees that it
is correct then God himself is wrong.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
Date | Sujet | # | | Auteur |
3 Jul 24 | Liar detector: Fred, Richard, Joes and Alan | 253 | | olcott |
3 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan | 232 | | Fred. Zwarts |
3 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan | 231 | | olcott |
3 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan | 209 | | Fred. Zwarts |
3 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan | 208 | | olcott |
3 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan | 207 | | Fred. Zwarts |
3 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan | 206 | | olcott |
3 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan | 205 | | Fred. Zwarts |
3 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan | 204 | | olcott |
4 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan | 203 | | Fred. Zwarts |
4 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan | 202 | | olcott |
4 Jul 24 | Re: Liar detector: Peter Olcott (self-admitted) | 1 | | Richard Damon |
4 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan | 200 | | Fred. Zwarts |
4 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan | 199 | | olcott |
4 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan | 198 | | Fred. Zwarts |
4 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan | 197 | | olcott |
4 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan | 196 | | Fred. Zwarts |
4 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 195 | | olcott |
5 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 1 | | Richard Damon |
5 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 3 | | Mikko |
5 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 2 | | olcott |
5 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 1 | | Richard Damon |
5 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 188 | | Fred. Zwarts |
5 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 187 | | olcott |
5 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 185 | | Fred. Zwarts |
5 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 184 | | olcott |
5 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 183 | | Fred. Zwarts |
5 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 182 | | olcott |
5 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 181 | | Fred. Zwarts |
5 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 180 | | olcott |
5 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 1 | | Richard Damon |
6 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 178 | | Fred. Zwarts |
6 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 177 | | olcott |
6 Jul 24 | Re: Liar detector: Peter Olcott who doesn't under stand Ben's agreement | 1 | | Richard Damon |
6 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 175 | | Fred. Zwarts |
6 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 3 | | olcott |
6 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 1 | | Richard Damon |
6 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 1 | | Fred. Zwarts |
6 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 171 | | olcott |
6 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 1 | | Richard Damon |
6 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 3 | | joes |
6 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 2 | | olcott |
6 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 1 | | Richard Damon |
6 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 166 | | Fred. Zwarts |
6 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 165 | | olcott |
6 Jul 24 | Re: Liar detector: Peter Olcott | 1 | | Richard Damon |
6 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 163 | | Fred. Zwarts |
6 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 162 | | olcott |
6 Jul 24 | Re: Liar detector: Peter Olcott | 1 | | Richard Damon |
6 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 42 | | Richard Damon |
6 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar | 41 | | olcott |
6 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar | 40 | | Richard Damon |
6 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? | 39 | | olcott |
6 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? | 37 | | Richard Damon |
6 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? | 36 | | olcott |
6 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? | 35 | | Richard Damon |
6 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? | 34 | | olcott |
7 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? | 33 | | Richard Damon |
7 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? | 32 | | olcott |
7 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? | 31 | | Richard Damon |
7 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? | 30 | | olcott |
7 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? | 29 | | Richard Damon |
7 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? | 28 | | olcott |
7 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? | 24 | | Richard Damon |
7 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? | 23 | | olcott |
7 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? | 22 | | Richard Damon |
7 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? | 21 | | olcott |
7 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? | 20 | | Richard Damon |
7 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? | 8 | | olcott |
7 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? | 7 | | Richard Damon |
7 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar! | 6 | | olcott |
7 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar! | 5 | | Richard Damon |
7 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar !!! | 4 | | olcott |
7 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar !!! | 3 | | Richard Damon |
7 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar !!! | 2 | | olcott |
7 Jul 24 | Re: Liar detector: Olcott is a Liar !!! | 1 | | Richard Damon |
7 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar !!! | 11 | | olcott |
7 Jul 24 | Re: Liar detector: Peter Olcott is a Liar !!! | 10 | | Richard Damon |
7 Jul 24 | Richard is a Liar | 9 | | olcott |
7 Jul 24 | Re: Richard is a Liar | 8 | | Richard Damon |
7 Jul 24 | Re: Richard is a Liar | 7 | | olcott |
7 Jul 24 | Re: Olcott is a Liar | 5 | | Richard Damon |
7 Jul 24 | Is Richard a Liar? | 4 | | olcott |
7 Jul 24 | Re: Is Richard a Liar? | 2 | | joes |
7 Jul 24 | Re: Is Richard a Liar? | 1 | | olcott |
7 Jul 24 | Re: Olcott IS a Liar! | 1 | | Richard Damon |
8 Jul 24 | Re: Richard is a Liar | 1 | | Mikko |
7 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? | 3 | | joes |
7 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? | 2 | | olcott |
7 Jul 24 | Re: Liar detector: Olcott is a LIAR. | 1 | | Richard Damon |
8 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? | 1 | | Mikko |
7 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 118 | | Fred. Zwarts |
7 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 117 | | olcott |
7 Jul 24 | Re: Liar detector: Peter Olcott | 1 | | Richard Damon |
8 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 115 | | Fred. Zwarts |
8 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 114 | | olcott |
8 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 5 | | joes |
8 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 4 | | olcott |
8 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 2 | | joes |
8 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 1 | | olcott |
9 Jul 24 | Re: Liar detector: Peter Olcott lies | 1 | | Richard Damon |
8 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 107 | | Fred. Zwarts |
9 Jul 24 | Re: Liar detector: Peter Olcott found lying. | 1 | | Richard Damon |
5 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 1 | | Richard Damon |
5 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement | 2 | | joes |
5 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan | 21 | | joes |
4 Jul 24 | Re: Liar detector: Peter OLCOTT YES! | 19 | | Richard Damon |
4 Jul 24 | Re: Liar detector: Fred, Richard, Joes and Alan | 1 | | Mikko |