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

Groups > comp.theory > #34245

Re: Halting problem and the possibilities that Diagonalization simply ignores

Subject Re: Halting problem and the possibilities that Diagonalization simply ignores
Newsgroups comp.theory
References <20210525093603.853@kylheku.com> <tPudnfupZcLKpDD9nZ2dnUU7-THNnZ2d@giganews.com>
From Richard Damon <Richard@Damon-Family.org>
Message-ID <__hrI.151932$1%.1087@fx37.iad> (permalink)
Organization Forte - www.forteinc.com
Date 2021-05-25 22:02 -0400

Show all headers | View raw

On 5/25/21 1:52 PM, olcott wrote:
> 
> Conventional analysis utterly ignores the fact that a simulating halt
> decider would possibly abort the simulation of H_Hat before ever needing
> to return any value to H_Hat.

And if H doesn't return the answer to the H_Hat that called it, It
doesn't return the answer to anybody, so failed to be a decider.

Fundamental requirement of a Computation.

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

Thread

Done with Olcott. Kaz Kylheku <563-365-8930@kylheku.com> - 2021-05-25 16:56 +0000
  Re: Done with Olcott. Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2021-05-25 21:06 +0100
    Is this understanding of diagonalization correct? olcott <NoOne@NoWhere.com> - 2021-05-25 15:11 -0500
      Re: Is this understanding of diagonalization correct? olcott <NoOne@NoWhere.com> - 2021-05-25 15:40 -0500
    Is this understanding of diagonalization correct? CORRECTION olcott <NoOne@NoWhere.com> - 2021-05-25 16:18 -0500
    Re: Done with Olcott. Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-05-26 03:33 +0100
      Re: Done with Olcott. olcott <NoOne@NoWhere.com> - 2021-05-25 21:43 -0500
        Re: Done with Olcott. Richard Damon <Richard@Damon-Family.org> - 2021-05-25 23:23 -0400
      Re: Done with Olcott. Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2021-05-26 16:42 +0100
        Re: Done with Olcott. olcott <NoOne@NoWhere.com> - 2021-05-26 11:31 -0500
          Re: Done with Olcott. Daniel Pehoushek <pehoushek1@gmail.com> - 2021-05-26 09:51 -0700
      Re: Done with Olcott. olcott <NoOne@NoWhere.com> - 2021-05-26 11:21 -0500
        Re: Done with Olcott. "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-05-26 13:18 -0700
    Is this understanding of diagonalization correct? (final draft) olcott <NoOne@NoWhere.com> - 2021-05-25 16:25 -0500
  Re: Halting problem and the possibilities that Diagonalization simply ignores Richard Damon <Richard@Damon-Family.org> - 2021-05-25 22:02 -0400
    Re: Halting problem and the possibilities that Diagonalization simply ignores olcott <NoOne@NoWhere.com> - 2021-05-25 21:57 -0500
      Re: Halting problem and the possibilities that Diagonalization simply ignores Richard Damon <Richard@Damon-Family.org> - 2021-05-25 23:13 -0400
        Re: Halting problem and the possibilities that Diagonalization simply ignores olcott <NoOne@NoWhere.com> - 2021-05-25 22:25 -0500
          Re: Halting problem and the possibilities that Diagonalization simply ignores Richard Damon <Richard@Damon-Family.org> - 2021-05-26 08:13 -0400
            Re: Halting problem and the possibilities that Diagonalization simply ignores(Proxy inputs) olcott <NoOne@NoWhere.com> - 2021-05-26 09:18 -0500
              Re: Halting problem and the possibilities that Diagonalization simply ignores(Proxy inputs) Richard Damon <Richard@Damon-Family.org> - 2021-05-26 19:29 -0400
  Re: Eliminating the pathological self-reference error of the halting theorem (V11)(Proxy inputs) olcott <NoOne@NoWhere.com> - 2021-05-25 12:15 -0500
  Halting problem and the possibilities that Diagonalization simply ignores olcott <NoOne@NoWhere.com> - 2021-05-25 12:52 -0500

csiph-web