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

Groups > comp.theory > #104684

Re: Termination analyzer defined ---RICHARD IS WRONG !!!

From Richard Damon <richard@damon-family.org>
Newsgroups comp.theory, sci.logic
Subject Re: Termination analyzer defined ---RICHARD IS WRONG !!!
Date 2024-05-11 12:47 -0400
Organization i2pn2 (i2pn.org)
Message-ID <v1o7ef$nmui$10@i2pn2.org> (permalink)
References <v1me7i$1l6ut$1@dont-email.me> <v1nec4$1vb8i$1@dont-email.me> <v1o6p5$24f4c$2@dont-email.me>

Cross-posted to 2 groups.

Show all headers | View raw

On 5/11/24 12:35 PM, olcott wrote:
> On 5/11/2024 4:39 AM, Mikko wrote:
>> On 2024-05-11 00:30:40 +0000, olcott said:
>>
>>> A termination analyzer is different than a halt decider in that it need
>>> not correctly determine the halt status of every input. For the purposes
>>> of this paper a termination analyzer only needs to correctly determine
>>> the halt status of one terminating input and one non-terminating input.
>>> The computer science equivalent would be a halt decider with a limited
>>> domain that includes at least one halting and one non-halting input.
>>
>>  From https://www.google.fi/search?q=termination+analysis and
>> https://en.wikipedia.org/wiki/Termination_analysis :
>>
>> "In computer science, termination analysis is program analysis which 
>> attempts to determine whether the evaluation of a given program halts 
>> for each input. This means to determine whether the input program 
>> computes a total function."
>>
>> So the term "termination analysis" is already defined. The derived term
>> "termination analyzer" means a performer of termination analysis. That
>> does not agree with the propsed defintion above so a differnt term
>> should be used.
>>
>> That "termination analysis" is a know term that need not be defined
>> is demostrated e.g. by
>>
>>     https://arxiv.org/pdf/2101.09783
>>
>> which simply assumes that readers know (at least approximately) what
>> the term means.
>>
> 
> You are doing a great job performing an honest review!
> So every time that Richard referred to a {termination analyzer} that
> ignores its inputs *Richard was WRONG*

No more wrong than your H that answers about a D that it wasn't given.

> 
> The context of all of my discussions since 2023/06/19 has
> always been the common term-of-the-art of {Termination Analyzer}

Which you just proved you don't understand.

> 
> I have used the conventional term-of-the-art {Termination Analyzer}
> in the title of my paper since 2023/06/19
> *Termination Analyzer H is Not Fooled by Pathological Input D*
> 
> 

Which just shows you don't know what you are talking about.

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Termination analyzer defined olcott <polcott333@gmail.com> - 2024-05-10 19:30 -0500
  Re: Termination analyzer defined olcott <polcott333@gmail.com> - 2024-05-10 19:59 -0500
    Re: Termination analyzer defined Richard Damon <richard@damon-family.org> - 2024-05-10 22:16 -0400
      Re: Termination analyzer defined olcott <polcott333@gmail.com> - 2024-05-10 21:24 -0500
        Re: Termination analyzer defined Richard Damon <richard@damon-family.org> - 2024-05-10 22:39 -0400
          Re: Termination analyzer defined olcott <polcott333@gmail.com> - 2024-05-10 21:59 -0500
            Re: Termination analyzer defined Richard Damon <richard@damon-family.org> - 2024-05-10 23:16 -0400
              Re: Termination analyzer defined olcott <polcott333@gmail.com> - 2024-05-10 22:22 -0500
                Re: Termination analyzer defined Richard Damon <richard@damon-family.org> - 2024-05-10 23:49 -0400
              Re: Termination analyzer defined olcott <polcott333@gmail.com> - 2024-05-11 00:04 -0500
                Re: Termination analyzer defined olcott <polcott333@gmail.com> - 2024-05-11 00:21 -0500
                Re: Termination analyzer defined Richard Damon <richard@damon-family.org> - 2024-05-11 11:36 -0400
          Re: Termination analyzer defined olcott <polcott333@gmail.com> - 2024-05-10 22:21 -0500
            Re: Termination analyzer defined Richard Damon <richard@damon-family.org> - 2024-05-10 23:49 -0400
              Re: Termination analyzer defined olcott <polcott333@gmail.com> - 2024-05-10 23:47 -0500
                Re: Termination analyzer defined Richard Damon <richard@damon-family.org> - 2024-05-11 11:36 -0400
              Re: Termination analyzer defined olcott <polcott333@gmail.com> - 2024-05-11 00:43 -0500
                Re: Termination analyzer defined Richard Damon <richard@damon-family.org> - 2024-05-11 11:36 -0400
  Re: Termination analyzer defined Richard Damon <richard@damon-family.org> - 2024-05-10 22:17 -0400
    Re: Termination analyzer defined olcott <polcott333@gmail.com> - 2024-05-10 21:27 -0500
      Re: Termination analyzer defined Richard Damon <richard@damon-family.org> - 2024-05-10 22:39 -0400
        Re: Termination analyzer defined olcott <polcott333@gmail.com> - 2024-05-10 21:52 -0500
          Re: Termination analyzer defined Richard Damon <richard@damon-family.org> - 2024-05-10 23:16 -0400
            Re: Termination analyzer defined olcott <polcott333@gmail.com> - 2024-05-10 22:25 -0500
              Re: Termination analyzer defined Richard Damon <richard@damon-family.org> - 2024-05-10 23:49 -0400
                Re: Termination analyzer defined olcott <polcott333@gmail.com> - 2024-05-10 23:31 -0500
                Re: Termination analyzer defined Richard Damon <richard@damon-family.org> - 2024-05-11 11:36 -0400
  Re: Termination analyzer defined "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-11 08:51 +0200
    Re: Termination analyzer defined olcott <polcott333@gmail.com> - 2024-05-11 10:21 -0500
      Re: Termination analyzer defined Richard Damon <richard@damon-family.org> - 2024-05-11 11:36 -0400
  Re: Termination analyzer defined Mikko <mikko.levanto@iki.fi> - 2024-05-11 12:39 +0300
    Re: Termination analyzer defined ---RICHARD IS WRONG !!! olcott <polcott333@gmail.com> - 2024-05-11 11:35 -0500
      Re: Termination analyzer defined ---RICHARD IS WRONG !!! Richard Damon <richard@damon-family.org> - 2024-05-11 12:47 -0400
      Re: Termination analyzer defined ---RICHARD IS WRONG !!! Mikko <mikko.levanto@iki.fi> - 2024-05-12 11:45 +0300
        Re: Termination analyzer defined ---RICHARD IS WRONG !!! olcott <polcott333@gmail.com> - 2024-05-12 08:59 -0500
          Re: Termination analyzer defined ---RICHARD IS WRONG !!! Mikko <mikko.levanto@iki.fi> - 2024-05-12 18:27 +0300
            Re: Termination analyzer defined ---RICHARD IS WRONG !!! olcott <polcott333@gmail.com> - 2024-05-12 12:12 -0500
              Re: Termination analyzer defined ---RICHARD IS WRONG !!! Richard Damon <richard@damon-family.org> - 2024-05-12 14:02 -0400
              Re: Termination analyzer defined ---RICHARD IS WRONG !!! Mikko <mikko.levanto@iki.fi> - 2024-05-13 12:06 +0300
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! olcott <polcott333@gmail.com> - 2024-05-13 09:42 -0500
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! Mikko <mikko.levanto@iki.fi> - 2024-05-14 12:28 +0300
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! olcott <polcott333@gmail.com> - 2024-05-14 09:10 -0500
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! Mikko <mikko.levanto@iki.fi> - 2024-05-15 10:53 +0300
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! olcott <polcott333@gmail.com> - 2024-05-15 09:52 -0500
                Re: Termination analyzer defined ---OLCOTT IS WRONG !!! Richard Damon <richard@damon-family.org> - 2024-05-15 20:25 -0400
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! Mikko <mikko.levanto@iki.fi> - 2024-05-16 12:59 +0300
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! olcott <polcott333@gmail.com> - 2024-05-16 09:08 -0500
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! Mikko <mikko.levanto@iki.fi> - 2024-05-17 11:58 +0300
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! olcott <polcott333@gmail.com> - 2024-05-17 10:53 -0500
                Re: Termination analyzer defined ---OLCOTT IS WRONG !!! Richard Damon <richard@damon-family.org> - 2024-05-17 21:07 -0400
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! Mikko <mikko.levanto@iki.fi> - 2024-05-18 12:33 +0300
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! olcott <polcott333@gmail.com> - 2024-05-18 09:35 -0500
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! Richard Damon <richard@damon-family.org> - 2024-05-18 10:43 -0400
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! Mikko <mikko.levanto@iki.fi> - 2024-05-19 13:43 +0300
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! olcott <polcott333@gmail.com> - 2024-05-19 07:45 -0500
                Re: Termination analyzer defined ---OLCOTT IS A LIAR !!! Richard Damon <richard@damon-family.org> - 2024-05-19 13:17 -0400
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! immibis <news@immibis.com> - 2024-05-18 10:52 +0200
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! olcott <polcott333@gmail.com> - 2024-05-18 10:10 -0500
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! Richard Damon <richard@damon-family.org> - 2024-05-18 11:14 -0400
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! Jeff Barnett <jbb@notatt.com> - 2024-05-13 12:07 -0600
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! Mikko <mikko.levanto@iki.fi> - 2024-05-14 12:34 +0300
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! olcott <polcott333@gmail.com> - 2024-05-14 09:15 -0500
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! olcott <polcott333@gmail.com> - 2024-05-14 09:18 -0500
                Re: Termination analyzer defined ---OLCOTT IS A LIAR !!! Richard Damon <richard@damon-family.org> - 2024-05-14 22:16 -0400
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! Mikko <mikko.levanto@iki.fi> - 2024-05-15 10:56 +0300
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! olcott <polcott333@gmail.com> - 2024-05-15 09:55 -0500
                Re: Termination analyzer defined ---OLCOTT IS WRONG !!! Richard Damon <richard@damon-family.org> - 2024-05-15 20:25 -0400
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! Mikko <mikko.levanto@iki.fi> - 2024-05-16 13:02 +0300
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! olcott <polcott333@gmail.com> - 2024-05-16 09:21 -0500
                Re: Termination analyzer defined ---OLCOTT IS WRONG !!! Richard Damon <richard@damon-family.org> - 2024-05-16 22:29 -0400
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! Mikko <mikko.levanto@iki.fi> - 2024-05-17 12:03 +0300
                Re: Termination analyzer defined ---RICHARD IS WRONG !!! Jeff Barnett <jbb@notatt.com> - 2024-05-14 11:33 -0600
          Re: Termination analyzer defined ---OLCOTT IS WRONG !!! Richard Damon <richard@damon-family.org> - 2024-05-12 12:58 -0400
  Re: Termination analyzer defined immibis <news@immibis.com> - 2024-05-13 06:57 +0200

csiph-web