Sujet : a complete emulation of this input could be done --- Liar
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logicDate : 10. Jul 2024, 04:18:31
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v6kui7$1o833$2@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/9/2024 9:51 PM, Richard Damon wrote:
On 7/9/24 10:06 AM, olcott wrote:
On 7/9/2024 3:56 AM, Fred. Zwarts wrote:
Op 08.jul.2024 om 19:36 schreef olcott:
On 7/8/2024 11:16 AM, Fred. Zwarts wrote:
You believe that two equals infinity.
>
void Infinite_Loop()
{
HERE: goto HERE;
}
>
void Infinite_Recursion()
{
Infinite_Recursion();
}
>
void DDD()
{
HHH(DDD);
}
>
Two cycles is enough to correctly determine that none
of the above functions correctly emulated by HHH can
possibly halt.
>
That you don't see this is ignorance or deception.
>
>
The first two irrelevant examples cannot halt, but they differ fundamentally from DDD, because DDD, like Finite_Recursion, halts after N repetitions.
>
>
*I have never explained this issue to Ben this clearly before*
Ben seems to believe that HHH must report that it need not
abort the emulation of DDD because AFTER HHH has already
aborted this emulation DDD does not need to be aborted.
>
Because it does, since this HHH DOES abort its emulation, it turns out that a complete emulation of this input could be done, which is the definition of not needing to abort the emulation.
_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)
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ steps of DDD can't make it
past the above line of code no matter what.
[00002170] 83c404 add esp,+04
[00002173] 5d pop ebp
[00002174] c3 ret
Size in bytes:(0018) [00002174]
-- 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 |