Re: Is Richard a Liar?

Liste des GroupesRevenir à c theory 
Sujet : Re: Is Richard a Liar?
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 15. May 2024, 16:09:25
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v22fmm$tjgs$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
User-Agent : Mozilla Thunderbird
On 5/15/2024 1:27 AM, joes wrote:
Am Tue, 14 May 2024 15:13:33 -0500 schrieb olcott:
 
On 5/14/2024 3:05 PM, Fred. Zwarts wrote:
Op 14.mei.2024 om 21:42 schreef olcott:
On 5/14/2024 2:36 PM, Fred. Zwarts wrote:
Op 14.mei.2024 om 20:40 schreef olcott:
On 5/14/2024 1:30 PM, Fred. Zwarts wrote:
Op 14.mei.2024 om 19:52 schreef olcott:
On 5/14/2024 12:49 PM, Fred. Zwarts wrote:
Op 14.mei.2024 om 19:14 schreef olcott:
On 5/14/2024 11:13 AM, Fred. Zwarts wrote:
Op 14.mei.2024 om 17:45 schreef olcott:
On 5/14/2024 10:42 AM, Fred. Zwarts wrote:
Op 14.mei.2024 om 17:30 schreef olcott:
On 5/14/2024 10:08 AM, Alan Mackenzie wrote:
In comp.theory olcott <polcott333@gmail.com> wrote:
On 5/14/2024 4:44 AM, Mikko wrote:
On 2024-05-12 15:58:02 +0000, olcott said:
On 5/12/2024 10:21 AM, Mikko wrote:
On 2024-05-12 11:34:17 +0000, Richard Damon said:
On 5/12/24 5:19 AM, Mikko wrote:
On 2024-05-11 16:26:30 +0000, olcott said:
>
Are you honest? Please, give the proof, instead of keeping away
from it.
>
I have been an expert C/C++ programmer for decades.
If you knew C will enough yourself you would comprehend that my
claim about:
>
Any H/D pair matching the above template where D(D) is simulated by
the same H(D,D) that it calls cannot possibly reach past its own
line 03.
This is a simple software engineering verified fact.
>
My grandfather was a diagnostician and pathologist said: "You can't
argue with ignorance".
>
Again no trace of a proof. Only your authority and personal attacks
about lack of knowledge and ignorance. So, the text below still
stands:
>
*The only sufficient proof is being an expert in C yourself*
>
Again no trace of a proof.
Do you understand what a proof is?
The proof of 2+3=5 is not 'Being a mathematician'.
You give the impression that you are clueless about how to prove it.
>
The proof of 2 + 3 = 5 is through comprehending arithmetic.
It cannot be proved to anyone failing to comprehend arithmetic.
>
Likewise my proof is through comprehending the semantics of C.
It cannot be proved to anyone failing to comprehend the semantics of C.
 Then what are you doing here if nobody understands C.
(You could at least try to explain it.)
 
*It is fine to not understand it*
*It is defamation to disagree with it*
*knowing that one does not understand it*
*If one does understand it and uses deception*
*to disagree This too is defamation*
https://dictionary.findlaw.com/definition/reckless-disregard-of-the-truth.html *Here you go*
Can D correctly simulated by H terminate normally?
00 int H(ptr x, ptr x)  // ptr is pointer to int function
01 int D(ptr x)
02 {
03   int Halt_Status = H(x, x);
04   if (Halt_Status)
05     HERE: goto HERE;
06   return Halt_Status;
07 }
08
09 int main()
10 {
11   H(D,D);
12 }
The above template defines an infinite set of finite string H/D pairs where each D(D) that is simulated by H(D,D) also calls this same H(D,D).
These H/D pairs can be enumerated by the one to ∞ simulated steps of D and involve zero to ∞ recursive simulations of H simulating itself simulating D(D).
*Execution Trace*
Line 11: main() invokes H(D,D);
*keeps repeating* (unless aborted)
Line 01
Line 02
Line 03: simulated D(D) invokes simulated H(D,D) that simulates D(D)
*Simulation invariant*
D correctly simulated by H cannot possibly reach past its own line 03.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
5 May 24 * Every D(D) simulated by H presents non-halting behavior to H643olcott
5 May 24 +* Re: Every D(D) simulated by H presents non-halting behavior to H64Richard Damon
5 May 24 i+* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
5 May 24 ii`- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
5 May 24 i+* Re: Every D(D) simulated by H presents non-halting behavior to H43olcott
5 May 24 ii`* Re: Every D(D) simulated by H presents non-halting behavior to H42Richard Damon
5 May 24 ii +* Re: Every D(D) simulated by H presents non-halting behavior to H18olcott
5 May 24 ii i`* Re: Every D(D) simulated by H presents non-halting behavior to H17Richard Damon
6 May 24 ii i `* Re: Every D(D) simulated by H presents non-halting behavior to H16olcott
6 May 24 ii i  +* Re: Every D(D) simulated by H presents non-halting behavior to H11Richard Damon
6 May 24 ii i  i+* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii i  ii`* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii i  ii `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 ii i  ii  `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H6olcott
6 May 24 ii i  i `* Re: Every D(D) simulated by H presents non-halting behavior to H5Richard Damon
6 May 24 ii i  i  `* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii i  i   `* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii i  i    `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
7 May 24 ii i  i     `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii i  `* Re: Every D(D) simulated by H presents non-halting behavior to H4Mikko
6 May 24 ii i   `* Re: Every D(D) simulated by H presents non-halting behavior to H3olcott
7 May 24 ii i    +- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
7 May 24 ii i    `- Re: Every D(D) simulated by H presents non-halting behavior to H1Mikko
6 May 24 ii `* Re: Every D(D) simulated by H presents non-halting behavior to H23olcott
6 May 24 ii  +- Re: Every D(D) simulated by H presents non-halting behavior to H --- typo1olcott
6 May 24 ii  `* Re: Every D(D) simulated by H presents non-halting behavior to H21Richard Damon
6 May 24 ii   +* Re: Every D(D) simulated by H presents non-halting behavior to H10olcott
6 May 24 ii   i`* Re: Every D(D) simulated by H presents non-halting behavior to H9Richard Damon
6 May 24 ii   i +* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 ii   i i`- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii   i `* Re: Every D(D) simulated by H presents non-halting behavior to H6olcott
6 May 24 ii   i  `* Re: Every D(D) simulated by H presents non-halting behavior to H5Richard Damon
6 May 24 ii   i   `* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii   i    `* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii   i     `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
7 May 24 ii   i      `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii   +* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii   i`* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii   i `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 ii   i  `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii   `* Re: Every D(D) simulated by H presents non-halting behavior to H6olcott
6 May 24 ii    `* Re: Every D(D) simulated by H presents non-halting behavior to H5Richard Damon
6 May 24 ii     `* Re: Every D(D) simulated by H presents non-halting behavior to H ---4olcott
6 May 24 ii      `* Re: Every D(D) simulated by H presents non-halting behavior to H ---3Richard Damon
6 May 24 ii       `* Re: Every D(D) simulated by H presents non-halting behavior to H ---2olcott
7 May 24 ii        `- Re: Every D(D) simulated by H presents non-halting behavior to H ---1Richard Damon
5 May 24 i`* Re: Every D(D) simulated by H presents non-halting behavior to H18olcott
5 May 24 i +* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
5 May 24 i i`* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 i i `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
7 May 24 i `* Re: Every D(D) simulated by H presents non-halting behavior to H14immibis
7 May 24 i  `* Re: Every D(D) simulated by H presents non-halting behavior to H +++13olcott
7 May 24 i   +* Re: Every D(D) simulated by H presents non-halting behavior to H +++10Richard Damon
7 May 24 i   i+* Re: Every D(D) simulated by H presents non-halting behavior to H +++8olcott
7 May 24 i   ii`* Re: Every D(D) simulated by H presents non-halting behavior to H +++7Richard Damon
7 May 24 i   ii `* Re: Every D(D) simulated by H presents non-halting behavior to H +++6olcott
7 May 24 i   ii  `* Re: Every D(D) simulated by H presents non-halting behavior to H +++5Richard Damon
7 May 24 i   ii   `* Re: Every D(D) simulated by H presents non-halting behavior to H +++4olcott
7 May 24 i   ii    `* Re: Every D(D) simulated by H presents non-halting behavior to H +++3Richard Damon
7 May 24 i   ii     `* Re: Every D(D) simulated by H presents non-halting behavior to H +++2olcott
8 May 24 i   ii      `- Re: Every D(D) simulated by H presents non-halting behavior to H +++1Richard Damon
9 May 24 i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H +++1immibis
9 May 24 i   `* Re: Every D(D) simulated by H presents non-halting behavior to H +++2immibis
9 May 24 i    `- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1olcott
6 May 24 +* Re: Every D(D) simulated by H presents non-halting behavior to H577Mikko
6 May 24 i`* Re: Every D(D) simulated by H presents non-halting behavior to H576olcott
7 May 24 i +* Re: Every D(D) simulated by H presents non-halting behavior to H45Richard Damon
7 May 24 i i`* Re: Every D(D) simulated by H presents non-halting behavior to H ===44olcott
7 May 24 i i `* Re: Every D(D) simulated by H presents non-halting behavior to H ===43Richard Damon
7 May 24 i i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===42olcott
7 May 24 i i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ===41Richard Damon
7 May 24 i i    `* Re: Every D(D) simulated by H presents non-halting behavior to H ===40olcott
7 May 24 i i     +* Re: Every D(D) simulated by H presents non-halting behavior to H ===38Richard Damon
7 May 24 i i     i`* Re: Every D(D) simulated by H presents non-halting behavior to H ===37olcott
7 May 24 i i     i `* Re: Every D(D) simulated by H presents non-halting behavior to H ===36Richard Damon
7 May 24 i i     i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ===6olcott
8 May 24 i i     i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ===5Richard Damon
8 May 24 i i     i  i `* Re: Every D(D) simulated by H presents non-halting behavior to H ===4olcott
8 May 24 i i     i  i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===3Richard Damon
8 May 24 i i     i  i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ===2olcott
8 May 24 i i     i  i    `- Re: Every D(D) simulated by H presents non-halting behavior to H ===1Richard Damon
7 May 24 i i     i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===29olcott
8 May 24 i i     i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ===28Richard Damon
8 May 24 i i     i    +* Re: Every D(D) simulated by H presents non-halting behavior to H ===23olcott
8 May 24 i i     i    i`* Re: Every D(D) simulated by H presents non-halting behavior to H ===22Richard Damon
8 May 24 i i     i    i `* Re: Every D(D) simulated by H presents non-halting behavior to H ===21olcott
8 May 24 i i     i    i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===20Richard Damon
8 May 24 i i     i    i   `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@19olcott
8 May 24 i i     i    i    +* Re: Every D(D) simulated by H presents non-halting behavior to H @@@11olcott
8 May 24 i i     i    i    i`* Re: Every D(D) simulated by H presents non-halting behavior to H @@@10Richard Damon
8 May 24 i i     i    i    i `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@9olcott
9 May 24 i i     i    i    i  `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@8Richard Damon
9 May 24 i i     i    i    i   +* Re: Every D(D) simulated by H presents non-halting behavior to H @@@2olcott
9 May 24 i i     i    i    i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1Richard Damon
9 May 24 i i     i    i    i   +* Re: Every D(D) simulated by H presents non-halting behavior to H @@@2olcott
9 May 24 i i     i    i    i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1Richard Damon
9 May 24 i i     i    i    i   `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@3olcott
9 May 24 i i     i    i    i    `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@2Richard Damon
9 May 24 i i     i    i    i     `- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1joes
8 May 24 i i     i    i    `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@7Richard Damon
8 May 24 i i     i    +* Re: Every D(D) simulated by H presents non-halting behavior to H ===2olcott
8 May 24 i i     i    `* Re: Every D(D) simulated by H presents non-halting behavior to H ===2olcott
9 May 24 i i     `- Re: Every D(D) simulated by H presents non-halting behavior to H ===1immibis
7 May 24 i `* Re: Every D(D) simulated by H presents non-halting behavior to H530Mikko
7 May 24 `- Re: Every D(D) simulated by H presents non-halting behavior to H1immibis

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal