Re: Can an abort decider be defined that cannot be fooled by any pathological input?

Liste des GroupesRevenir à s logic 
Sujet : Re: Can an abort decider be defined that cannot be fooled by any pathological input?
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logic
Date : 26. Mar 2024, 13:43:45
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <utucdh$33t24$1@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
User-Agent : Mozilla Thunderbird
On 3/25/24 11:29 PM, olcott wrote:
On 3/25/2024 10:01 PM, Richard Damon wrote:
On 3/25/24 10:53 PM, olcott wrote:
On 3/25/2024 9:08 PM, Richard Damon wrote:
On 3/25/24 9:35 PM, olcott wrote:
On 3/25/2024 8:30 PM, Richard Damon wrote:
On 3/25/24 9:12 PM, olcott wrote:
On 3/25/2024 7:47 PM, Richard Damon wrote:
On 3/25/24 8:37 PM, olcott wrote:
On 3/25/2024 7:22 PM, Richard Damon wrote:
On 3/25/24 8:11 PM, olcott wrote:
On 3/25/2024 6:47 PM, Richard Damon wrote:
On 3/25/24 1:33 PM, olcott wrote:
On 3/25/2024 11:16 AM, Fred. Zwarts wrote:
Op 25.mrt.2024 om 17:04 schreef olcott:
On 3/25/2024 10:48 AM, Fred. Zwarts wrote:
Op 25.mrt.2024 om 16:17 schreef olcott:
On 3/24/2024 3:51 AM, Fred. Zwarts wrote:
Op 24.mrt.2024 om 05:55 schreef olcott:
Can an abort decider be defined that cannot be fooled by any pathological input?
>
01 int D(ptr x)  // ptr is pointer to int function
02 {
03   int Halt_Status = H(x, x);
04   if (Halt_Status)
05     HERE: goto HERE;
06   return Halt_Status;
07 }
08
09 void main()
10 {
11   H(D,D);
12 }
>
Of all of the elements of the set of H(D,D) where H simulates its
input there are matched pairs of otherwise identical elements that
only differ by whether they abort their simulation or not.
>
The half of these that don't abort are incorrect because all deciders
must halt. This makes the other half correct about the abort/no abort
decision.
>
No. The other, aborting, half is just wrong, because it aborts when it is not needed. So, the half that aborts is wrong and it may be argued that it is better to not abort something that halts on its own and that
>
At least two software engineers with masters degrees in computer science
disagree.
>
Two is not many, considering that with Google for any invalid idea it is easy to find a several people with a master degree supporting it.
>
Exactly what are you software engineering skills?
>
I have been professionally programming since 1986 in several languages. (Non professionally I started programming in 1975). Since about 1990 I programmed in C and since about 2000 in C++.
>
>
I have been a professional C++ software engineer since Y2K.
>
I'm sorry to hear that olcott has been so smart, but now he does not even sees what even a beginner sees.
>
Can D correctly simulated by H terminate normally?
01 int D(ptr x)  // ptr is pointer to int function
02 {
03   int Halt_Status = H(x, x);
04   if (Halt_Status)
05     HERE: goto HERE;
06   return Halt_Status;
07 }
08
09 void main()
10 {
11   H(D,D);
12 }
>
*Execution Trace*
Line 11: main() invokes H(D,D);
>
*keeps repeating* (unless aborted)
Line 03: simulated D(D) invokes simulated H(D,D) that simulates D(D)
>
Even a beginner sees that, if the H that aborts is chosen, simulated H(D,D) aborts and returns false (unless aborted). So simulated D halts (unless aborted).
>
>
I am estimating that you must be fibbing about your programming skill.
The D simulated by any implementation of H (that aborts or does not
abort its simulation) shown above cannot possibly reach its own line 04
also shown above.
>
>
But that isn't the question.
>
>
*That <is> the abort decision question*
>
But you agreed that a correct abort decider oly NEEDS to abort its simulation if the correct simulation by a pure correct simulator of the input given to H (which doesn't change, so for this case, still calls that original H) will never reach a final state.
>
>
The question is does that machine described by the input Halt when run, or, alternatively, does its correct simulation (not just by H) run forever (and thus needs to be aborted)?
>
>
Since you know that H(D,D) must abort its simulation to prevent its
own infinite execution I don't understand why you would lie about it.
>
But an H that doesn't abort and an H that does abort are looking at different inputs "D", since you agree that the behavior of D changes based on the H that it is using.
>
>
Not at all. Of the infinite set of every possible implementation of
H where H(D,D) simulates its input everyone that chose to abort is
necessarily correct.
>
I don't understand why you persist in lying about this.
>
>
I really want to get on to the next step and see if any input can
fool an abort decider into making the wrong abort decision.
>
But you need to get this step right first.
>
>
Perhaps you already know that you are not up to this challenge?
>
No, it seems that YOU are not up to it, as you can't seem to understand the error that you are making.
>
You keep on lying to yourself about what your requirements are.
>
>
I am not the one that keeps using the strawman deception to change
the subject away from H(D,D) an abort decider for the above D.
>
Neither am I.
>
YOU agreed that the criteria for an abort decider is only CORRECT if a CORRECT simulation of the exact input given to H(D,D) (i.e UTM(D,D) ) does not halt, where D still calls that H(D,D)
>
>
I never agreed to that.
>
Yes you did:
>
*You just admitted to lying abut this* (see below).
>
Nope, see below.
>
>
>
On 3/17/24 6:11 AM, olcott wrote:
 > On 3/17/2024 12:22 AM, Richard Damon wrote:
 >> To me, for H to NEED to abort its simulation, that means that when giving the input to a correct simulator, that simulator will not halt.
 >>
 > Yes that is correct.
 >
>
Since the ONLY definition of a "Correct Simulator" is a simulator that never aborts, you did..
>
>
Because we have been over this hundreds of times you know that I mean
that a correct simulator means that every step that H simulates was
correctly simulated, so why are you lying about this now?
>
Are you trying to run out the clock on my rebuttals?
>
>
And YOU know that when *I* say "Correct Simulation", I mean per the definition of a UTM that exactly duplicates the full behavior of the input machine, and you agreed to ME.
>
>
Then you are admitting that you lied when you claimed that
I believed that.
>
YOU agreed with what *I* said. When I speak, words mean what *I* hold them to beleive.
>
 Are you really willing to bet your soul on that?
As I said, YES, but are you?
Or does the fact that you already lost it mean it doesn't matter to you.

 
Thus, YOU AGREED to MY definition, since you agrees with NO qualifications of your statement.
>
>
>
YOU definition is just illogical as it means that the behavior of a machine is determined by the behavior of a machine that is not it.
>
>
Because deciders must always halt every H that never halts has incorrect
halting behavior and every H that halts has correct halting behavior.
>
That isn't what a "Halt Decider" means, and you are just proving you are just STUPID.
>
 So now you are disagreeing that ALL deciders must always halt?
Nope, but Halting isn't enough to make a foo decider a foo decider.
You are just playing with words again.
To be a Halt Decider, the output needs to match the Halting Function.
To be an Abort Decider, the output needs to match the correct definition of an Abort Decider, namely would the correct simulation of the input halt in a finite number of steps, or does the correct simulation need to be aborted to come to an end,

 
You are acting SO dumb, it seems it MUST be an act, that or you are just a TOTAL MORON.
>
Either way, You are KILLING any chance that any of your idea might be considered in the future by eople reading these words.
>
You are LITERALLY destroying you own ability to acheive your goals, and have turned your life into a TOTAL WASTE.
>
>
You are just PROVING that you have absolutely ZERO idea about what a "Computation" means or what a "Program" is in this context.
>
You are just too stupid to be able to understand it, a stupidity that appears to be self-inflicted.
>
>
 

Date Sujet#  Auteur
24 Mar 24 * Can an abort decider be defined that cannot be fooled by any pathological input?41olcott
24 Mar 24 +* Re: Can an abort decider be defined that cannot be fooled by any pathological input?38Fred. Zwarts
25 Mar 24 i`* Re: Can an abort decider be defined that cannot be fooled by any pathological input?37olcott
25 Mar 24 i +* Re: Can an abort decider be defined that cannot be fooled by any pathological input?35Fred. Zwarts
25 Mar 24 i i`* Re: Can an abort decider be defined that cannot be fooled by any pathological input?34olcott
25 Mar 24 i i `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?33Fred. Zwarts
25 Mar 24 i i  `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?32olcott
26 Mar 24 i i   +* Re: Can an abort decider be defined that cannot be fooled by any pathological input?29Richard Damon
26 Mar 24 i i   i`* Re: Can an abort decider be defined that cannot be fooled by any pathological input?28olcott
26 Mar 24 i i   i `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?27Richard Damon
26 Mar 24 i i   i  `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?26olcott
26 Mar 24 i i   i   `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?25Richard Damon
26 Mar 24 i i   i    `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?24olcott
26 Mar 24 i i   i     `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?23Richard Damon
26 Mar 24 i i   i      `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?22olcott
26 Mar 24 i i   i       `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?21Richard Damon
26 Mar 24 i i   i        `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?20olcott
26 Mar 24 i i   i         `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?19Richard Damon
26 Mar 24 i i   i          `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?18olcott
26 Mar 24 i i   i           `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?17Richard Damon
26 Mar 24 i i   i            `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?16olcott
27 Mar 24 i i   i             `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?15Richard Damon
27 Mar 24 i i   i              `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?14olcott
28 Mar 24 i i   i               `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?13Richard Damon
28 Mar 24 i i   i                `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?12olcott
28 Mar 24 i i   i                 `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?11Richard Damon
28 Mar 24 i i   i                  `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?10olcott
28 Mar 24 i i   i                   `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?9Richard Damon
28 Mar 24 i i   i                    `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?8olcott
29 Mar 24 i i   i                     `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?7Richard Damon
29 Mar 24 i i   i                      `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?6olcott
29 Mar 24 i i   i                       `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?5Richard Damon
29 Mar 24 i i   i                        `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?4olcott
29 Mar 24 i i   i                         `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?3Richard Damon
29 Mar 24 i i   i                          `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?2olcott
29 Mar 24 i i   i                           `- Re: Can an abort decider be defined that cannot be fooled by any pathological input?1Richard Damon
26 Mar 24 i i   `* Re: Can an abort decider be defined that cannot be fooled by any pathological input?2Fred. Zwarts
26 Mar 24 i i    `- Re: Can an abort decider be defined that cannot be fooled by any pathological input?1olcott
26 Mar 24 i `- Re: Can an abort decider be defined that cannot be fooled by any pathological input?1Richard Damon
24 Mar 24 +- Re: Can an abort decider be defined that cannot be fooled by any pathological input?1Richard Damon
25 Mar 24 `- Re: Can an abort decider be defined that cannot be fooled by any pathological input?1olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal