Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.theory > #104339

Re: D simulated by H never halts no matter what H does V3 ---

From olcott <polcott333@gmail.com>
Newsgroups comp.theory, sci.logic
Subject Re: D simulated by H never halts no matter what H does V3 ---
Date 2024-05-04 13:46 -0500
Organization A noiseless patient Spider
Message-ID <v15vqo$1bfmh$1@dont-email.me> (permalink)
References (16 earlier) <v15hat$94v$1@news.muc.de> <v15hsc$17unh$8@dont-email.me> <v15lk0$1qp4$2@i2pn2.org> <v15nta$19ip0$1@dont-email.me> <v15qg3$1qp4$6@i2pn2.org>

Cross-posted to 2 groups.

Show all headers | View raw

On 5/4/2024 12:15 PM, Richard Damon wrote:
> On 5/4/24 12:31 PM, olcott wrote:
>> On 5/4/2024 10:52 AM, Richard Damon wrote:
>>> On 5/4/24 10:48 AM, olcott wrote:
>>>> On 5/4/2024 9:39 AM, Alan Mackenzie wrote:
>>>>> olcott <polcott333@gmail.com> wrote:
>>>>>> On 5/4/2024 5:56 AM, Alan Mackenzie wrote:
>>>>>>> [ Followup-To: set ]
>>>>>
>>>>>>> In comp.theory olcott <polcott333@gmail.com> wrote:
>>>>>
>>>>> [ .... ]
>>>>>
>>>>>>>> You are doing better than Alan on this though he doesn't
>>>>>>>> have a single clue about what execution traces are or how
>>>>>>>> they work.
>>>>>
>>>>>>> You should read "How to make friends and influence people" by Dale
>>>>>>> Carnegie.  You may not care about the former, but you sure are 
>>>>>>> trying
>>>>>>> the latter.  Hint: telling nasty lies about people is not effective.
>>>>>
>>>>>
>>>>>> The alternative of disparaging my work without even looking at
>>>>>> it is far worse because it meets the
>>>>>
>>>>>> https://dictionary.findlaw.com/definition/reckless-disregard-of-the-truth.html
>>>>>
>>>>>> required for libel and defamation cases.
>>>>>
>>>>> No.  There have got to be limits on what one spends ones time on.  You
>>>>
>>>> None-the-less saying that I <am> wrong without looking at what
>>>> I said <is> defamatory. Saying that you believe that I am wrong
>>>> on the basis that I do not seem to have credibility is not defamatory.
>>>>
>>>>> have been maintaining false things over the years to such a degree 
>>>>> that
>>>>> it would be a waste of time suddenly to expect brilliant insights from
>>>>> you.  For example, you insist that robustly proven mathematical 
>>>>> theorems
>>>>> are false, and your "reasoning" hardly merits the word.
>>>>>
>>>>
>>>> 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 void main()
>>>> 10 {
>>>> 11   H(D,D);
>>>> 12 }
>>>>
>>>> Execution Trace
>>>> Line 11: main() invokes H(D,D);
>>>>
>>>> keeps repeating (unless aborted)
>>>> 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.
>>>>
>>>> Yet saying that the above is false <is> defamatory because anyone
>>>> with ordinary skill in the art of C programming can determine that
>>>> it is true by verifying that the execution trace is correct.
>>>>
>>>> When you say it is false by either not verifying that the execution
>>>> trace is correct or not knowing what execution traces are <is>
>>>> defamatory.
>>>
>>> But it HAS been proven incorrect and YOU are the one disregarding the 
>>> evidence.
>>>
>>> I guess I could file defamatory claims against you.
>>>
>>
>> It may be the case that you did bury another rebuttal in all of
>> your rhetoric and ad hominem attacks that were vigorously attempting
>> to get away with the strawman deception change the subject "rebuttal".
> 
> But very close to my first part of the reply I indicated that there WAS 
> a detailed description of this at the end, and you replied to that 
> mention, saying that since your statement was categorically true it 
> would be easy to refute, and then you just didn't do so.
> 

If you post the time/date stamp I will carefully examine it.
Until you do that it seems safe to assume that it was only
the same ruse as this.

On 5/1/2024 7:28 PM, Richard Damon wrote:
 > On 5/1/24 11:51 AM, olcott wrote:
 >> *I HAVE SAID THIS AT LEAST 10,000 TIMES NOW*
 >> Every D simulated by H that cannot possibly stop running unless
 >> aborted by H does specify non-terminating behavior to H. When
 >> H aborts this simulation that does not count as D halting.
 >
 > Which is just meaningless gobbledygook by your definitions.
 >
 > It means that
 >
 > int H(ptr m, ptr d) {
 >     return 0;
 > }
 >
 > is always correct, because THAT H can not possible simulate
 > the input to the end before it aborts it, and that H is all
 > that that H can be, or it isn't THAT H.

*Every D NEVER simulated by H* (as shown above)
is definitely not *Every D simulated by H* (also shown above)

> So. I guess you ADHD made you forget what you were talking about and 
> made yourself just into a liar.
> 
> YOU choosing to ignore it, just shows that you are not really interested 
> in an actual honest dialog.
> 
> I guess it doesn't matter to you what is actually true, as you are going 
> to just assume what you want.
> 
>>
>> A reasonable person cannot be reasonably expected to wade through
>> all of that especially when one of these "rebuttals" interpreted
>> *D is simulated by H* to mean *D is NEVER simulated by H*
> 
> But that isn't what distracted you in that message.
> 
>>
>> On 5/1/2024 7:28 PM, Richard Damon wrote:
>>  >> *Every D simulated by H* that cannot possibly stop running unless
>>  >> aborted by H does specify non-terminating behavior to H. When
>>  >> H aborts this simulation that does not count as D halting.
>>  >
>>  > Which is just meaningless gobbledygook by your definitions.
>>  >
>>  > It means that
>>  >
>>  > int H(ptr m, ptr d) {
>>  >     return 0;
>>  > }
>>  >
>>  > is always correct, because THAT H can not possible simulate
>>  > the input to the end before it aborts it, and that H is all
>>  > that that H can be, or it isn't THAT H.
>>
>> One shows a reckless-disregard-of-the-truth when they "interpret"
>> *D is simulated by H*
>>    to mean
>> *D is NEVER simulated by H*
>>
>>
> 
> But 0 steps is a number of steps.
> 

*I did not say any number of steps*

 > On 5/1/24 11:51 AM, olcott wrote:
 >> *I HAVE SAID THIS AT LEAST 10,000 TIMES NOW*
 >> *Every D simulated by H* that cannot possibly stop running unless
 >> aborted by H does specify non-terminating behavior to H. When
 >> H aborts this simulation that does not count as D halting.

*Every D simulated by H* IS NOT *Any D NEVER simulated by H*
*Every D simulated by H* IS NOT *Any D NEVER simulated by H*
*Every D simulated by H* IS NOT *Any D NEVER simulated by H*
*Every D simulated by H* IS NOT *Any D NEVER simulated by H*

> And its logic is just as good as your H's, since it is using a FALSE 
> statement.
> 
>>
>> When one of ordinary skill in the art of C programming can
>> easily verify that the execution trace presented is correct:
>>
>> 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 }
>>
>> Execution Trace
>> Line 11: main() invokes H(D,D);
>>
>> keeps repeating (unless aborted)
>> 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.
> 
> 
> And proven to be incorrect and you have ignored the problem.
> 

I think that the reason why you won't show any time/date stamp
of where this was proven is that you already know that this
other example is the same nonsense that I quoted you saying
in your other "proof" quoted above.

>>
>> Then anyone asserting otherwise does meet the definition of
>> https://dictionary.findlaw.com/definition/reckless-disregard-of-the-truth.html required for libel and defamation cases.
>>
> 
> So, your claiming that you statement hasn't been disproven meets that 
> definition too.
> 
>> A valid counter-example would overcome this. Mere rhetoric and
>> ad hominem attacks instead of a valid counter-example sustain
>> the characterization of defamation rather than rebut it.
>>
> 
> Been given and ignored, thus you ADMIT that your statements have just 
> become rhetoric, as you have choosen to not try to rebut it.
> 
>>>
>>>>
>>>>>> I prefer honest dialogues. Whenever the other party diverges from 
>>>>>> this
>>>>>> I will call it out. It may be fun to have an insult party until this
>>>>>> makes one look ridiculously foolish.
>>>>>
>>>>> You do NOT prefer honest dialogues at all.  You are not prepared, 
>>>>> ever,
>>>>> to admit where you are wrong.  You seem to insist that everybody else
>>>>> takes your pronouncements at face value.  You do not appear to try to
>>>>> understand others' points of view, even (especially?) where they are
>>>>> right.
>>>>>
>>>>> How is that "honest dialogue"?
>>>>>
>>>>>> -- 
>>>>>> Copyright 2024 Olcott "Talent hits a target no one else can hit; 
>>>>>> Genius
>>>>>> hits a target no one else can see." Arthur Schopenhauer
>>>>>
>>>>
>>>
>>
> 

-- 
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

Thread

Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-17 21:34 -0500
  Re: Undecidability based on epistemological antinomies V2 Richard Damon <richard@damon-family.org> - 2024-04-17 23:13 -0400
    Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-18 09:50 -0500
      Re: Undecidability based on epistemological antinomies V2 Richard Damon <richard@damon-family.org> - 2024-04-18 18:31 -0400
        Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-18 20:11 -0500
          Re: Undecidability based on epistemological antinomies V2 Richard Damon <richard@damon-family.org> - 2024-04-18 21:58 -0400
            Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-18 21:25 -0500
              Re: Undecidability based on epistemological antinomies V2 Richard Damon <richard@damon-family.org> - 2024-04-18 22:50 -0400
                Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-18 22:28 -0500
                Re: Undecidability based on epistemological antinomies V2 Richard Damon <richard@damon-family.org> - 2024-04-19 07:09 -0400
                Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-19 09:18 -0500
                Re: Undecidability based on epistemological antinomies V2 Richard Damon <richard@damon-family.org> - 2024-04-19 18:41 -0400
              Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-20 11:37 -0500
                Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Richard Damon <richard@damon-family.org> - 2024-04-20 12:52 -0400
                Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-21 09:34 -0500
                Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Richard Damon <richard@damon-family.org> - 2024-04-21 13:05 -0400
                Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Richard Damon <richard@damon-family.org> - 2024-04-21 13:11 -0400
                Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Mikko <mikko.levanto@iki.fi> - 2024-04-22 11:26 +0300
                Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-22 09:03 -0500
                Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Richard Damon <richard@damon-family.org> - 2024-04-22 18:54 -0400
                Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-23 09:44 -0500
                Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Richard Damon <richard@damon-family.org> - 2024-04-23 21:47 -0400
                Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-23 09:54 -0500
                Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-26 10:28 -0500
                Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-26 13:40 -0500
                Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Richard Damon <richard@damon-family.org> - 2024-04-26 15:01 -0400
                Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-26 13:07 -0700
                Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-26 12:15 -0500
                Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-26 11:19 -0700
                Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Richard Damon <richard@damon-family.org> - 2024-04-26 13:58 -0400
                Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Richard Damon <richard@damon-family.org> - 2024-04-26 12:16 -0400
                Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-26 09:38 -0700
                Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-27 08:36 -0500
            Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-19 09:52 -0500
              Re: Undecidability based on epistemological antinomies V2 Richard Damon <richard@damon-family.org> - 2024-04-19 18:51 -0400
            Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- olcott <polcott333@gmail.com> - 2024-04-19 13:04 -0500
              Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- Richard Damon <richard@damon-family.org> - 2024-04-19 19:20 -0400
                Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- olcott <polcott333@gmail.com> - 2024-04-20 01:05 -0500
                Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- Richard Damon <richard@damon-family.org> - 2024-04-20 08:56 -0400
              Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- olcott <polcott333@gmail.com> - 2024-04-20 10:20 -0500
                Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- Richard Damon <richard@damon-family.org> - 2024-04-20 11:39 -0400
                Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- olcott <polcott333@gmail.com> - 2024-04-21 10:26 -0500
                Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- Richard Damon <richard@damon-family.org> - 2024-04-21 12:52 -0400
                Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- olcott <polcott333@gmail.com> - 2024-04-21 09:44 -0500
                Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- olcott <polcott333@gmail.com> - 2024-04-22 09:10 -0500
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-24 10:33 -0500
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-24 19:01 -0400
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-24 19:17 -0500
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-24 20:49 -0400
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-24 19:57 -0500
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-24 22:00 -0400
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-24 21:16 -0500
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-24 23:38 -0400
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-24 22:53 -0500
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-25 07:32 -0400
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-24 22:56 -0500
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-25 07:32 -0400
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-24 21:02 -0700
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-25 09:15 -0500
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-25 21:50 -0400
                Re: D simulated by H never halts no matter what H does Richard Damon <richard@damon-family.org> - 2024-04-26 14:09 -0400
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-26 12:19 -0400
                D simulated by H never halts no matter what H does olcott <polcott333@gmail.com> - 2024-04-26 12:05 -0500
                Re: D simulated by H never halts no matter what H does olcott <polcott333@gmail.com> - 2024-04-26 19:02 -0500
                Re: D simulated by H never halts no matter what H does Richard Damon <richard@damon-family.org> - 2024-04-26 20:26 -0400
                Re: D simulated by H never halts no matter what H does olcott <polcott333@gmail.com> - 2024-04-26 20:43 -0500
                Re: D simulated by H never halts no matter what H does Richard Damon <richard@damon-family.org> - 2024-04-26 22:18 -0400
                Re: D simulated by H never halts no matter what H does olcott <polcott333@gmail.com> - 2024-04-26 22:02 -0500
                Re: D simulated by H never halts no matter what H does Richard Damon <richard@damon-family.org> - 2024-04-26 23:45 -0400
                Re: D simulated by H never halts no matter what H does olcott <polcott333@gmail.com> - 2024-04-26 23:07 -0500
                Re: D simulated by H never halts no matter what H does olcott <polcott333@gmail.com> - 2024-04-27 00:29 -0500
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-27 00:34 -0500
                Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-27 07:45 -0400
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-27 09:32 -0500
                Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-27 13:09 -0400
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-27 12:51 -0500
                Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-27 14:10 -0400
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-27 13:17 -0500
                Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-27 14:40 -0400
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-27 13:52 -0500
                Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-27 15:09 -0400
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-27 14:48 -0500
                Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-27 17:24 -0400
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-27 16:36 -0500
                Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-27 17:45 -0400
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-27 17:02 -0500
                Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-27 18:19 -0400
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-27 17:29 -0500
                Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-27 18:45 -0400
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-27 17:56 -0500
                Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-27 19:09 -0400
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-27 18:29 -0500
                Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-27 19:44 -0400
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-27 19:21 -0500
                Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-27 20:45 -0400
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-28 08:13 -0500
                Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-28 09:29 -0400
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-29 09:26 -0500
                Re: D simulated by H never halts no matter what H does V3 Mikko <mikko.levanto@iki.fi> - 2024-04-29 18:16 +0300
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-29 10:40 -0500
                Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-29 19:19 -0400
                Re: D simulated by H never halts no matter what H does V3 Mikko <mikko.levanto@iki.fi> - 2024-04-30 11:52 +0300
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-30 10:36 -0500
                Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-30 18:46 -0400
                Re: D simulated by H never halts no matter what H does V3 Mikko <mikko.levanto@iki.fi> - 2024-05-01 12:43 +0300
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-01 10:45 -0500
                Re: D simulated by H never halts no matter what H does V3 Mikko <mikko.levanto@iki.fi> - 2024-05-02 12:55 +0300
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-02 09:22 -0500
                Re: D simulated by H never halts no matter what H does V3 Mikko <mikko.levanto@iki.fi> - 2024-05-03 11:54 +0300
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-03 06:38 -0500
                Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-05-03 17:57 -0400
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-03 22:20 -0500
                Re: D simulated by H never halts no matter what H does V3 Alan Mackenzie <acm@muc.de> - 2024-05-04 10:56 +0000
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-04 08:46 -0500
                Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-05-04 12:11 -0400
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-04 09:06 -0500
                Re: D simulated by H never halts no matter what H does V3 Alan Mackenzie <acm@muc.de> - 2024-05-04 14:39 +0000
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-04 09:48 -0500
                Re: D simulated by H never halts no matter what H does V3 Alan Mackenzie <acm@muc.de> - 2024-05-04 15:34 +0000
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-04 10:47 -0500
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-04 10:49 -0500
                Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-05-04 12:57 -0400
                Re: D simulated by H never halts no matter what H does V3 Alan Mackenzie <acm@muc.de> - 2024-05-04 17:14 +0000
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-04 12:35 -0500
                Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-05-04 13:52 -0400
                Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-05-04 11:52 -0400
                Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-04 11:31 -0500
                Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-04 13:15 -0400
                Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-04 13:46 -0500
                Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-04 16:40 -0400
                Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-04 16:18 -0500
                Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-04 17:43 -0400
                Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-04 17:08 -0500
                Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-04 18:36 -0400
                Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-04 18:01 -0500
                Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-04 19:32 -0400
                Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-04 18:51 -0500
                Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-04 20:07 -0400
                Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-04 19:20 -0500
                Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-04 20:44 -0400
                Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-04 19:49 -0500
                Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-04 21:05 -0400
                Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-04 20:30 -0500
                Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-04 22:49 -0400
                Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-04 22:17 -0500
                Re: D simulated by H never halts no matter what H does V3 --- "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-05 12:36 +0200
                Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-05 09:23 -0500
                Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-05 13:00 -0400
                Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-05 09:30 -0500
                Re: D simulated by H never halts no matter what H does V3 --- joes <noreply@example.com> - 2024-05-05 15:42 +0000
                Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-05 11:22 -0500
                Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-05 12:43 -0400
                Re: D simulated by H never halts no matter what H does V3 --- joes <noreply@example.com> - 2024-05-05 17:03 +0000
                Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-05 13:27 -0400
                Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-05 11:29 -0500
                Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-05 12:46 -0400
                Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-05 12:28 -0500
                Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-05 13:49 -0400
                Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-05 13:32 -0500
                Re: D simulated by H never halts no matter what H does V3 --- joes <noreply@example.com> - 2024-05-05 16:57 +0000
                Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-05 12:23 -0500
                Re: D simulated by H never halts no matter what H does V3 --- immibis <news@immibis.com> - 2024-05-07 03:37 +0200
                Re: D simulated by H never halts no matter what H does V3 --- Jeff Barnett <jbb@notatt.com> - 2024-05-05 13:11 -0600
                Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-05 12:41 -0400
                Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-05 12:21 -0500
                Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-05 13:54 -0400
                Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-05 13:33 -0500
                Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-05 15:47 -0400
                Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-05 15:34 -0500
                Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-05 17:13 -0400
                Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-05 16:09 -0500
                Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-05 18:57 -0400
                your system clock is still off olcott <polcott333@gmail.com> - 2024-05-05 19:38 -0500
                Re: your system clock is still off Richard Damon <richard@damon-family.org> - 2024-05-05 21:05 -0400
                Re: your system clock is still off olcott <polcott333@gmail.com> - 2024-05-05 22:27 -0500
                Re: your system clock is still off Richard Damon <richard@damon-family.org> - 2024-05-05 23:53 -0400
                Re: your system clock is still off olcott <polcott333@gmail.com> - 2024-05-05 23:06 -0500
                Re: your system clock is still off Richard Damon <richard@damon-family.org> - 2024-05-06 06:33 -0400
                Re: your system clock is still off Mikko <mikko.levanto@iki.fi> - 2024-05-06 18:50 +0300
                Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-05 07:10 -0400
                Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-05 10:13 -0500
                Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-05 12:50 -0400
                Re: D simulated by H never halts no matter what H does V3 --- Mikko <mikko.levanto@iki.fi> - 2024-05-06 19:01 +0300
                Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-05-04 11:51 -0400
                Re: D simulated by H never halts no matter what H does V3 Ben Bacarisse <ben.usenet@bsb.me.uk> - 2024-05-05 09:33 +0100
                Re: D simulated by H never halts no matter what H does V3 Alan Mackenzie <acm@muc.de> - 2024-05-05 10:02 +0000
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-05 09:51 -0500
                Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-05-05 12:54 -0400
                Re: D simulated by H never halts no matter what H does V3 Alan Mackenzie <acm@muc.de> - 2024-05-05 17:28 +0000
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-05 12:47 -0500
                Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-05-04 08:36 -0400
                Re: D simulated by H never halts no matter what H does V3 Mikko <mikko.levanto@iki.fi> - 2024-05-04 12:11 +0300
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-04 09:12 -0500
                Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-05-04 11:58 -0400
                Re: D simulated by H never halts no matter what H does V3 Mikko <mikko.levanto@iki.fi> - 2024-05-05 12:39 +0300
                Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-05 09:41 -0500
                Re: D simulated by H never halts no matter what H does V3 Mikko <mikko.levanto@iki.fi> - 2024-05-06 19:15 +0300
                Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-29 19:19 -0400
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-26 10:34 -0500
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-28 08:10 -0500
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-28 09:22 -0400
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-28 07:31 -0700
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-28 09:48 -0500
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-28 11:10 -0400
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-28 10:27 -0500
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-28 12:13 -0400
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-28 12:10 -0500
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-28 13:41 -0400
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-28 11:12 -0700
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-28 13:26 -0500
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-28 11:46 -0700
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-28 08:41 -0700
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-28 12:01 -0500
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-29 09:28 -0500
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-29 10:24 -0500
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-29 19:19 -0400
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-29 19:19 -0400
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-25 09:08 -0500
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-25 21:55 -0400
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-27 08:50 -0500
                Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-27 13:21 -0400
  Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-18 00:57 -0500
    Re: Undecidability based on epistemological antinomies V2 Richard Damon <richard@damon-family.org> - 2024-04-18 07:34 -0400
    Re: Undecidability based on epistemological antinomies V2 Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-19 09:51 -0700
      Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-19 13:23 -0500
        Re: Undecidability based on epistemological antinomies V2 Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-19 14:04 -0700
          Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-19 16:36 -0500
            Re: Undecidability based on epistemological antinomies V2 Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-20 13:07 -0700
              Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-20 16:05 -0500
                Re: Undecidability based on epistemological antinomies V2 Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-20 20:41 -0700
                Re: Undecidability based on epistemological antinomies V2 Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-20 21:40 -0700
                Re: Undecidability based on epistemological antinomies V2 Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-20 20:39 -0700
                Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-21 00:47 -0500
                Re: Undecidability based on epistemological antinomies V2 Richard Damon <richard@damon-family.org> - 2024-04-21 07:19 -0400
                Re: Undecidability based on epistemological antinomies V2 Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-21 07:17 -0700
                Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-21 10:16 -0500
                Re: Undecidability based on epistemological antinomies V2 Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-21 08:53 -0700
                Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-21 12:41 -0500
                Re: Undecidability based on epistemological antinomies V2 Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-21 11:37 -0700
                Re: Undecidability based on epistemological antinomies V2 Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-21 11:42 -0700
                Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- olcott <polcott333@gmail.com> - 2024-04-21 14:34 -0500
                Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Richard Damon <richard@damon-family.org> - 2024-04-21 17:19 -0400
                Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- olcott <polcott333@gmail.com> - 2024-04-21 16:38 -0500
                Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Richard Damon <richard@damon-family.org> - 2024-04-21 19:52 -0400
                Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- olcott <polcott333@gmail.com> - 2024-04-21 19:22 -0500
                Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Richard Damon <richard@damon-family.org> - 2024-04-21 21:54 -0400
                Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- olcott <polcott333@gmail.com> - 2024-04-21 23:35 -0500
                Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Richard Damon <richard@damon-family.org> - 2024-04-22 07:35 -0400
                Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- olcott <polcott333@gmail.com> - 2024-04-23 10:39 -0500
                Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Richard Damon <richard@damon-family.org> - 2024-04-23 21:47 -0400
                Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-21 19:00 -0700
                Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- olcott <polcott333@gmail.com> - 2024-04-21 19:53 -0500
                Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Richard Damon <richard@damon-family.org> - 2024-04-21 22:02 -0400
                Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- olcott <polcott333@gmail.com> - 2024-04-24 23:33 -0500
                Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Richard Damon <richard@damon-family.org> - 2024-04-25 07:32 -0400
                Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-25 09:09 -0700
                Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- olcott <polcott333@gmail.com> - 2024-04-25 12:04 -0500
                Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-25 10:45 -0700
                Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- olcott <polcott333@gmail.com> - 2024-04-25 13:47 -0500
                Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Richard Damon <richard@damon-family.org> - 2024-04-25 21:51 -0400
                Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Richard Damon <richard@damon-family.org> - 2024-04-25 21:51 -0400
  Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-18 09:53 -0500
    Re: Undecidability based on epistemological antinomies V2 Richard Damon <richard@damon-family.org> - 2024-04-18 18:33 -0400

csiph-web