Sujet : Re: You still seem too dishonest to admit that DDD correctly emulated by any HHH cannot possibly reach its own ,"return" instruction
De : abc (at) *nospam* def.com (olcott)
Groupes : comp.theoryDate : 05. Aug 2024, 04:58:29
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v8pil5$g6tu$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
User-Agent : Mozilla Thunderbird
On 8/4/2024 10:07 PM, Richard Damon wrote:
On 8/4/24 10:49 PM, olcott wrote:
On 8/4/2024 9:18 PM, Richard Damon wrote:
On 8/4/24 9:07 PM, olcott wrote:>>
void DDD()
{
HHH(DDD);
return;
}
>
You still seem too dishonest to admit that DDD correctly
emulated by any HHH cannot possibly reach its own "return"
instruction.
>
No, I admit that *IF* HHH does correctly (and thus completely without aborting) emulated its input, then THAT DDD and ONLY that DDD will be non-halting.
>
>
See there?
>
DDD correctly emulated by any HHH that can possibly exist
cannot possibly reach its "return" instruction and every
C expert knows this.
But that only apply to the PROGRAM DDD built from an HHH that never aborts.
No it does not and every C expert knows that it does not.
-- 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 |
4 Aug 24 | Defining a correct halt decider | 67 | | olcott |
4 Aug 24 | Re: Defining a correct halt decider | 45 | | Richard Damon |
4 Aug 24 | Re: Defining a correct halting decidability decider | 44 | | olcott |
4 Aug 24 | Re: Defining a correct halting decidability decider | 43 | | Richard Damon |
4 Aug 24 | Re: Defining a correct halting decidability decider | 42 | | olcott |
4 Aug 24 | Re: Defining a correct halting decidability decider | 20 | | Richard Damon |
4 Aug 24 | Re: Defining a correct halting decidability decider | 19 | | olcott |
4 Aug 24 | Re: Defining a correct halting decidability decider | 18 | | Richard Damon |
4 Aug 24 | Re: Defining a correct halting decidability decider | 17 | | olcott |
5 Aug 24 | Re: Defining a correct halting decidability decider | 16 | | Richard Damon |
5 Aug 24 | Re: Defining a correct halting decidability decider | 15 | | olcott |
5 Aug 24 | Re: Defining a correct halting decidability decider | 14 | | Richard Damon |
5 Aug 24 | Re: Defining a correct halting decidability decider | 13 | | olcott |
5 Aug 24 | Re: Defining a correct halting decidability decider | 12 | | Richard Damon |
5 Aug 24 | Re: Defining a correct halting decidability decider | 11 | | olcott |
5 Aug 24 | Re: Defining a correct halting decidability decider | 10 | | Richard Damon |
5 Aug 24 | You still seem too dishonest to admit that DDD correctly emulated by any HHH cannot possibly reach its own ,"return" instruction | 9 | | olcott |
5 Aug 24 | Re: You still seem too dishonest to admit that DDD correctly emulated by any HHH cannot possibly reach its own ,"return" instruction | 8 | | Richard Damon |
5 Aug 24 | Re: You still seem too dishonest to admit that DDD correctly emulated by any HHH cannot possibly reach its own ,"return" instruction | 7 | | olcott |
5 Aug 24 | Re: You still seem too dishonest to admit that DDD correctly emulated by any HHH cannot possibly reach its own ,"return" instruction | 6 | | Richard Damon |
5 Aug 24 | Re: You still seem too dishonest to admit that DDD correctly emulated by any HHH cannot possibly reach its own ,"return" instruction | 5 | | olcott |
5 Aug 24 | Re: You still seem too dishonest to admit that DDD correctly emulated by any HHH cannot possibly reach its own ,"return" instruction | 4 | | Richard Damon |
5 Aug 24 | Re: You still seem too dishonest to admit that DDD correctly emulated by any HHH cannot possibly reach its own ,"return" instruction | 3 | | wij |
5 Aug 24 | Re: You still seem too dishonest to admit that DDD correctly emulated by any HHH cannot possibly reach its own ,"return" instruction | 2 | | olcott |
6 Aug 24 | Re: Olcott still seems too dishonest to admit that his HHH doesn't correctly emulate DDD | 1 | | Richard Damon |
7 Aug 24 | Re: Defining a correct halting decidability decider | 21 | | Mikko |
7 Aug 24 | Re: Defining a correct halting decidability decider | 20 | | olcott |
8 Aug 24 | Re: Defining a correct halting decidability decider (Which isn't a valid criteria for a decider) | 1 | | Richard Damon |
8 Aug 24 | Re: Defining a correct halting decidability decider | 18 | | Mikko |
8 Aug 24 | Re: Defining a correct halting decidability decider | 17 | | olcott |
8 Aug 24 | Re: Defining a correct halting decidability decider | 4 | | Python |
8 Aug 24 | Re: Defining a correct halting decidability decider | 3 | | olcott |
9 Aug 24 | Re: Defining a correct halting decidability decider | 1 | | Richard Damon |
9 Aug 24 | Re: Defining a correct halting decidability decider | 1 | | Python |
9 Aug 24 | Re: Defining a correct halting decidability decider | 1 | | Richard Damon |
9 Aug 24 | Re: Defining a correct halting decidability decider | 11 | | Mikko |
9 Aug 24 | Re: Defining a correct halting decidability decider | 10 | | olcott |
10 Aug 24 | Re: Defining a correct halting decidability decider | 1 | | Richard Damon |
10 Aug 24 | Re: Defining a correct halting decidability decider | 8 | | Mikko |
10 Aug 24 | Re: Defining a correct halting decidability decider | 7 | | olcott |
10 Aug 24 | Re: Defining a correct halting decidability decider | 3 | | Richard Damon |
10 Aug 24 | Re: Defining a correct halting decidability decider | 2 | | olcott |
10 Aug 24 | Re: Defining a correct halting decidability decider | 1 | | Richard Damon |
11 Aug 24 | Re: Defining a correct halting decidability decider | 3 | | Mikko |
11 Aug 24 | Re: Defining a correct halting decidability decider | 2 | | olcott |
11 Aug 24 | Re: Defining a correct halting decidability decider | 1 | | Richard Damon |
5 Aug 24 | Re: Defining a correct halt decider | 21 | | Mikko |
5 Aug 24 | I call it a halting decidability decider | 20 | | olcott |
5 Aug 24 | Re: I call it a halting decidability decider | 14 | | Python |
5 Aug 24 | Re: I call it a halting decidability decider | 13 | | olcott |
6 Aug 24 | Re: I call it a halting decidability decider, and thus isn't actually a computability decider. | 5 | | Richard Damon |
6 Aug 24 | Re: I call it a halting decidability decider, and thus isn't actually a computability decider. | 4 | | olcott |
6 Aug 24 | Re: I call it a halting decidability decider, and thus isn't actually a computability decider. | 3 | | Richard Damon |
6 Aug 24 | Re: I call it a halting decidability decider, and thus isn't actually a computability decider. | 2 | | olcott |
6 Aug 24 | Re: I call it a halting decidability decider, and thus isn't actually a computability decider. | 1 | | Richard Damon |
7 Aug 24 | Re: I call it a halting decidability decider | 7 | | Mikko |
7 Aug 24 | HHH decides a non-trivial semantic property of its input | 6 | | olcott |
8 Aug 24 | Re: HHH decides a trivial semantic non-property of its input | 1 | | Richard Damon |
8 Aug 24 | Re: HHH decides a non-trivial semantic property of its input | 3 | | Mikko |
8 Aug 24 | Re: HHH decides a non-trivial semantic property of its input | 2 | | olcott |
9 Aug 24 | Re: HHH decides a non-trivial semantic property of its input | 1 | | Richard Damon |
8 Aug 24 | Re: HHH decides a trivial non-semantic non-property of its input | 1 | | Richard Damon |
6 Aug 24 | Re: I call it a halting decidability decider, and thus doesn't say anything about the halting problem | 1 | | Richard Damon |
7 Aug 24 | Re: I call it a halting decidability decider | 4 | | Mikko |
7 Aug 24 | Re: I call it a halting decidability decider | 3 | | olcott |
8 Aug 24 | Re: I call it a halting decidability decider | 1 | | Richard Damon |
8 Aug 24 | Re: I call it a halting decidability decider | 1 | | Mikko |