Sujet : Re: DDD correctly emulated by HHH cannot possibly halt
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logicDate : 12. Jul 2024, 13:28:56
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v6r7i8$30qtt$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
User-Agent : Mozilla Thunderbird
On 7/12/2024 6:15 AM, Richard Damon wrote:
On 7/11/24 11:30 PM, olcott wrote:
On 7/11/2024 10:18 PM, Richard Damon wrote:
On 7/11/24 10:28 PM, olcott wrote:
We stipulate that the only measure of a correct emulation
is the semantics of the x86 programming language. By this
measure when 1 to ∞ steps of DDD are correctly emulated
by each pure function x86 emulator HHH (of the infinite
set of every HHH that can possibly exist) then DDD cannot
possibly reach its own machine address of 00002174 and halt.
_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]
>
When 1,2,3... ∞ steps of DDD are correctly emulated by
HHH it is a lie to say that this many instructions were
not correctly emulated and you know it.
>
>
But only N instructions "correctly emulated" is NOT a CORRECT emulaition of the instructions of DDD/HHH
>
>
I didn't limit it to N. Is this your ADD? I say 1 to infinity steps !!!
I didn't limit it to N. Is this your ADD? I say 1 to infinity steps !!!
I didn't limit it to N. Is this your ADD? I say 1 to infinity steps !!!
I didn't limit it to N. Is this your ADD? I say 1 to infinity steps !!!
I didn't limit it to N. Is this your ADD? I say 1 to infinity steps !!!
>
So, I guess NONE of them ever stop before reaching the end, if none of them stop before that.
1,2,3... ∞ steps of DDD are correctly emulated is every
HHH/DDD pair that can possibly exist when HHH is a pure
function x86 emulator.
No more dishonest shell game ruse
https://jorynjenkins.com/hiding-the-pea/That wastes weeks and weeks talking in circles.
For each element of this infinite set of HHH/DDD pairs
DDD never halts. For every finite N number of emulated
steps HHH halts.
This means that every HHH of this set that aborts its
emulation of DDD is correct to reject its DDD as non
halting.
-- 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 |
7 Jul 24 | Sequence of sequence, selection and iteration matters | 133 | | olcott |
7 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 3 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 2 | | olcott |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 1 | | Richard Damon |
8 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 129 | | Mikko |
8 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 128 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 46 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 45 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 40 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 39 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 38 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 12 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 11 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 10 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 9 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 8 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees to something different. | 7 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings | 6 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings | 5 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings | 4 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings | 3 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings | 2 | | olcott |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings | 1 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 15 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 14 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 4 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 3 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 2 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 1 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 9 | | Mikko |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 8 | | Richard Damon |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 7 | | Mikko |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 2 | | Richard Damon |
11 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 1 | | Mikko |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 4 | | olcott |
11 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 1 | | Richard Damon |
11 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 2 | | Mikko |
11 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 1 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 10 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 9 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 8 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 7 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 2 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 1 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 4 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 3 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 2 | | olcott |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 1 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 4 | | Mikko |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 3 | | olcott |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 1 | | Richard Damon |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 1 | | Mikko |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 81 | | Mikko |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 80 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 77 | | Fred. Zwarts |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 76 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 74 | | Fred. Zwarts |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 73 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 68 | | Fred. Zwarts |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 67 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 1 | | joes |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 64 | | Fred. Zwarts |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 61 | | olcott |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 31 | | joes |
10 Jul 24 | DDD correctly emulated by HHH cannot possibly halt | 30 | | olcott |
10 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 29 | | joes |
10 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 28 | | olcott |
11 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 27 | | Richard Damon |
11 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 26 | | olcott |
11 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt, thinks olcott, but it does. | 25 | | Richard Damon |
11 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt, thinks olcott, but it does. | 24 | | olcott |
11 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt, thinks olcott, but it does. | 23 | | Richard Damon |
11 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 22 | | olcott |
11 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 21 | | Richard Damon |
11 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 20 | | olcott |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 19 | | Richard Damon |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 18 | | olcott |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 17 | | Richard Damon |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 16 | | olcott |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 10 | | joes |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 9 | | olcott |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 4 | | Fred. Zwarts |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 3 | | olcott |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 1 | | Fred. Zwarts |
13 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 1 | | Mikko |
13 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 1 | | Richard Damon |
14 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 3 | | joes |
14 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 2 | | olcott |
14 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 1 | | Richard Damon |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt Because HHH that correctly simulates does not Halt | 5 | | Richard Damon |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 4 | | olcott |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 1 | | Fred. Zwarts |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 1 | | joes |
13 Jul 24 | Re: DDD correctly but partially emulated by HHH cannot possibly be seen to halt by HHH, but do halt | 1 | | Richard Damon |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 29 | | Fred. Zwarts |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 28 | | olcott |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 27 | | Fred. Zwarts |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 26 | | olcott |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 25 | | Fred. Zwarts |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 24 | | olcott |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 3 | | Fred. Zwarts |
11 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 20 | | Mikko |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters ---clarification | 1 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- one more freaking time | 1 | | olcott |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 1 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 3 | | joes |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 1 | | Richard Damon |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 1 | | Richard Damon |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 1 | | Richard Damon |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 1 | | Mikko |