Sujet : Re: Proving the: Simulating termination analyzer Principle
De : chris.m.thomasson.1 (at) *nospam* gmail.com (Chris M. Thomasson)
Groupes : comp.lang.cDate : 11. Apr 2025, 21:00:21
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vtbscm$2fqqg$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
User-Agent : Mozilla Thunderbird
On 4/11/2025 7:42 AM, olcott wrote:
On 4/10/2025 10:00 PM, Chris M. Thomasson wrote:
On 4/10/2025 3:53 PM, olcott wrote:
On 4/9/2025 11:04 PM, Chris M. Thomasson wrote:
On 4/9/2025 7:02 PM, olcott wrote:
On 4/9/2025 6:39 PM, Chris M. Thomasson wrote:
On 4/9/2025 10:18 AM, olcott wrote:
On 4/9/2025 1:00 AM, Chris M. Thomasson wrote:
On 4/5/2025 8:26 PM, olcott wrote:
On 4/5/2025 7:59 PM, Richard Heathfield wrote:
If it is claimed always to give the right answer, it becomes possible (as shown above in the chevrons) to write a program for which it will not be able to work out the right answer - reductio ad absurdum.
>
Your 'principle' doesn't matter a jot.
>
>
Except that it gives the correct
*Simulating termination analyzer Principle*
answer for the Halting Problems impossible input.
The computer science of termination analyzers might agree.
>
>
is this pseudo-code akin to your decider?
>
bool
halts()
{
return (rand_normal() < .5f);
}
>
?
>
>
Not at all it has been fully operational software for
about three years:
https://github.com/plolcott/x86utm/blob/master/Halt7.c
>
typedef void (*ptr)();
int HHH(ptr P);
>
int DD()
{
int Halt_Status = HHH(DD);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}
>
int main()
{
HHH(DD);
}
>
Some version of HHH has been able to return the correct
halt status for some version of DD for about three years.
HHH is always correct for inputs in its domain.
>
>
Is your decider 100% correct for any "black box" program?
>
Of course not and I never claimed any such thing.
>
So, its better than my "50/50" rand decider?
>
Are you trolling me? It seems that your dialogue
is grossly insincere.
>
>
>
HHH has been a 100% correct termination analyzer for all inputs
in its domain since its original H(P) 3 years ago.
>
Can I create some black box programs for it to analyze? Will it give be 100% correct results wrt halts or not?
>
>
Of course not that is a very dumb question.
You are asking if it can carefully examine
all of the details of what it is not allowed to see.
Does your halt decider work or not?
>
The x86utm operating has about 2000 labor hours invested up to
the point of the H(P) prequel to HHH(DD) about 3 years ago.
>
>
Proving the: Simulating termination analyzer Principle
Re: Proving the: Simulating termination analyzer Principle