Re: Flat out dishonest or totally ignorant?

Liste des GroupesRevenir à s logic 
Sujet : Re: Flat out dishonest or totally ignorant?
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logic
Date : 02. Jul 2024, 04:35:52
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v5vp28$1oana$5@i2pn2.org>
References : 1 2 3
User-Agent : Mozilla Thunderbird
On 7/1/24 10:09 PM, olcott wrote:
On 7/1/2024 8:51 PM, Richard Damon wrote:
On 7/1/24 9:25 PM, olcott wrote:
typedef void (*ptr)();
int HHH(ptr P);
>
void Infinite_Loop()
{
   HERE: goto HERE;
}
>
void Infinite_Recursion()
{
   Infinite_Recursion();
}
>
void DDD()
{
   HHH(DDD);
}
>
int main()
{
   HHH(Infinite_Loop);
   HHH(Infinite_Recursion);
   HHH(DDD);
}
>
Every C programmer that knows what an x86 emulator is knows
that when HHH emulates the machine language of Infinite_Loop,
Infinite_Recursion, and DDD that it must abort these emulations
so that itself can terminate normally.
>
Right.
>
 Then why do you contradict yourself below? Did you forget to lie?
Because I didn't contradict my self or lie, as the programs are different.
A well written decider should be able to tell that UTM(Infinite_Loop) and UTM(Infinite_recursion) will never halt.
But, given that HHH(DDD) *WILL* abort its emulation and return, then UTM(DDD) (which still calls HHH) will be able to emulate DDD calling HHH(DDD) which will eventually abort its emulation of the inner DDD and return to the calling DDD and then the program will halt.
This DDD is NOT non-halting but halting, and never had "infinite recursion"

 
>
When this is construed as non-halting criteria then simulating
termination analyzer HHH is correct to reject these inputs as
non-halting by returning 0 to its caller.
>
But only when you can actually PROVE that the full emulation of the program would be non-halting.
>
 Too late you already agreed.
You must have forgot to lie.
Nope, but apparently not to late for you to lie AGAIN. You keep on making the stupid error, probably because you don't know better, that two different programs must act the same.

 
>
Simulating termination analyzers must report on the behavior
that their finite string input specifies thus HHH must report
that DDD correctly emulated by HHH remains stuck in recursive
simulation.
>
But if DDD WAS stuck in infinte recursion, so must be HHH, so it isn't a decider.
>
 Too late, you already agreed that HHH(DDD) is correct.
 
WHere?
You are just a LIAR. And heading for the hot time in Gehenna soon.

HHH can't have different behavior when emulated by HHH then when it is actually run.
>
The problem is that "Emulated by the Decider" is NOT a valid criteria for the behavior of the input, since it isn't a function of just the input.
>
Sure it is. If we don't do it that way then we stupidly
ignore that HHH(DDD) must abort its emulation.
Nope, that means something is a function of something it isn't defined to be a function of.
In other words, your definition is just a LIE.

 
The "Behavior of the input" will be the behavior of the program the input represents when it is run.
 If we assume that then we stupidly ignore that
HHH(DDD) must abort its emulation.
But that doesn't give it the right to give the wrong answer.
I guess you are just admitting that you logic is based on the premise that it is ok to lie if you want to.
That makes Election Deniers and Climate Change Deniers correct in their claims.

 Basically it is too late you forget to lie and told the truth
on the first point thus contradicting yourself on every other point.
 
Nope, I agree that a decider can get the first two, which is all you mentioned.
You just fell into your own trap and made yourself into a clear liar,
Of course, you seem to do that every time you speak.

Date Sujet#  Auteur
2 Jul 24 * Flat out dishonest or totally ignorant?70olcott
2 Jul 24 +* Re: Flat out dishonest or totally ignorant?9Richard Damon
2 Jul 24 i`* Re: Flat out dishonest or totally ignorant?8olcott
2 Jul 24 i `* Re: Flat out dishonest or totally ignorant?7Richard Damon
2 Jul 24 i  `* Re: Flat out dishonest or totally ignorant?6olcott
2 Jul 24 i   `* Re: Flat out dishonest or totally ignorant?5Richard Damon
2 Jul 24 i    `* Re: Flat out dishonest or totally ignorant?4olcott
2 Jul 24 i     `* Re: Flat out dishonest or totally ignorant?3Richard Damon
2 Jul 24 i      `* Re: Flat out dishonest or totally ignorant?2olcott
3 Jul 24 i       `- Re: Flat out dishonest or totally ignorant?1Richard Damon
2 Jul 24 `* Re: Flat out dishonest or totally ignorant?60Fred. Zwarts
2 Jul 24  `* Re: Flat out dishonest or totally ignorant?59olcott
2 Jul 24   `* Re: Flat out dishonest or totally ignorant?58Fred. Zwarts
2 Jul 24    `* Re: Flat out dishonest or totally ignorant?57olcott
2 Jul 24     `* Re: Flat out dishonest or totally ignorant?56Fred. Zwarts
2 Jul 24      `* Re: Flat out dishonest or totally ignorant?55olcott
3 Jul 24       +* Re: Flat out dishonest or totally ignorant?25Richard Damon
3 Jul 24       i`* Re: Flat out dishonest or totally ignorant?24olcott
3 Jul 24       i `* Re: Flat out dishonest or totally ignorant?23Richard Damon
3 Jul 24       i  `* Re: Flat out dishonest or totally ignorant?22olcott
3 Jul 24       i   `* Re: Flat out dishonest or totally ignorant?21Richard Damon
3 Jul 24       i    `* Re: Flat out dishonest or totally ignorant?20olcott
3 Jul 24       i     `* Re: Flat out dishonest or totally ignorant?19Richard Damon
3 Jul 24       i      `* Re: Flat out dishonest or totally ignorant? --- Richard seems to be willfully ignorant18olcott
3 Jul 24       i       `* Re: Flat out dishonest or totally ignorant? --- Richard seems to be willfully ignorant17Richard Damon
3 Jul 24       i        `* Re: Flat out dishonest or totally ignorant? --- Richard seems to be willfully ignorant16olcott
3 Jul 24       i         +* Re: Flat out dishonest or totally ignorant? --- Richard seems to be willfully ignorant5Richard Damon
3 Jul 24       i         i`* Re: Flat out dishonest or totally ignorant? --- Richard seems to be willfully ignorant4olcott
3 Jul 24       i         i `* Re: Flat out dishonest or totally ignorant? --- Olcott seems to be willfully ignorant3Richard Damon
3 Jul 24       i         i  `* Re: Flat out dishonest or totally ignorant? --- Olcott seems to be willfully ignorant2olcott
4 Jul 24       i         i   `- Re: Flat out dishonest or totally ignorant? --- Olcott seems to be willfully ignorant1Richard Damon
3 Jul 24       i         `* Re: Flat out dishonest or totally ignorant? --- Richard seems to be willfully ignorant10Fred. Zwarts
3 Jul 24       i          `* Re: Flat out dishonest or totally ignorant? --- Richard seems to be willfully ignorant9olcott
3 Jul 24       i           +* Re: Flat out dishonest or totally ignorant? --- Richard seems to be willfully ignorant7Fred. Zwarts
3 Jul 24       i           i`* Re: Flat out dishonest or totally ignorant? --- Richard seems to be willfully ignorant6olcott
3 Jul 24       i           i `* Re: Flat out dishonest or totally ignorant? --- Richard seems to be willfully ignorant5Fred. Zwarts
3 Jul 24       i           i  +* Re: Flat out dishonest or totally ignorant? --- Richard seems to be willfully ignorant2olcott
3 Jul 24       i           i  i`- Re: Flat out dishonest or totally ignorant? --- Richard seems to be willfully ignorant1Fred. Zwarts
3 Jul 24       i           i  `* Re: Flat out dishonest or totally ignorant? --- Richard seems to be willfully ignorant2olcott
3 Jul 24       i           i   `- Re: Flat out dishonest or totally ignorant? --- Richard seems to be willfully ignorant1Fred. Zwarts
4 Jul 24       i           `- Re: Flat out dishonest or totally ignorant? --- Olcott seems to be willfully ignorant1Richard Damon
3 Jul 24       `* Re: Flat out dishonest or totally ignorant?29joes
3 Jul 24        `* Re: Flat out dishonest or totally ignorant?28olcott
3 Jul 24         +* Re: Flat out dishonest or totally ignorant?9Fred. Zwarts
3 Jul 24         i`* Re: Flat out dishonest or totally ignorant?8olcott
3 Jul 24         i `* Re: Flat out dishonest or totally ignorant?7Fred. Zwarts
3 Jul 24         i  `* Re: Flat out dishonest or totally ignorant?6olcott
3 Jul 24         i   +* Re: Flat out dishonest or totally ignorant?3Fred. Zwarts
3 Jul 24         i   i`* Re: Flat out dishonest or totally ignorant?2olcott
3 Jul 24         i   i `- Re: Flat out dishonest or totally ignorant?1Fred. Zwarts
4 Jul 24         i   `* Re: Flat out dishonest or totally ignorant?2joes
4 Jul 24         i    `- Re: Flat out dishonest or totally ignorant?1olcott
3 Jul 24         `* Re: Flat out dishonest or totally ignorant?18joes
3 Jul 24          `* Re: Flat out dishonest or totally ignorant?17olcott
4 Jul 24           +* Re: Flat out dishonest or totally ignorant? Yes to both for Peter Olcott14Richard Damon
4 Jul 24           i`* Flat out dishonest or totally ignorant? Can ADD be this severe?13olcott
4 Jul 24           i `* Re: Flat out dishonest or totally ignorant? Can ADD be this severe?12Richard Damon
4 Jul 24           i  `* Re: Flat out dishonest or totally ignorant? Liar11olcott
4 Jul 24           i   `* Re: Flat out dishonest or totally ignorant? Liar10Richard Damon
4 Jul 24           i    `* Re: Flat out dishonest or totally ignorant? Liar ???9olcott
4 Jul 24           i     `* Re: Flat out dishonest or totally ignorant? Liar ??? For Olcott: YES to both.8Richard Damon
4 Jul 24           i      `* Re: Flat out dishonest or totally ignorant? Liar ??? Maybe...7olcott
4 Jul 24           i       `* Re: Flat out dishonest or totally ignorant? Liar ??? Maybe...6Richard Damon
4 Jul 24           i        `* Re: Flat out dishonest or totally ignorant? Liar ??? Maybe...5olcott
4 Jul 24           i         +* Re: Flat out dishonest or totally ignorant? Liar ??? Maybe...3Fred. Zwarts
4 Jul 24           i         i`* Re: Flat out dishonest or totally ignorant? Liar ??? Maybe...2olcott
4 Jul 24           i         i `- Re: Flat out dishonest or totally ignorant? Liar ??? Maybe...1Fred. Zwarts
4 Jul 24           i         `- Re: Flat out dishonest or totally ignorant? Liar ??? Maybe...1Richard Damon
4 Jul 24           `* Re: Flat out dishonest or totally ignorant?2joes
4 Jul 24            `- Re: Flat out dishonest or totally ignorant?1olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal