Re: Getting Around the Halting Problem

From	Kaz Kylheku <793-849-0957@kylheku.com>
Newsgroups	comp.theory, sci.logic
Subject	Re: Getting Around the Halting Problem
Date	2020-08-20 17:34 +0000
Organization	Aioe.org NNTP Server
Message-ID	<20200820101012.181@kylheku.com> (permalink)
References	<rhknbg$ctc$1@dont-email.me>

Cross-posted to 2 groups.

Show all headers | View raw

On 2020-08-20, Newberry <newberryxy@gmail.com> wrote:
> Let H(P, n) be a program with two possible outcomes: TRUE and FALSE. The 
> parameter P is a program and n is its input. Suppose that H(P, n) = TRUE 
> if and only if P halts on n. Suppose further that if H(P, n) = FALSE 
> then P does not halt on n, and suppose that H is sound. Let furthermore 
> P* be a program with itself as a parameter. The claim is that there 
> exists a program H such that H(H, H*) = FALSE, that is, H proves that it 
> does not prove that H* halts.
>
> https://www.researchgate.net/publication/316562253_Getting_around_the_Halting_Problem

I don't understand how you can make statements like

  "Last but not least note that H() is not a determiner. There are
  situations when it will loop indefinitely. Yet it can effectively
  determine if any given program halts on a given input."

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

Thread

Getting Around the Halting Problem Newberry <newberryxy@gmail.com> - 2020-08-19 19:32 -0700
  Re: Getting Around the Halting Problem R Kym Horsell <kym@kymhorsell.com> - 2020-08-20 02:42 +0000
  Re: Getting Around the Halting Problem Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-20 04:01 +0100
    Re: Getting Around the Halting Problem Newberry <newberryxy@gmail.com> - 2020-08-19 22:26 -0700
    Re: Getting Around the Halting Problem Newberry <newberryxy@gmail.com> - 2020-08-19 22:28 -0700
      Re: Getting Around the Halting Problem Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-20 12:56 +0100
  Re: Getting Around the Halting Problem olcott <NoOne@NoWhere.com> - 2020-08-19 22:04 -0500
  Re: Getting Around the Halting Problem Kaz Kylheku <793-849-0957@kylheku.com> - 2020-08-20 17:07 +0000
    Re: Getting Around the Halting Problem (abstract versus concrete) olcott <NoOne@NoWhere.com> - 2020-08-20 12:35 -0500
  Re: Getting Around the Halting Problem Kaz Kylheku <793-849-0957@kylheku.com> - 2020-08-20 17:34 +0000
    Re: Getting Around the Halting Problem Newberry <newberryxy@gmail.com> - 2020-08-20 12:08 -0700
      Re: Getting Around the Halting Problem Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-20 20:18 +0100
      Re: Getting Around the Halting Problem Kaz Kylheku <793-849-0957@kylheku.com> - 2020-08-20 19:18 +0000
        Re: Getting Around the Halting Problem olcott <NoOne@NoWhere.com> - 2020-08-20 14:30 -0500
        Re: Getting Around the Halting Problem Newberry <newberryxy@gmail.com> - 2020-08-20 12:46 -0700
        Re: Getting Around the Halting Problem R Kym Horsell <kym@kymhorsell.com> - 2020-08-20 23:54 +0000
      Re: Getting Around the Halting Problem R Kym Horsell <kym@kymhorsell.com> - 2020-08-20 23:43 +0000
      Re: Getting Around the Halting Problem Kaz Kylheku <793-849-0957@kylheku.com> - 2020-08-21 17:10 +0000
        Re: Getting Around the Halting Problem Newberry <newberryxy@gmail.com> - 2020-08-21 18:12 -0700
          Re: Getting Around the Halting Problem Jeff Barnett <jbb@notatt.com> - 2020-08-21 22:24 -0600
            Re: Getting Around the Halting Problem olcott <NoOne@NoWhere.com> - 2020-08-22 00:29 -0500
            Re: Getting Around the Halting Problem Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-22 11:14 +0100
              Re: Getting Around the Halting Problem Jeff Barnett <jbb@notatt.com> - 2020-08-22 12:05 -0600
    Re: Getting Around the Halting Problem Newberry <newberryxy@gmail.com> - 2020-08-23 10:15 -0700
      Re: Getting Around the Halting Problem Peter <peterxpercival@hotmail.com> - 2020-08-23 18:26 +0100
        Re: Getting Around the Halting Problem Newberry <newberryxy@gmail.com> - 2020-08-23 11:29 -0700
      Re: Getting Around the Halting Problem Kaz Kylheku <793-849-0957@kylheku.com> - 2020-08-24 01:06 +0000
        Re: Getting Around the Halting Problem Newberry <newberryxy@gmail.com> - 2020-08-23 21:26 -0700
  Re: Getting Around the Halting Problem Newberry <newberryxy@gmail.com> - 2020-08-22 20:39 -0700
    Re: Getting Around the Halting Problem R Kym Horsell <kym@kymhorsell.com> - 2020-08-23 07:44 +0000

csiph-web