Sujet : Re: Is Richard a Liar?
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : sci.logic comp.theoryDate : 16. May 2024, 17:34:48
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v2592p$1kspo$1@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 32 33
User-Agent : Mozilla Thunderbird
On 5/16/2024 4:14 AM, Mikko wrote:
On 2024-05-15 15:10:24 +0000, olcott said:
On 5/15/2024 3:17 AM, Mikko wrote:
On 2024-05-14 19:34:52 +0000, olcott said:
>
*Anyone that says that I am wrong without knowing C is dishonest*
>
First you should prove that you know C.
>
Not at all. Not in the least. Deductive proofs cannot rely
on an argument from authority.
True but irrelevant. When someone sayes you are wrong, that does not
refer to any deductive proofs as you haven't presented deductive
proofs.
None-the-less a single-valid-counter-example would prove that
I am wrong thus any claim that I am wrong lacking this required
valid counter-example is empty rhetoric entirely bereft of any
supporting reasoning: (EREBOASR).
Repeatedly claiming that I am wrong without providing the required
counter-example when this counter-example is repeatedly requested
(and categorically impossible) does meet the standard of a reckless
disregard for the truth.
In particular, what you said above isn't a deductive proof
but an attempt to refute deductive proofs and other counter arguments
with an ad hominem fallacy.
Anyone that knows C and claims that I am wrong either provides
the required single valid counter-example proving that I am
wrong or meets the
>
https://dictionary.findlaw.com/definition/reckless-disregard-of-the-truth.html
>
of defamation cases.
Saying that you are wrong hardly couts as defamation. Perhaps saying
Repeatedly saying that I am wrong and calling me a liar when it
is categorically impossible that I am wrong IS DEFAMATION.
*One instance of H/D has been fully operational software*
*under Windows and Linux for two years*
typedef int (*ptr)(); // ptr is pointer to int function
00 int H(ptr x, ptr x);
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 return 0;
13 }
In the above case a simulator is an x86 emulator that correctly
emulates at least one of the x86 instructions of D in the order
specified by the x86 instructions of D.
This may include correctly emulating the x86 instructions of
H in the order specified by the x86 instructions of H thus
calling H(D,D) in recursive simulation.
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.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer