Groups | Search | Server Info | Login | Register

Groups > sci.logic > #254871

Re: Termination Analyzer H is Not Fooled by Pathological Input D

Newsgroups sci.logic
Date 2023-06-23 07:53 -0700
References <u72sdf$3fl68$1@dont-email.me>
Message-ID <c1dfff31-d919-4714-9964-d2ff3813b6bfn@googlegroups.com> (permalink)
Subject Re: Termination Analyzer H is Not Fooled by Pathological Input D
From Fritz Feldhase <franz.fritschee.ff@gmail.com>

Show all headers | View raw

On Friday, June 23, 2023 at 3:27:16 AM UTC+2, olcott wrote:

> When the halting problem is construed as requiring a correct yes/no
> answer to [the question if a certain program P with a certain input d 
> halts or not] it cannot be solved [in general].

In other word, there's no program H such that for all programs P and all data d, H can correcty determine/answer if P(d) halts or not.

Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-22 20:27 -0500
  Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-22 22:25 -0400
    Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-22 22:16 -0500
      Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-23 00:32 -0400
        Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-23 00:06 -0500
          Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-23 08:11 -0400
            Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-23 10:39 -0500
              Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-23 16:46 -0400
                Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-23 16:05 -0500
                Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-23 17:26 -0400
                Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-23 16:41 -0500
                Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-23 18:48 -0400
                Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-23 18:08 -0500
                Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-23 19:42 -0400
                Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-23 19:03 -0500
                Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-23 20:16 -0400
                Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-23 19:32 -0500
                Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-23 20:55 -0400
                Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-23 20:16 -0500
                Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-23 21:32 -0400
                Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-23 20:46 -0500
                Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-23 22:14 -0400
                Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-23 21:44 -0500
                Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-24 07:16 -0400
                Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-24 08:53 -0500
                Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-24 11:13 -0400
                Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-24 10:57 -0500
                Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-24 12:37 -0400
                Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-24 12:01 -0500
                Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-24 13:29 -0400
                Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-24 12:42 -0500
                Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-24 14:19 -0400
                Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-24 14:22 -0500
                Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-24 15:31 -0400
                Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-24 15:10 -0500
                Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-24 16:24 -0400
                Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-24 15:35 -0500
                Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-24 16:41 -0400
                Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-24 15:59 -0500
                Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-24 17:08 -0400
                Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-24 16:39 -0500
                Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-24 19:02 -0400
                Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-24 18:11 -0500
                Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-24 19:51 -0400
                Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-24 22:24 -0500
                Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-25 07:33 -0400
                Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-26 16:52 -0500
                Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-26 19:18 -0400
                Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-26 19:05 -0500
                Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-26 20:20 -0400
                Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-26 20:13 -0500
                Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-26 22:13 -0400
                Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-26 22:34 -0500
                Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-27 07:52 -0400
                Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-27 11:27 -0500
                Re: Termination Analyzer H is Not Fooled by Pathological Input D Richard Damon <Richard@Damon-Family.org> - 2023-06-27 19:02 -0400
  Re: Termination Analyzer H is Not Fooled by Pathological Input D Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-23 07:53 -0700
    Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-23 11:46 -0500
      Re: Termination Analyzer H is Not Fooled by Pathological Input D Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-23 09:49 -0700
        Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-23 12:19 -0500
          Re: Termination Analyzer H is Not Fooled by Pathological Input D Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-23 10:22 -0700
            Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-23 12:37 -0500
            Re: Termination Analyzer H is Not Fooled by Pathological Input D olcott <polcott2@gmail.com> - 2023-06-23 17:15 -0500

csiph-web