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

Groups > sci.logic > #249011

Re: Simulating halt deciders defeat the halting theorem

From olcott <polcott2@gmail.com>
Newsgroups sci.logic, comp.theory
Subject Re: Simulating halt deciders defeat the halting theorem
Date 2023-02-15 13:25 -0600
Organization A noiseless patient Spider
Message-ID <tsjbk0$2vg29$1@dont-email.me> (permalink)
References <tsham9$2lvan$1@dont-email.me> <40fc40c0-b1d8-4988-adc8-1cede5551b09n@googlegroups.com>

Cross-posted to 2 groups.

Show all headers | View raw

On 2/15/2023 11:05 AM, Fritz Feldhase wrote:
> On Wednesday, February 15, 2023 at 1:57:50 AM UTC+1, olcott wrote:
> 
>> (a) If simulating halt decider H <bla bla>
> 
> The internal workings of a (claimed) "halt decider" is completely irrelevant in this context.
> 
> It can be shown that a (correct) _halt decider_ can't exist.
> 
> What's the matter with you, idiot? Can't you follow a simple argument?

All of my rebuttals in the last few months are specifically 
counter-factual.

void E(int (*x)())
{
   HH(x, x);
   return;
}

int main()
{
   HH(E,E);
}

When HH is a simulating halt decider anyone with a modicum of technical
competence can see that E correctly simulated by HH cannot possibly
reach its "return" statement and terminate normally, thus never halts.


-- 
Copyright 2023 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

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

Thread

Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-14 18:57 -0600
  Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-14 21:03 -0500
  Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 08:57 -0600
    Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-15 18:57 -0500
  Re: Simulating halt deciders defeat the halting theorem Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-02-15 09:05 -0800
    Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 13:25 -0600
      Re: Simulating halt deciders defeat the halting theorem Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-02-15 12:46 -0800
        Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 15:12 -0600
          Re: Simulating halt deciders defeat the halting theorem Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-02-15 13:26 -0800
            Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 16:12 -0600
              Re: Simulating halt deciders defeat the halting theorem Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-02-15 15:55 -0800
                Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 18:06 -0600
              Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-15 19:22 -0500
          Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-15 19:20 -0500
        Re: Simulating halt deciders defeat the halting theorem Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-02-15 21:32 +0000
          Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 16:13 -0600
          Re: Simulating halt deciders defeat the halting theorem Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-02-15 15:51 -0800
            Re: Simulating halt deciders defeat the halting theorem Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-02-16 01:47 +0000
              Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 20:22 -0600
                Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-15 21:36 -0500
                Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 20:39 -0600
                Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-15 21:55 -0500
                Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 21:15 -0600
                Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-15 22:20 -0500
                Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 21:28 -0600
                Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-15 22:42 -0500
                Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-16 10:59 -0600
                Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-16 18:43 -0500
              Re: Simulating halt deciders defeat the halting theorem Jeff Barnett <jbb@notatt.com> - 2023-02-16 11:36 -0700
                Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-16 13:16 -0600
                Re: Simulating halt deciders defeat the halting theorem Jeff Barnett <jbb@notatt.com> - 2023-02-16 12:26 -0700
                Re: Simulating halt deciders defeat the halting theorem [ irrefutable ] olcott <polcott2@gmail.com> - 2023-02-16 13:41 -0600
                Re: Simulating halt deciders defeat the halting theorem [ irrefutable ] Jeff Barnett <jbb@notatt.com> - 2023-02-16 15:24 -0700
                Re: Simulating halt deciders defeat the halting theorem [ irrefutable ] olcott <polcott2@gmail.com> - 2023-02-16 16:45 -0600
                Re: Simulating halt deciders defeat the halting theorem [ irrefutable ] Richard Damon <Richard@Damon-Family.org> - 2023-02-16 18:48 -0500
                Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-16 18:45 -0500
              Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-24 15:31 -0600
                Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-24 20:11 -0500
          Re: Simulating halt deciders defeat the halting theorem [ Ben will not lie about this ] olcott <polcott2@gmail.com> - 2023-02-16 17:01 -0600
            Re: Simulating halt deciders defeat the halting theorem [ Ben will not lie about this ] Richard Damon <Richard@Damon-Family.org> - 2023-02-16 18:49 -0500
          Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-24 15:31 -0600
            Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-24 20:11 -0500
          Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-24 16:07 -0600
            Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-24 20:11 -0500
          Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-24 16:08 -0600
            Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-24 20:11 -0500
          Re: Simulating halt deciders defeat the halting theorem [-ONLY LIARS WILL DISAGREE-] olcott <polcott2@gmail.com> - 2023-02-26 14:01 -0600
            Re: Simulating halt deciders defeat the halting theorem [-ONLY LIARS WILL DISAGREE-] Richard Damon <Richard@Damon-Family.org> - 2023-02-26 15:15 -0500
              Re: Simulating halt deciders defeat the halting theorem [-ONLY LIARS WILL DISAGREE-] Mr Flibble <flibble@reddwarf.jmc.corp> - 2023-02-26 20:32 +0000

csiph-web