Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #105070
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory, sci.logic |
| Subject | Re: Is Richard a Liar? |
| Date | 2024-05-17 14:34 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <v28bh3$2be7c$1@dont-email.me> (permalink) |
| References | (27 earlier) <v271ms$2339e$1@dont-email.me> <v27t7q$28hmg$3@dont-email.me> <v280c2$295g9$1@dont-email.me> <v283gv$29rd7$2@dont-email.me> <v289kt$2au93$1@dont-email.me> |
Cross-posted to 2 groups.
On 5/17/2024 2:02 PM, Fred. Zwarts wrote:
> Op 17.mei.2024 om 19:18 schreef olcott:
>> On 5/17/2024 11:24 AM, Fred. Zwarts wrote:
>>> Op 17.mei.2024 om 17:31 schreef olcott:
>>>> On 5/17/2024 2:41 AM, Fred. Zwarts wrote:
>>>>> Op 16.mei.2024 om 21:32 schreef olcott:
>>>>>> On 5/16/2024 1:55 PM, Fred. Zwarts wrote:
>>>>>>> Op 16.mei.2024 om 18:04 schreef olcott:
>>>>>>>> On 5/16/2024 10:12 AM, Fred. Zwarts wrote:
>>>>>>>>> Op 16.mei.2024 om 16:54 schreef olcott:
>>>>>>>>>> On 5/16/2024 5:36 AM, Fred. Zwarts wrote:
>>>>>>>>>>> Op 15.mei.2024 om 22:10 schreef olcott:
>>>>>>>>>>>> On 5/15/2024 2:13 PM, Fred. Zwarts wrote:
>>>>>>>>>>>>> Op 15.mei.2024 om 20:39 schreef olcott:
>>>>>>>>>>>>>> On 5/15/2024 1:19 PM, Fred. Zwarts wrote:
>>>>>>>>>>>>>>> Op 15.mei.2024 om 18:27 schreef olcott:
>>>>>>>>>>>>>>>> On 5/15/2024 9:50 AM, Fred. Zwarts wrote:
>>>>>>>>>>>>>>>>> Op 15.mei.2024 om 16:02 schreef olcott:
>>>>>>>>>>>>>>>>>> On 5/15/2024 1:21 AM, Fred. Zwarts wrote:
>>>>>>>>>>>>>>>>>>> Op 14.mei.2024 om 22:13 schreef 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:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> [ Followup-To: set ]
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 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:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> I am working on providing an
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> academic quality definition of this
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> term.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> The definition in Wikipedia is
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> good enough.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> I think he means, he is working on
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> a definition that redefines the
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> field to allow him to claim what
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> he wants.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Here one can claim whatever one
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> wants anysay.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> In if one wants to present ones
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> claims on some significant forum then
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> it is better to stick to usual
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> definitions as much as possible.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Sort of like his new definition of
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> H as an "unconventional" machine
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> that some how both returns an
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> answer but also keeps on running.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> There are systems where that is
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> possible but unsolvable problems are
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> unsolvable even in those systems.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> When Ĥ is applied to ⟨Ĥ⟩
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢*
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Ĥ.qy ∞
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> This notation does not work with
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> machines that can, or have parts
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> that can, return a value without (or
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> before) termination.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 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 }
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> In any case you diverged away form the
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> whole point of this thread.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Richard is wrong when he says that
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> there exists an H/D pair such
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> that D simulated by H ever reaches
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> past its own line 03.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Yes, in the same way that you are
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> wrong. The above "C code" is garbage;
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> as already pointed out, it doesn't even
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> compile. So any talk of
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> "reaching line 3" or "matching" that
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> "code" is vacuous nonsense.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 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. Simple software engineering
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> verified fact.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Since nobody knows who has verified this
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> fact en there have been counter examples,
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *See if you can show that your claim of
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> counter-examples is not a lie*
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *See if you can show that your claim of
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> counter-examples is not a lie*
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *See if you can show that your claim of
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> counter-examples is not a lie*
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> *YOU SKIPPED THE CHALLENGE TO YOUR ASSERTION*
>>>>>>>>>>>>>>>>>>>>>>>>>>>> IS THAT BECAUSE YOU KNOW IT IS FALSE?
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> *YOU SKIPPED THE CHALLENGE TO YOUR ASSERTION*
>>>>>>>>>>>>>>>>>>>>>>>>>>>> IS THAT BECAUSE YOU KNOW IT IS FALSE?
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> *YOU SKIPPED THE CHALLENGE TO YOUR ASSERTION*
>>>>>>>>>>>>>>>>>>>>>>>>>>>> IS THAT BECAUSE YOU KNOW IT IS FALSE?
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Olcott is trying to stay at this point for
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> several weeks now, but he does not succeed.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> The reason probably is, that it is already
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> a few steps too far. First there must be
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> agreement about the words and terms used in
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> what he says. So, we should delay this
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> subject and go back a few steps.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Before we can talk about this, first there
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> must be 100% agreement about:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 1) What is a "verified fact"? Who needs to
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> do the verification before it can be said
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> that it is a verified fact?
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> I am ONLY referring to expressions that are
>>>>>>>>>>>>>>>>>>>>>>>>>>>> PROVEN
>>>>>>>>>>>>>>>>>>>>>>>>>>>> to be {true entirely on the basis of their
>>>>>>>>>>>>>>>>>>>>>>>>>>>> meaning}.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> *CONCRETE EXAMPLES*
>>>>>>>>>>>>>>>>>>>>>>>>>>>> How do we know that 2 + 3 = 5?
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> If needed we can write out the proof for
>>>>>>>>>>>>>>>>>>>>>>>>>>> this, starting from the axioms for natural
>>>>>>>>>>>>>>>>>>>>>>>>>>> numbers. That proof is well known.
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> But nobody here knows the proof for your
>>>>>>>>>>>>>>>>>>>>>>>>>>> assertion above, that it is a verified fact
>>>>>>>>>>>>>>>>>>>>>>>>>>> that it cannot reach past line 03. So, we
>>>>>>>>>>>>>>>>>>>>>>>>>>> would like to see that proof. Just the claim
>>>>>>>>>>>>>>>>>>>>>>>>>>> that it has been proven is not enough.
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>> The "nobody here" you are referring to must be
>>>>>>>>>>>>>>>>>>>>>>>>>> clueless
>>>>>>>>>>>>>>>>>>>>>>>>>> about the semantics of the C programming
>>>>>>>>>>>>>>>>>>>>>>>>>> language.
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>> 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.
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> No, it follows with very simple reasoning from the
>>>>>>>>>>>>>>>>>>> axiomatic properties of natural numbers.
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> If you understand them then the proof is easy if you
>>>>>>>>>>>>>>>>>> do not understand them then the proof is impossible.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> 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.
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> Since we understand C, that is not an excuse. It
>>>>>>>>>>>>>>>>>>> seems that you are looking for excuses to hide the
>>>>>>>>>>>>>>>>>>> fact that you have never seen such proof.
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> 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 }
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> 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.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> If you understand C and understand proofs then you
>>>>>>>>>>>>>>>>>> understand that a single counter-example would refute
>>>>>>>>>>>>>>>>>> my claim if one exists. You would also understand that
>>>>>>>>>>>>>>>>>> that when no such counter-example exists that would
>>>>>>>>>>>>>>>>>> prove that I am correct.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> So I ask you to do one of three things:
>>>>>>>>>>>>>>>>>> (a) Admit that I am correct
>>>>>>>>>>>>>>>>>> (b) Provide a single counter example
>>>>>>>>>>>>>>>>>> (c) Admit that you simply don't understand this.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> *Any other response will be construed as intentional
>>>>>>>>>>>>>>>>>> deception*
>>>>>>>>>>>>>>>>>> Intentional deception certainly meets the requirement of
>>>>>>>>>>>>>>>>>> reckless disregard for the truth of defamation lawsuits.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> https://dictionary.findlaw.com/definition/reckless-disregard-of-the-truth.html
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> Again no proof. Now with the excuse that olcott does
>>>>>>>>>>>>>>>>> not know a counter example.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> Any claim that my statement is incorrect that does not
>>>>>>>>>>>>>>>> have the
>>>>>>>>>>>>>>>> required single counter-example proving that my claim is
>>>>>>>>>>>>>>>> incorrect
>>>>>>>>>>>>>>>> could be construed as the
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> https://dictionary.findlaw.com/definition/reckless-disregard-of-the-truth.html
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> of defamation. This is definitely defamation when people
>>>>>>>>>>>>>>>> skilled in the
>>>>>>>>>>>>>>>> art of C programming understand that my claim is
>>>>>>>>>>>>>>>> self-evidently true
>>>>>>>>>>>>>>>> and proved entirely on the basis of the semantics of the
>>>>>>>>>>>>>>>> C programing
>>>>>>>>>>>>>>>> language.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> It your claim, so you have the burden of a proof. Not
>>>>>>>>>>>>>>>>> knowing a counter example is not a proof. It seems you
>>>>>>>>>>>>>>>>> are using such excuses to hide the fact that you don't
>>>>>>>>>>>>>>>>> know how to prove it. Again, if there is a proof, show
>>>>>>>>>>>>>>>>> it. Otherwise stop saying that it is a verified fact,
>>>>>>>>>>>>>>>>> because it becomes more and more clear that nobody
>>>>>>>>>>>>>>>>> verified it.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> *It is ONLY a verified fact to people*
>>>>>>>>>>>>>>>> *skilled in the art of C programming*
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> https://www.britannica.com/science/mole-chemistry
>>>>>>>>>>>>>>>> A mole in chemistry is only a verified fact to those
>>>>>>>>>>>>>>>> skilled in the art of chemistry. To everyone else it
>>>>>>>>>>>>>>>> is an animal that burrows in the ground.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> Again no proof. The excuse, asking for a counter example,
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> People that claimed they provided (a valid) counter-example
>>>>>>>>>>>>>> are LIARS. They that know is was an invalid or non-existent
>>>>>>>>>>>>>> counter-example is a basis for winning a defamation suit.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> is even weaker. If there is a proof, it would be so
>>>>>>>>>>>>>>> simple to show it here. As even olcott said that a
>>>>>>>>>>>>>>> verified fact is a proven fact, he cannot speak of a
>>>>>>>>>>>>>>> verified fact as long as there is no proof. I have 50
>>>>>>>>>>>>>>> years of experience in programming, many years in C, so I
>>>>>>>>>>>>>>> am a very skilled C programmer. So, why do you hide the
>>>>>>>>>>>>>>> proof? I wonder what the next excuse will be to hide the
>>>>>>>>>>>>>>> fact that there is no proof.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> *Then you know that valid counter-examples cannot possibly
>>>>>>>>>>>>>> exist*
>>>>>>>>>>>>>> *and implication otherwise is a reckless disregard for the
>>>>>>>>>>>>>> truth*
>>>>>>>>>>>>>>
>>>>>>>>>>>>>
>>>>>>>>>>>>> Again no proof. This time, instead of a proof, the claim
>>>>>>>>>>>>> that a counter
>>>>>>>>>>>>
>>>>>>>>>>>> If I had 10,000 experts in C that are PhD computer scientists
>>>>>>>>>>>> that agreed with me this would not be proof. It is you that do
>>>>>>>>>>>> not understand what proof is.
>>>>>>>>>>>
>>>>>>>>>>> Again an excuse to hide the proof. Now the prejudice that we
>>>>>>>>>>> would not understand it.
>>>>>>>>>>> Further, it seems to be another indication that olcott does
>>>>>>>>>>> not understand how a proof in computation theory looks like.
>>>>>>>>>>> It is not like a juridical proof, where the number and
>>>>>>>>>>> expertise of witnesses play a role.
>>>>>>>>>>> In computation theory a proof consists of a number of steps,
>>>>>>>>>>> starting with the definitions of the elements involved and of
>>>>>>>>>>> the axioms of the theory, resulting in a conclusion. Each of
>>>>>>>>>>> these steps can be explained from the definitions, axioms and
>>>>>>>>>>> results of previous steps.
>>>>>>>>>>> Olcott, again, if you want to convince people, learn how to
>>>>>>>>>>> formulate a proof. Up to now, we have not seen more than your
>>>>>>>>>>> conviction, without evidence. Present the proof and we will
>>>>>>>>>>> see whether we understand it.
>>>>>>>>>>
>>>>>>>>>> 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 }
>>>>>>>>>>
>>>>>>>>>> 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.
>>>>>>>>>>
>>>>>>>>>> It is true that the semantics of C does prove that
>>>>>>>>>> the above paragraph is true.
>>>>>>>>>>
>>>>>>>>>> It is also true that you have proven that you are not
>>>>>>>>>> interested in an honest dialogue.
>>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> Again no proof. Again the excuse that we would not be
>>>>>>>>> interested in an honest dialogue. I am interested. That is why
>>>>>>>>> I ask for the proof.
>>>>>>>>
>>>>>>>> Anyone that knows the semantics of the C language well enough
>>>>>>>> understands that a counter-example is categorically impossible.
>>>>>>>> (a) You know the semantics of C well enough and lie.
>>>>>>>> (b) You know the semantics of C well enough and fail to tell the
>>>>>>>> truth.
>>>>>>>
>>>>>>> Again no proof. Now with the excuse that we can find out ourselves.
>>>>>>> Olcott is claiming, so olcott has the burden of the proof.
>>>>>>> Without a proof, it is not "verified fact", but "my belief".
>>>>>>> (a) olcott knows that there is no such proof.
>>>>>>> (b) olcott has no idea how to formulate a proof.
>>>>>>> (c) olcott thinks he has a proof, but does not dare to show it,
>>>>>>> because he is afraid that someone will spot an error in it.
>>>>>>>
>>>>>>
>>>>>> It seems that you are simply too ignorant to understand that the
>>>>>> following is self-evidently true on the basis of the semantics of
>>>>>> the C programming language.
>>>>>>
>>>>>> 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 or 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*
>>>>>>
>>>>>>
>>>>>
>>>>> Again no proof. Now the excuse is that it is self-evidently true. A
>>>>> bad excuse, because it is self-evident only for olcott. That is
>>>>> what we call belief. It shows again that when olcott writes
>>>>> 'verified fact' we should read 'my belief'. Sorry, olcott, but with
>>>>> only your belief, your are not going to invalidate a proven theorem
>>>>> in computation theory. You will convince nobody if no proof can be
>>>>> supplied.
>>>>
>>>> It is self-evidently true to anyone having sufficient knowledge
>>>> of the semantics of the C programming language.
>>>>
>>>
>>> Again no proof. Now the excuse is that it is self-evident.
>>
>> The you want me to prove something to you in a language that you do not
>> sufficiently understand is an unreasonable request. I have improved the
>> words of my proof and put in some more details.
>>
>> 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.
>>
>> 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.
>>
>> The key thing to note is that no D simulated correctly by any H of every
>> H/D pair specified by the above template ever reaches its own line 06
>> and halts.
>>
>> The above is self-evidently true to anyone having sufficient
>> knowledge of the semantics of the C programming language.
>
> Again no proof. But it seems that olcott is slowly starting to
> understand that it is not self-evident, because he now shows a small
> beginning of an attempt for a proof. It is a pity for him that he
> ignored the rest of my post where I told him a brief outline for a proof.
> What we still miss are the requirements for H.
I try to do the best that I can to write my words so that even people
with attention deficit disorder (ADD) can understand them.
The ONLY requirement for H as I have said many many hundreds of times
is that H simulates D.
The self-evident meaning of what D correctly simulated by H means is
now specified so that people trying as hard as possible to make sure
to find any loophole to intentionally misinterpret my words will look
much more foolish.
> A working example is not
> enough to define an infinite set of H. So, define the requirements.
>
I did and always have. Possibly not well enough for people having
ADD that can hardly pay any attention. Not well enough for people
having insufficient knowledge of the semantics of C.
> Then, do not only claim that there is a simulation invariant, but prove
> it.
Prove that 2 + 3 = 5 to someone that does not know what numbers are.
No need for any proof for people that understand arithmetic.
> Of course you need to master a language to express such a proof. If
> you don't master such a language, try to learn it. Claiming, without
> evidence, that it is self-evident is not part of the correct language.
>
If you have ADD and can't pay attention or do not know the semantics
of C well enough to understand that I have proved my point I don't
know what I can do to help you understand that what I have said has
always been self-evidently true for everyone having sufficient
knowledge of the semantics of C.
Tell me which part you don't understand and I might be able to help.
If you have no idea what infinite recursion is then I cannot help.
> Then explain how H determines that there is a recursive simulation, so
> that it can abort the simulation.
>
*That is not any part of what I claimed above*
*That is not any part of what I claimed above*
*That is not any part of what I claimed above*
*You must pay 100% complete attention to my exact words*
*You must pay 100% complete attention to my exact words*
*You must pay 100% complete attention to my exact words*
If you don't have that much attention span, I can't help.
If you don't have that much attention span, I can't help.
If you don't have that much attention span, I can't help.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 12:02 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 13:22 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 13:43 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 17:13 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 14:10 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 17:13 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 16:30 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 17:56 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 17:56 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 19:27 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 20:26 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 22:11 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 22:36 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 23:57 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 21:33 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 23:08 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 23:14 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-06 06:33 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-06 09:57 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-06 22:01 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H Mikko <mikko.levanto@iki.fi> - 2024-05-06 19:37 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-06 13:31 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-06 22:04 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H Mikko <mikko.levanto@iki.fi> - 2024-05-07 10:12 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 17:03 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H --- typo olcott <polcott333@gmail.com> - 2024-05-05 17:05 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 18:44 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 19:35 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 20:47 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 21:34 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 23:15 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 21:42 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 23:03 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 23:01 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-06 06:34 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-06 10:16 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-06 22:08 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 19:53 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 21:36 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 22:29 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 23:47 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 21:36 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 23:05 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H --- olcott <polcott333@gmail.com> - 2024-05-05 23:11 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H --- Richard Damon <richard@damon-family.org> - 2024-05-06 06:33 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H --- olcott <polcott333@gmail.com> - 2024-05-06 09:52 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H --- Richard Damon <richard@damon-family.org> - 2024-05-06 22:11 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 14:40 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 17:13 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 16:31 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 19:29 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H immibis <news@immibis.com> - 2024-05-07 03:39 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H +++ olcott <polcott333@gmail.com> - 2024-05-06 22:00 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H +++ Richard Damon <richard@damon-family.org> - 2024-05-06 23:07 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H +++ olcott <polcott333@gmail.com> - 2024-05-06 22:36 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H +++ Richard Damon <richard@damon-family.org> - 2024-05-06 23:55 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H +++ olcott <polcott333@gmail.com> - 2024-05-06 22:59 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H +++ Richard Damon <richard@damon-family.org> - 2024-05-07 00:09 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H +++ olcott <polcott333@gmail.com> - 2024-05-06 23:13 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H +++ Richard Damon <richard@damon-family.org> - 2024-05-07 07:16 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H +++ olcott <polcott333@gmail.com> - 2024-05-07 09:35 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H +++ Richard Damon <richard@damon-family.org> - 2024-05-07 22:46 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H +++ immibis <news@immibis.com> - 2024-05-09 03:33 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H +++ immibis <news@immibis.com> - 2024-05-09 03:32 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ olcott <polcott333@gmail.com> - 2024-05-08 20:44 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Mikko <mikko.levanto@iki.fi> - 2024-05-06 19:19 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-06 13:28 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-06 22:13 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === olcott <polcott333@gmail.com> - 2024-05-06 21:36 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H === Richard Damon <richard@damon-family.org> - 2024-05-06 23:17 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === olcott <polcott333@gmail.com> - 2024-05-06 22:39 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H === Richard Damon <richard@damon-family.org> - 2024-05-06 23:55 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === olcott <polcott333@gmail.com> - 2024-05-06 22:57 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H === Richard Damon <richard@damon-family.org> - 2024-05-07 00:08 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === olcott <polcott333@gmail.com> - 2024-05-06 23:11 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H === Richard Damon <richard@damon-family.org> - 2024-05-07 07:17 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === olcott <polcott333@gmail.com> - 2024-05-07 09:40 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H === Richard Damon <richard@damon-family.org> - 2024-05-07 22:26 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === olcott <polcott333@gmail.com> - 2024-05-07 21:33 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H === Richard Damon <richard@damon-family.org> - 2024-05-07 22:48 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === olcott <polcott333@gmail.com> - 2024-05-07 22:16 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H === Richard Damon <richard@damon-family.org> - 2024-05-08 07:38 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === olcott <polcott333@gmail.com> - 2024-05-07 12:31 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H === Richard Damon <richard@damon-family.org> - 2024-05-07 18:42 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === olcott <polcott333@gmail.com> - 2024-05-07 18:30 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H === Richard Damon <richard@damon-family.org> - 2024-05-07 22:29 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === olcott <polcott333@gmail.com> - 2024-05-07 21:39 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H === Richard Damon <richard@damon-family.org> - 2024-05-07 22:51 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ olcott <polcott333@gmail.com> - 2024-05-07 22:29 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ olcott <polcott333@gmail.com> - 2024-05-07 23:03 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ Richard Damon <richard@damon-family.org> - 2024-05-08 07:39 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ olcott <polcott333@gmail.com> - 2024-05-08 14:36 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ Richard Damon <richard@damon-family.org> - 2024-05-08 21:27 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ olcott <polcott333@gmail.com> - 2024-05-08 20:45 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ Richard Damon <richard@damon-family.org> - 2024-05-08 22:35 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ olcott <polcott333@gmail.com> - 2024-05-08 20:46 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ Richard Damon <richard@damon-family.org> - 2024-05-08 22:36 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ olcott <polcott333@gmail.com> - 2024-05-08 20:47 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ Richard Damon <richard@damon-family.org> - 2024-05-08 22:36 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ joes <noreply@example.com> - 2024-05-09 12:34 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ Richard Damon <richard@damon-family.org> - 2024-05-08 07:39 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ olcott <polcott333@gmail.com> - 2024-05-08 08:21 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ Richard Damon <richard@damon-family.org> - 2024-05-08 21:28 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ olcott <polcott333@gmail.com> - 2024-05-08 20:33 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ Richard Damon <richard@damon-family.org> - 2024-05-08 22:37 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ olcott <polcott333@gmail.com> - 2024-05-08 22:49 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ Richard Damon <richard@damon-family.org> - 2024-05-09 07:25 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === olcott <polcott333@gmail.com> - 2024-05-07 19:37 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H === Richard Damon <richard@damon-family.org> - 2024-05-07 22:31 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === olcott <polcott333@gmail.com> - 2024-05-07 21:19 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H === Richard Damon <richard@damon-family.org> - 2024-05-07 22:32 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === immibis <news@immibis.com> - 2024-05-09 03:35 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H Mikko <mikko.levanto@iki.fi> - 2024-05-07 10:30 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-07 07:18 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-07 10:40 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-07 18:31 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-07 12:02 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-07 22:42 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-07 22:39 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H Mikko <mikko.levanto@iki.fi> - 2024-05-08 11:54 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-08 07:39 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-07 20:54 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-07 14:05 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-07 22:40 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-07 16:23 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-08 11:07 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-08 08:07 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-08 20:48 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-08 21:28 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-08 14:23 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-08 21:28 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-09 08:43 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-09 07:28 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H --- Mutually honest dialogue olcott <polcott333@gmail.com> - 2024-05-09 14:15 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H --- Mutually honest dialogue Richard Damon <richard@damon-family.org> - 2024-05-09 22:31 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H --- Mutually honest dialogue olcott <polcott333@gmail.com> - 2024-05-09 22:23 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H --- Mutually honest dialogue Richard Damon <richard@damon-family.org> - 2024-05-10 10:18 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H --- Mutually honest dialogue Mikko <mikko.levanto@iki.fi> - 2024-05-10 11:09 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-07 22:43 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H Mikko <mikko.levanto@iki.fi> - 2024-05-08 11:59 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-08 08:01 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-05-08 16:13 +0100
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-08 14:05 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-09 03:38 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-09 10:38 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-09 22:31 -0400
Richard tried to get away with this falsehood olcott <polcott333@gmail.com> - 2024-05-09 22:10 -0500
Re: Olcott doesn't understand logic Richard Damon <richard@damon-family.org> - 2024-05-10 10:18 -0400
Richard KEEPS TRYING to get away with this falsehood olcott <polcott333@gmail.com> - 2024-05-10 10:50 -0500
Re: Richard KEEPS TRYING to get away with this falsehood Richard Damon <richard@damon-family.org> - 2024-05-10 12:12 -0400
Re: Richard KEEPS TRYING to get away with this falsehood olcott <polcott333@gmail.com> - 2024-05-10 12:49 -0500
Olcott keeps on lying. Richard Damon <richard@damon-family.org> - 2024-05-10 16:09 -0400
Richard KEEPS TRYING to get away with this falsehood olcott <polcott333@gmail.com> - 2024-05-10 15:27 -0500
Re: Richard KEEPS TRYING to get away with this falsehood Richard Damon <richard@damon-family.org> - 2024-05-10 16:50 -0400
Re: Richard KEEPS TRYING to get away with this falsehood olcott <polcott333@gmail.com> - 2024-05-10 16:11 -0500
Olcott thinks something isn't iteself. Richard Damon <richard@damon-family.org> - 2024-05-10 17:19 -0400
Richard KEEPS TRYING to get away with this falsehood olcott <polcott333@gmail.com> - 2024-05-10 16:43 -0500
Olcott can't tell the difference between a machine and an infinte set of machines Richard Damon <richard@damon-family.org> - 2024-05-10 17:59 -0400
Richard KEEPS TRYING to get away with falsehood olcott <polcott333@gmail.com> - 2024-05-10 17:28 -0500
Olcott thinks One is Infinity Richard Damon <richard@damon-family.org> - 2024-05-10 18:39 -0400
Richard seems to be a liar. olcott <polcott333@gmail.com> - 2024-05-10 18:39 -0500
Olcott doesn't know the difference between an element an the set Richard Damon <richard@damon-family.org> - 2024-05-10 22:17 -0400
Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-10 21:21 -0500
Re: Is Richard a Liar? No, but Olcott is. Richard Damon <richard@damon-family.org> - 2024-05-10 22:39 -0400
Richard must be educated on what a termination analyzer is olcott <polcott333@gmail.com> - 2024-05-10 21:49 -0500
Olcott admits to creating defintion out of his *ss Richard Damon <richard@damon-family.org> - 2024-05-10 23:16 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-11 11:27 +0300
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-11 11:26 -0500
Re: Is Oclott a Liar? Richard Damon <richard@damon-family.org> - 2024-05-11 12:46 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-12 12:19 +0300
Re: Is Richard a Liar? Richard Damon <richard@damon-family.org> - 2024-05-12 07:34 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-12 18:21 +0300
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-12 10:58 -0500
Olcott admits to being a liar! Richard Damon <richard@damon-family.org> - 2024-05-12 12:57 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-14 12:44 +0300
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-14 09:21 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-14 22:15 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-15 11:04 +0300
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 10:03 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-16 13:15 +0300
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-16 09:37 -0500
Re: Olcott is a patholgociat liar! Richard Damon <richard@damon-family.org> - 2024-05-16 22:29 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-17 12:28 +0300
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-17 11:07 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-17 21:07 -0400
Re: Olcott is a Liar! Mikko <mikko.levanto@iki.fi> - 2024-05-18 13:38 +0300
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-18 08:43 -0400
Richard is proven to be incorrect on a key point olcott <polcott333@gmail.com> - 2024-05-18 09:53 -0500
Re: Richard is proven to be incorrect on a key point Richard Damon <richard@damon-family.org> - 2024-05-18 11:03 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-18 13:33 +0300
embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ where embedded_H is based on a UTM olcott <polcott333@gmail.com> - 2024-05-18 09:50 -0500
Re: embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ where embedded_H is based on a UTM Richard Damon <richard@damon-family.org> - 2024-05-18 11:06 -0400
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-14 09:32 -0500
Re: Is Richard a Liar? Alan Mackenzie <acm@muc.de> - 2024-05-14 15:08 +0000
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-14 10:30 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-14 17:42 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-14 10:45 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-14 18:13 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-14 12:14 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-14 19:49 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-14 12:52 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-14 20:30 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-14 13:40 -0500
Re: Is Richard a Liar? joes <noreply@example.com> - 2024-05-14 19:01 +0000
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-14 14:34 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-14 22:15 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-15 11:17 +0300
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 10:10 -0500
Re: Is Richard a Liar? joes <noreply@example.com> - 2024-05-15 16:20 +0000
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 11:59 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:25 -0400
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-16 10:34 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-16 17:53 +0200
Re: Olcott is a patholgociat liar! Richard Damon <richard@damon-family.org> - 2024-05-16 22:29 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-17 12:42 +0300
Every D correctly simulated by H never reaches its final state and halts V2 olcott <polcott333@gmail.com> - 2024-05-17 11:27 -0500
Re: Every D correctly simulated by H never reaches its final state and halts V2 Richard Damon <richard@damon-family.org> - 2024-05-17 21:06 -0400
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-17 13:18 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-17 21:07 -0400
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-14 21:36 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-14 14:42 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-14 22:05 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-14 15:13 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-14 22:15 -0400
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-15 08:21 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 09:02 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-15 16:50 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 11:27 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-15 20:19 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 13:39 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-15 21:13 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 15:10 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:25 -0400
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-16 08:41 +0200
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-16 12:36 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-16 09:54 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-16 17:12 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-16 11:04 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-16 20:55 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-16 14:32 -0500
Re: Olcott is a patholgociat liar! Richard Damon <richard@damon-family.org> - 2024-05-16 22:29 -0400
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-17 09:41 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-17 10:31 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-17 18:24 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-17 12:18 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-17 21:02 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-17 14:34 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-17 21:06 -0400
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-18 10:45 +0200
Re: Is Richard a Liar? joes <noreply@example.com> - 2024-05-18 10:43 +0000
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-18 10:34 -0500
Re: Is Richard a Liar? Richard Damon <richard@damon-family.org> - 2024-05-18 11:40 -0400
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-18 14:13 +0200
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-17 21:07 -0400
Re: Olcott is a Liar? Richard Damon <richard@damon-family.org> - 2024-05-17 21:07 -0400
No Message-ID therefore construed as Liar olcott <polcott333@gmail.com> - 2024-05-17 23:05 -0500
Re: No Message-ID therefore construed as Liar Richard Damon <richard@damon-family.org> - 2024-05-18 07:24 -0400
Re: No Message-ID therefore construed as Liar olcott <polcott333@gmail.com> - 2024-05-18 07:53 -0500
Re: No Message-ID therefore construed as Liar. Message ID Provided, so OLCOTT is the LIAR. Richard Damon <richard@damon-family.org> - 2024-05-18 09:13 -0400
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-17 10:26 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-17 10:38 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-17 21:07 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-17 12:50 +0300
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-17 11:34 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-17 21:07 -0400
Re: Olcott is a Liar! Mikko <mikko.levanto@iki.fi> - 2024-05-18 15:43 +0300
Re: Olcott is a patholgociat liar! Richard Damon <richard@damon-family.org> - 2024-05-16 22:29 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-17 12:47 +0300
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-17 11:31 -0500
Re: Olcott is a patholgociat liar! Richard Damon <richard@damon-family.org> - 2024-05-16 22:29 -0400
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-16 10:17 -0500
Re: Olcott is a patholgociat liar! Richard Damon <richard@damon-family.org> - 2024-05-16 22:29 -0400
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-17 13:24 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-17 21:07 -0400
Re: Is Richard a Liar? joes <noreply@example.com> - 2024-05-18 10:12 +0000
Re: Is Richard a Liar? immibis <news@immibis.com> - 2024-05-18 10:55 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-18 10:27 -0500
Re: Is Richard a Liar? Richard Damon <richard@damon-family.org> - 2024-05-18 11:31 -0400
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:25 -0400
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:25 -0400
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 11:56 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-15 20:26 +0200
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:25 -0400
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:25 -0400
Re: Is Richard a Liar? joes <noreply@example.com> - 2024-05-15 06:27 +0000
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 09:09 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:25 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-15 11:25 +0300
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 10:47 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:25 -0400
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-14 22:15 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-15 11:21 +0300
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 10:43 -0500
Re: Is Richard a Liar? joes <noreply@example.com> - 2024-05-15 16:26 +0000
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 12:04 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-16 10:10 -0500
Re: Olcott is a patholgociat liar! Richard Damon <richard@damon-family.org> - 2024-05-16 22:29 -0400
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-14 22:16 -0400
Re: Is Richard a Liar? No! Alan Mackenzie <acm@muc.de> - 2024-05-15 13:40 +0000
Re: Is Richard a Liar? No! olcott <polcott333@gmail.com> - 2024-05-15 09:16 -0500
Re: Is Richard a Liar? No! Alan Mackenzie <acm@muc.de> - 2024-05-15 14:54 +0000
Re: Is Richard a Liar? No! olcott <polcott333@gmail.com> - 2024-05-15 11:34 -0500
Re: Is Richard a Liar? No! Alan Mackenzie <acm@muc.de> - 2024-05-15 17:04 +0000
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 12:10 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Is Richard a Liar? No! Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 11:57 -0500
Re: Is Richard a Liar? Alan Mackenzie <acm@muc.de> - 2024-05-15 18:04 +0000
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 13:33 -0500
Re: Is Richard a Liar? Alan Mackenzie <acm@muc.de> - 2024-05-15 19:29 +0000
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 15:18 -0500
Re: Is Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 17:50 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Is Richard a Liar? No! Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Is Richard a Liar? No! olcott <polcott333@gmail.com> - 2024-05-15 09:19 -0500
Re: Is Richard a Liar? No! (Glad you argree) Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Olcott is a Pathological Liar! Richard Damon <richard@damon-family.org> - 2024-05-14 22:15 -0400
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-14 22:15 -0400
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-14 22:15 -0400
Re: Is Richard a Liar? immibis <news@immibis.com> - 2024-05-15 23:28 +0200
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-14 22:15 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-15 11:06 +0300
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 10:06 -0500
Re: Olcott Is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-16 13:42 +0300
Nature of undecidable halting joes <noreply@example.com> - 2024-05-16 13:20 +0000
Re: Nature of undecidable halting --- Connecting truth-bearers to their truthmaker olcott <polcott333@gmail.com> - 2024-05-16 10:00 -0500
Re: Nature of undecidable halting --- Connecting truth-bearers to their truthmaker Richard Damon <richard@damon-family.org> - 2024-05-16 23:11 -0400
Re: Nature of undecidable halting Mikko <mikko.levanto@iki.fi> - 2024-05-17 13:04 +0300
Re: Nature of undecidable halting ---Handling undecidable inputs olcott <polcott333@gmail.com> - 2024-05-17 11:49 -0500
Re: Nature of undecidable halting ---Handling undecidable inputs Richard Damon <richard@damon-family.org> - 2024-05-17 21:06 -0400
Unconventional partial halt decider and grounding to a truthmaker olcott <polcott333@gmail.com> - 2024-05-16 09:48 -0500
Re: Unconventional partial halt decider and grounding to a truthmaker Richard Damon <richard@damon-family.org> - 2024-05-16 22:29 -0400
Re: Unconventional partial halt decider and grounding to a truthmaker joes <noreply@example.com> - 2024-05-17 07:09 +0000
Re: Unconventional partial halt decider and grounding to a truthmaker Ben Bacarisse <ben@bsb.me.uk> - 2024-05-17 13:50 +0100
Re: Unconventional partial halt decider and grounding to a truthmaker olcott <polcott333@gmail.com> - 2024-05-17 10:28 -0500
Re: Unconventional partial halt decider and grounding to a truthmaker -- Reply to Ben's long standing objection olcott <polcott333@gmail.com> - 2024-05-17 13:42 -0500
Reply to Ben's long standing objection --- I finally have the words olcott <polcott333@gmail.com> - 2024-05-17 13:46 -0500
Re: Reply to Ben's long standing objection --- I finally have the words Richard Damon <richard@damon-family.org> - 2024-05-17 21:07 -0400
Re: Unconventional partial halt decider and grounding to a truthmaker Mikko <mikko.levanto@iki.fi> - 2024-05-17 13:45 +0300
Re: Unconventional partial halt decider and grounding to a truthmaker olcott <polcott333@gmail.com> - 2024-05-17 12:01 -0500
Re: Unconventional partial halt decider and grounding to a truthmaker olcott <polcott333@gmail.com> - 2024-05-18 12:11 -0500
Re: Unconventional partial halt decider and grounding to a truthmaker Richard Damon <richard@damon-family.org> - 2024-05-18 13:22 -0400
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-12 08:51 -0500
Re: Richard KEEPS TRYING to get away with this falsehood immibis <news@immibis.com> - 2024-05-13 06:53 +0200
Re: Richard KEEPS TRYING to get away with this falsehood olcott <polcott333@gmail.com> - 2024-05-13 08:19 -0500
Re: Richard KEEPS TRYING to get away with this falsehood immibis <news@immibis.com> - 2024-05-13 23:49 +0200
Re: Richard KEEPS TRYING to get away with this falsehood olcott <polcott333@gmail.com> - 2024-05-13 17:51 -0500
Re: Richard KEEPS TRYING to get away with this falsehood immibis <news@immibis.com> - 2024-05-14 02:17 +0200
Re: Richard KEEPS TRYING to get away with this falsehood olcott <polcott333@gmail.com> - 2024-05-13 19:37 -0500
Re: Olcott KEEPS LYING about Richard not refuting his statemnt. Richard Damon <richard@damon-family.org> - 2024-05-13 21:51 -0400
Re: Olcott KEEPS TRYING to get away with this falsehood Richard Damon <richard@damon-family.org> - 2024-05-13 20:29 -0400
Re: Olcott KEEPS TRYING to get away with this falsehood Richard Damon <richard@damon-family.org> - 2024-05-13 20:30 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Alan Mackenzie <acm@muc.de> - 2024-05-10 17:55 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-10 13:01 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Alan Mackenzie <acm@muc.de> - 2024-05-10 18:38 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-10 14:16 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-10 16:09 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Alan Mackenzie <acm@muc.de> - 2024-05-11 09:48 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-11 10:02 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-11 11:36 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H +++ olcott <polcott333@gmail.com> - 2024-05-11 11:48 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H +++ Richard Damon <richard@damon-family.org> - 2024-05-11 12:58 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H +++ olcott <polcott333@gmail.com> - 2024-05-11 12:36 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H +++ Richard Damon <richard@damon-family.org> - 2024-05-11 19:25 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Alan Mackenzie <acm@muc.de> - 2024-05-11 17:14 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-11 12:28 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-11 19:25 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-10 16:09 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-13 06:54 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-13 00:19 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-13 07:29 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-13 08:40 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-13 20:30 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-13 07:22 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-13 12:14 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-13 09:43 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-14 00:20 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-13 18:00 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-13 20:30 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-13 20:30 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-14 12:52 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-14 09:35 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-14 22:16 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-15 11:18 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-15 10:24 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### joes <noreply@example.com> - 2024-05-15 16:23 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-15 12:01 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-16 13:48 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-16 09:50 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Alan Mackenzie <acm@muc.de> - 2024-05-16 16:15 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-16 11:39 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-17 13:56 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### Alan Mackenzie <acm@muc.de> - 2024-05-17 20:02 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-17 18:00 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### André G. Isaak <agisaak@gm.invalid> - 2024-05-17 17:15 -0600
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-17 19:10 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-17 19:24 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### André G. Isaak <agisaak@gm.invalid> - 2024-05-18 20:58 -0600
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 22:27 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-19 05:45 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 22:50 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-19 08:07 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-19 14:15 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-19 08:11 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-19 13:17 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-20 11:01 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-20 12:06 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-19 08:03 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-17 19:34 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-17 21:06 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-18 10:30 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 09:20 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-17 18:45 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-17 13:53 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-17 12:14 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-17 21:06 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-18 16:02 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 10:07 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-18 11:11 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### DFS <nospam@dfs.com> - 2024-05-18 21:52 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-19 04:22 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 11:30 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-20 14:09 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 14:12 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-20 14:34 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-21 13:29 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-20 16:32 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-20 21:46 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 22:21 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-18 22:42 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-19 08:08 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-19 12:48 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-20 11:16 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### David Brown <david.brown@hesbynett.no> - 2024-05-20 14:00 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-20 14:11 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### Alan Mackenzie <acm@muc.de> - 2024-05-20 16:43 +0000
Topicality: Who really cares? (Was: Every D(D) simulated by H presents non-halting behavior to H ###) gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-20 17:45 +0000
Re: Topicality: Who really cares? (Was: Every D(D) simulated by H presents non-halting behavior to H ###) David Brown <david.brown@hesbynett.no> - 2024-05-21 11:36 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 11:28 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### David Brown <david.brown@hesbynett.no> - 2024-05-21 11:36 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-21 11:47 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### David Brown <david.brown@hesbynett.no> - 2024-05-21 20:27 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-21 12:10 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-21 13:13 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### David Brown <david.brown@hesbynett.no> - 2024-05-22 10:50 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-23 17:27 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-21 06:47 +0200
Lying meets the standard of losing defamation cases olcott <polcott333@gmail.com> - 2024-05-21 00:03 -0500
Re: Lying meets the standard of losing defamation cases Richard Damon <richard@damon-family.org> - 2024-05-21 07:54 -0400
Lying meets the standard of losing defamation cases olcott <polcott333@gmail.com> - 2024-05-21 00:05 -0500
Re: Lying meets the standard of losing defamation cases Richard Damon <richard@damon-family.org> - 2024-05-21 07:56 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-20 22:35 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-21 08:52 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-21 10:56 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### David Brown <david.brown@hesbynett.no> - 2024-05-21 11:36 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-21 11:48 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-21 18:10 +0200
Thought control??? (Was: Every D(D) simulated by H presents non-halting behavior to H ###) gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-21 17:16 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-21 21:46 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-21 20:13 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <NoOne@NoWhere.com> - 2024-05-21 22:55 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-22 07:48 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-22 07:41 +0200
Re: Policy dispute (Was: Every D(D) simulated by H presents non-halting behavior to H ###) gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-22 12:56 +0000
Re: Policy dispute (Was: Every D(D) simulated by H presents non-halting behavior to H ###) immibis <news@immibis.com> - 2024-05-22 07:42 +0200
Policy dispute (Was: Every D(D) simulated by H presents non-halting behavior to H ###) gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-22 05:32 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### David Brown <david.brown@hesbynett.no> - 2024-05-22 18:40 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-22 15:30 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### Kaz Kylheku <643-408-1753@kylheku.com> - 2024-05-22 16:15 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-22 11:15 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-21 12:12 -0700
Subway (Was: Every D(D) simulated by H presents non-halting behavior to H ###) gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-21 19:15 +0000
Re: Subway (Was: Every D(D) simulated by H presents non-halting behavior to H ###) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-21 12:51 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-21 13:08 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-21 13:24 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-21 13:26 -0700
Welcome! (Was: Every D(D) simulated by H presents non-halting behavior to H ###) gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-21 21:13 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-22 07:40 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-23 19:29 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-23 17:19 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-18 22:45 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### Jeff Barnett <jbb@notatt.com> - 2024-05-19 00:48 -0600
Re: Every D(D) simulated by H presents non-halting behavior to H ### James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-18 11:34 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-18 11:44 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-18 18:01 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-18 12:04 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 11:31 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-18 12:49 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 11:52 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-19 13:23 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-20 11:14 +0300
(Thread has 643 articles, showing 500 — browse group in flat view)
csiph-web