Sujet : Re: No one can correctly refute that simulating abort decider A(D,D) is correct
De : polcott2 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logicDate : 28. Mar 2024, 04:13:52
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <uu2jp1$36okm$2@dont-email.me>
References : 1 2 3 4 5 6
User-Agent : Mozilla Thunderbird
On 3/27/2024 8:39 PM, Richard Damon wrote:
On 3/27/24 9:10 PM, olcott wrote:
On 3/27/2024 7:48 PM, Richard Damon wrote:
On 3/27/24 4:10 PM, olcott wrote:
On 3/27/2024 2:57 PM, Fred. Zwarts wrote:
Op 27.mrt.2024 om 20:04 schreef olcott:
01 void B(ptr x) // ptr is pointer to void function
02 {
03 A(x, x);
04 return;
05 }
06
07 void main()
08 {
09 A(B,B);
10 }
>
*Execution Trace*
Line 09: main() invokes A(B,B);
>
*keeps repeating* (unless aborted)
That is a premature conclusion when A is not specified.
>
*simulating abort decider* A(D,D)
*simulating abort decider* A(D,D)
*simulating abort decider* A(D,D)
*simulating abort decider* A(D,D)
>
Which just shows your ignorance as that doesn't define what A actually is, or needs to do.
>
You are just demonstrating that you don't know what you are talking about.
>
>
It holds if A does not halt. If A returns, then B will halt (unless aborted).
>
If you honestly don't see that no A can possible return to
any simulated B then you lied about your programming skill.
Otherwise you can see this and are lying about it.
>
It may not be able to simulate a B to the point of seeing an A return to it,
>
*That is the behavior that an abort decider must report on*
*That is the behavior that an abort decider must report on*
*That is the behavior that an abort decider must report on*
>
It is not possible to CORRECTLY simulate a B to the point of seeing
an A return to it because A calls B in recursive simulation.
>
Nope, it IS possible to simulate any B to the point of seeing A return,
It is impossible for A(B,B) to simulate its input such that any
A ever returns to any B simulated by A because B calls A in recursive
simulation.
-- 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 |
27 Mar 24 | No one can correctly refute that simulating abort decider A(D,D) is correct | 39 | | olcott |
27 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 38 | | Fred. Zwarts |
27 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 37 | | olcott |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 36 | | Richard Damon |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 35 | | olcott |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 34 | | Richard Damon |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 33 | | olcott |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 32 | | Richard Damon |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 31 | | olcott |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 30 | | Richard Damon |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 29 | | olcott |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 28 | | Richard Damon |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 27 | | olcott |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 13 | | Fred. Zwarts |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 12 | | olcott |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 2 | | Fred. Zwarts |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 1 | | olcott |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 9 | | Richard Damon |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 8 | | olcott |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 7 | | Richard Damon |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 6 | | olcott |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 5 | | Richard Damon |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 4 | | olcott |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 3 | | Richard Damon |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 2 | | olcott |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 1 | | Richard Damon |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 13 | | Richard Damon |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 12 | | olcott |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 11 | | Richard Damon |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 10 | | olcott |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 9 | | Richard Damon |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 8 | | olcott |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 7 | | Richard Damon |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 6 | | olcott |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 5 | | Richard Damon |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 4 | | olcott |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 1 | | Richard Damon |
30 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 2 | | olcott |
30 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 1 | | Richard Damon |