Re: When Richard calls people liars he lies

On 6/6/2024 10:47 AM, Alan Mackenzie wrote:

[ Followup-To: set ]
 In comp.theory olcott <polcott333@gmail.com> wrote:

The common meaning of the term [lie] is

 

noun
(1) a false statement made with deliberate intent to deceive;
an intentional untruth.

 

verb (used without object)
(1) to speak falsely or utter untruth knowingly, as with
intent to deceive. Synonyms: fib, prevaricate

 

When Richard calls people liars and does not mean they have any
intent to deceive this makes Richard a liar because Richard knows
that people will be lead to believe that he is using the common
definition that requires an intent to deceive.

 

https://www.dictionary.com/browse/lie

 Richard doesn't call "people" liars, he calls specifically you one.  I
wish he would do so less often, because it lowers the tone of the
newsgroup.  Nevertheless, you _are_ a liar.
 I think it's accepted that you falsely claimed to have constructed a
turing machine which refuted a standard proof of the halting theorem.
That turned out to be a lie, which can only have been deliberate and
deceitful.
 Even now, you frequently refer to false things you would like to be true
as "unequivocally proven" or some such. 

<Professor Sipser agreed>
   If simulating halt decider H correctly simulates its input D
   until H correctly determines that its simulated D would never
   stop running unless aborted then
   H can abort its simulation of D and correctly report that D
   specifies a non-halting sequence of configurations.
</Professor Sipser agreed>
Try to show how this DD can be correctly simulated by any HH
*would stop running without having its simulation aborted*
thus fails to match the above criteria.
_DD()
[00001e12] 55         push ebp
[00001e13] 8bec       mov  ebp,esp
[00001e15] 51         push ecx
[00001e16] 8b4508     mov  eax,[ebp+08]
[00001e19] 50         push eax      ; push DD
[00001e1a] 8b4d08     mov  ecx,[ebp+08]
[00001e1d] 51         push ecx      ; push DD
[00001e1e] e85ff5ffff call 00001382 ; call HH
You can't do it and if you even imply otherwise *THIS IS DECEPTION*
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer