Re: Can D simulated by H terminate normally?

Liste des GroupesRevenir à s logic 
Sujet : Re: Can D simulated by H terminate normally?
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logic
Date : 28. Apr 2024, 04:09:18
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v0kb4e$2djoe$12@i2pn2.org>
References : 1 2 3 4 5
User-Agent : Mozilla Thunderbird
On 4/27/24 9:54 PM, olcott wrote:
On 4/27/2024 8:39 PM, Richard Damon wrote:
On 4/27/24 8:58 PM, olcott wrote:
On 4/27/2024 7:49 PM, Richard Damon wrote:
On 4/27/24 8:17 PM, olcott wrote:
Can D simulated by H terminate normally?
>
The x86utm operating system based on an open source x86 emulator.
This system enables one C function to execute another C function
in debug step mode. When H simulates D it creates a separate process
context for D with its own memory, stack and virtual registers. H
is able to simulate D simulating itself, thus the only limit to
recursive simulations is RAM.
>
// The following is written in C
//
01 typedef int (*ptr)(); // pointer to int function
02 int H(ptr x, ptr y)    // uses x86 emulator to simulate its input
03
04 int D(ptr x)
05 {
06   int Halt_Status = H(x, x);
07   if (Halt_Status)
08     HERE: goto HERE;
09   return Halt_Status;
10 }
11
12 void main()
13 {
14   D(D);
15 }
>
Execution Trace
Line 14: main() invokes D(D)
>
keeps repeating (unless aborted)
Line 06: simulated D(D) invokes simulated H(D,D) that simulates D(D)
>
Simulation invariant
D correctly simulated by H cannot possibly reach its own line 09.
>
Is it dead obvious to everyone here when examining the execution
trace of lines 14 and 06 above that D correctly simulated by H cannot
possibly terminate normally by reaching its own line 09?
>
>
>
Except that you fail to mention that you have admitted that you are NOT working on the Halting Problem, despite trying to use terminology similar to it, but having stipulated definition that are in conflict with computaiton theory.
>
Note, "keeps repeating (unless aborted)" is a misleading statement, as your H will ALWAYS abort this input, and thus it NEVER will "Keep repeating".
>
You don't like me pointing out the problem because you prefer to be able to LIE to people about what you are doing.
>
You work has NOTHING to do with Halting, as your H/D are not even turing equivalenet to their namesakes in the proof you like to mention.
>
That is the exact verbatim post and the first respondent agreed
and immediately noticed that I was referring to the halting problem.
>
So I will go with what I said, you just don't know C very
well and want to keep that hidden behind rhetoric and denigration.
>
>
>
>
Yes, you couch it to SOUND like the halting problem, but it isn't as you have FUNDAMENTALLY CHANGED the meaning of terms.
>
And thus, to act like it is, just makes you a LIAR.
>
Halting is NOT about H being able to simulate it input to the final state. PERIOD.
>
 I could show how it is but you prefer to believe otherwise and refuse
to go through the detailed steps required.
No, you CAN'T, because you have FUNDAMENTALLY changed the question, sinc eyou claim that even though D(D) Halts, that H(D,D) is correct to say not halting.

 It is psychotic that people really believes that the principle of
explosion is valid inference even though there is zero doubt the it
derives the non-sequitur error.
Nope, that just means you don't understand how logic works.
YOU are the psychotic.

 *When we encode the principle of explosion as a syllogism*
Socrates is a man.
Socrates is not a man.
Therefore, Socrates is a butterfly.
Nope. And that is because the principle of explosion is NOT a "syllogism"
You are again just proving your stupidity.

 The conclusion does not follow from the premises, thus the non-sequitur error. https://en.wikipedia.org/wiki/Principle_of_explosion
So, which step doesn't is incorrect.
Givens:
Proposition A is True.
Proposition A is False.
Goal:
Prove B
Steps
1) Since True | x is always true
2) and A is True (1st Given)
3) The statement A | B must be true.
4) Since if False | x is true, x must be true
5) and A is False (2nd Given)
6) and A | B is True (from 3)
7) it must be that B is True.
QED
Where is the error?

 Marilyn Vos Savant has a simple explanation for this:
Most everyone is simply indoctrinated to conform thus loses the
ability to think for themselves.
 
You are just showing that you are NOT out to promote truth, but to try to infiltrate logic with your ERRORS and LIES to allow you to claim things that are just not true, just like those you try to put down, like the election denyers.
>
You are WORSE than them.
 And you too are sure that the Principle of Explosion of explosion is
valid inference because like most everyone you believe that textbooks
are inherently infallible, thus when they directly contradict each
other this "word of God" is simply beyond human comprehension.
 
If you think it isn't a valid inference, point out the error in the proof of it above.
All you are doing is proving that you don't actually believe in logic.
This explains most of your errors and why your speach is so full of lies, you don't actually believe in the concepts of Logic, or Truth, but they are just objects to be manipulated to try to get your way.
Your native tongue is Lies, as it was of your father below.

Date Sujet#  Auteur
28 Apr 24 * Can D simulated by H terminate normally?171olcott
28 Apr 24 +* Re: Can D simulated by H terminate normally?34Richard Damon
28 Apr 24 i`* Re: Can D simulated by H terminate normally?33olcott
28 Apr 24 i `* Re: Can D simulated by H terminate normally?32Richard Damon
28 Apr 24 i  `* Re: Can D simulated by H terminate normally?31olcott
28 Apr 24 i   +* Re: Can D simulated by H terminate normally?28Richard Damon
28 Apr 24 i   i`* Re: Can D simulated by H terminate normally?27olcott
28 Apr 24 i   i `* Re: Can D simulated by H terminate normally?26Richard Damon
28 Apr 24 i   i  `* Re: Can D simulated by H terminate normally?25olcott
28 Apr 24 i   i   `* Re: Can D simulated by H terminate normally?24Richard Damon
28 Apr 24 i   i    `* Re: Can D simulated by H terminate normally?23olcott
28 Apr 24 i   i     `* Re: Can D simulated by H terminate normally?22Richard Damon
28 Apr 24 i   i      `* Re: Can D simulated by H terminate normally?21olcott
28 Apr 24 i   i       `* Re: Can D simulated by H terminate normally?20Richard Damon
28 Apr 24 i   i        `* Re: Can D simulated by H terminate normally?19olcott
28 Apr 24 i   i         +* Re: Can D simulated by H terminate normally?13Richard Damon
28 Apr 24 i   i         i`* Re: Can D simulated by H terminate normally?12olcott
28 Apr 24 i   i         i `* Re: Can D simulated by H terminate normally?11Richard Damon
28 Apr 24 i   i         i  `* Re: Can D simulated by H terminate normally? POE10olcott
28 Apr 24 i   i         i   `* Re: Can D simulated by H terminate normally? POE9Richard Damon
28 Apr 24 i   i         i    +* Re: Can D simulated by H terminate normally? POE2olcott
29 Apr 24 i   i         i    i`- Re: Can D simulated by H terminate normally? POE1Richard Damon
29 Apr 24 i   i         i    `* Re: Can D simulated by H terminate normally? POE6olcott
29 Apr 24 i   i         i     `* Re: Can D simulated by H terminate normally? POE5Richard Damon
29 Apr 24 i   i         i      `* Re: Can D simulated by H terminate normally? POE4olcott
29 Apr 24 i   i         i       `* Re: Can D simulated by H terminate normally? POE3Richard Damon
29 Apr 24 i   i         i        `* Re: Can D simulated by H terminate normally? POE2olcott
30 Apr 24 i   i         i         `- Re: Can D simulated by H terminate normally? POE1Richard Damon
28 Apr 24 i   i         `* Re: Can D simulated by H terminate normally?5Richard Damon
28 Apr 24 i   i          `* Re: Can D simulated by H terminate normally?4olcott
28 Apr 24 i   i           `* Re: Can D simulated by H terminate normally?3Richard Damon
28 Apr 24 i   i            `* Re: Can D simulated by H terminate normally?2olcott
28 Apr 24 i   i             `- Re: Can D simulated by H terminate normally?1Richard Damon
28 Apr 24 i   `* Re: Can D simulated by H terminate normally?2olcott
28 Apr 24 i    `- Re: Can D simulated by H terminate normally?1Richard Damon
28 Apr 24 `* Re: Can D simulated by H terminate normally?136olcott
28 Apr 24  `* Re: Can D simulated by H terminate normally?135Richard Damon
28 Apr 24   `* Re: Can D simulated by H terminate normally?134olcott
28 Apr 24    `* Re: Can D simulated by H terminate normally?133Richard Damon
28 Apr 24     `* Re: Can D simulated by H terminate normally?132olcott
28 Apr 24      `* Re: Can D simulated by H terminate normally?131Richard Damon
28 Apr 24       `* Re: Can D simulated by H terminate normally?130olcott
28 Apr 24        `* Re: Can D simulated by H terminate normally?129Richard Damon
28 Apr 24         +* Re: Can D simulated by H terminate normally?104olcott
28 Apr 24         i+* Re: Can D simulated by H terminate normally?96Richard Damon
28 Apr 24         ii`* Re: Can D simulated by H terminate normally?95olcott
28 Apr 24         ii `* Re: Can D simulated by H terminate normally?94Richard Damon
28 Apr 24         ii  `* Re: Can D simulated by H terminate normally?93olcott
29 Apr 24         ii   `* Re: Can D simulated by H terminate normally?92Richard Damon
29 Apr 24         ii    `* Re: Can D simulated by H terminate normally?91olcott
29 Apr 24         ii     `* Re: Can D simulated by H terminate normally?90Richard Damon
29 Apr 24         ii      `* Re: Can D simulated by H terminate normally?89olcott
30 Apr 24         ii       `* Re: Can D simulated by H terminate normally?88Richard Damon
30 Apr 24         ii        `* Re: Can D simulated by H terminate normally?87olcott
30 Apr 24         ii         `* Re: Can D simulated by H terminate normally?86Richard Damon
30 Apr 24         ii          `* Re: Can D simulated by H terminate normally?85olcott
1 May 24         ii           `* Re: Can D simulated by H terminate normally?84Richard Damon
1 May 24         ii            `* Re: Can D simulated by H terminate normally?83olcott
1 May 24         ii             `* Re: Can D simulated by H terminate normally?82Richard Damon
1 May 24         ii              `* Re: Can D simulated by H terminate normally?81olcott
2 May 24         ii               `* Re: Can D simulated by H terminate normally?80Richard Damon
2 May 24         ii                +* Re: Can D simulated by H terminate normally?6olcott
2 May 24         ii                i`* Re: Can D simulated by H terminate normally?5Richard Damon
2 May 24         ii                i `* Re: Can D simulated by H terminate normally?4olcott
2 May 24         ii                i  `* Re: Can D simulated by H terminate normally?3Richard Damon
2 May 24         ii                i   `* Re: Can D simulated by H terminate normally?2olcott
2 May 24         ii                i    `- Re: Can D simulated by H terminate normally?1Richard Damon
18 May 24         ii                +- Re: Can D simulated by H terminate normally?1Richard Damon
18 May 24         ii                +* Re: Can D simulated by H terminate normally? --- Message-ID provided4olcott
18 May 24         ii                i`* Re: Can D simulated by H terminate normally? --- Message-ID provided3Richard Damon
18 May 24         ii                i `* Re: Can D simulated by H terminate normally? --- Message-ID provided2olcott
18 May 24         ii                i  `- Re: Can D simulated by H terminate normally? --- Message-ID provided1Richard Damon
18 May 24         ii                +* Re: Can D simulated by H terminate normally? --- Message_ID Provided7olcott
18 May 24         ii                i+* Re: Can D simulated by H terminate normally? --- Message_ID Provided3Richard Damon
18 May 24         ii                ii`* Re: Can D simulated by H terminate normally? --- Message_ID Provided2olcott
18 May 24         ii                ii `- Re: Can D simulated by H terminate normally? --- Message_ID Provided1Richard Damon
18 May 24         ii                i`* Re: Can D simulated by H terminate normally? --- Message_ID Provided3Richard Damon
18 May 24         ii                i `* Re: Can D simulated by H terminate normally? --- Message_ID Provided2olcott
18 May 24         ii                i  `- Re: Can D simulated by H terminate normally? --- Message_ID Provided1Richard Damon
18 May 24         ii                +* Re: Can D simulated by H terminate normally? --- Message_ID Provided31olcott
18 May 24         ii                i`* Re: Can D simulated by H terminate normally? --- Message_ID Provided30Richard Damon
18 May 24         ii                i +* Re: Can D simulated by H terminate normally? --- Message_ID Provided2olcott
19 May 24         ii                i i`- Re: Can D simulated by H terminate normally? --- Message_ID Provided1Richard Damon
19 May 24         ii                i `* Re: Can D simulated by H terminate normally? --- Message_ID Provided27olcott
19 May 24         ii                i  `* Re: Can D simulated by H terminate normally? --- Message_ID Provided26Richard Damon
19 May 24         ii                i   `* Re: Can D simulated by H terminate normally? --- Message_ID Provided25olcott
19 May 24         ii                i    `* Re: Can D simulated by H terminate normally? --- Message_ID Provided24Richard Damon
19 May 24         ii                i     `* Re: Can D simulated by H terminate normally? --- Message_ID Provided23olcott
19 May 24         ii                i      +* Re: Can D simulated by H terminate normally? --- Message_ID Provided15immibis
19 May 24         ii                i      i+* Re: Can D simulated by H terminate normally? --- Message_ID Provided9olcott
20 May 24         ii                i      ii`* Re: Can D simulated by H terminate normally? --- Message_ID Provided8immibis
20 May 24         ii                i      ii `* Re: Can D simulated by H terminate normally? --- Message_ID Provided7olcott
20 May 24         ii                i      ii  +* Re: Can D simulated by H terminate normally? --- Message_ID Provided3immibis
20 May 24         ii                i      ii  i`* Re: Can D simulated by H terminate normally? --- Message_ID Provided2olcott
21 May 24         ii                i      ii  i `- Re: Can D simulated by H terminate normally? --- Message_ID Provided1Richard Damon
20 May 24         ii                i      ii  `* Re: Can D simulated by H terminate normally? --- Message_ID Provided3Richard Damon
20 May 24         ii                i      ii   `* Re: Can D simulated by H terminate normally? --- Message_ID Provided2olcott
21 May 24         ii                i      ii    `- Re: Can D simulated by H terminate normally? --- Message_ID Provided1Richard Damon
19 May 24         ii                i      i`* Re: Can D simulated by H terminate normally? --- Message_ID Provided5olcott
19 May 24         ii                i      i +- Re: Can D simulated by H terminate normally? --- Message_ID Provided1Richard Damon
20 May 24         ii                i      i `* Re: Can D simulated by H terminate normally? --- Message_ID Provided3immibis
19 May 24         ii                i      `* Re: Can D simulated by H terminate normally? --- Message_ID Provided7Richard Damon
20 May 24         ii                `* Re: Can D simulated by H terminate normally? Message_ID Provided V230olcott
29 Apr 24         i+* Re: Can D simulated by H terminate normally?5Alan Mackenzie
14 May 24         i`* Is Richard a Liar?2olcott
28 Apr 24         +* Re: Can D simulated by H terminate normally?2olcott
28 Apr 24         `* Re: Can D simulated by H terminate normally?22olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal