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

Groups > comp.theory > #58266

Re: Simulating halt deciders refute the halting theorem

From Muttley@dastardlyhq.com
Newsgroups comp.theory, comp.lang.c, comp.lang.c++
Subject Re: Simulating halt deciders refute the halting theorem
Date 2022-10-09 09:23 +0000
Organization Aioe.org NNTP Server
Message-ID <thu3tn$i15$1@gioia.aioe.org> (permalink)
References <tht411$9s6g$1@dont-email.me>

Cross-posted to 3 groups.

Show all headers | View raw

On Sat, 8 Oct 2022 19:18:40 -0500
olcott <polcott2@gmail.com> wrote:
>Once one accepts the notion of a simulating halt decider that continues 
>to correctly simulate its input until it correctly determines that the 

Oh, its you again. Haven't you found another esoteric hobby horse to bore
everyone with by now?

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

Thread

Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-08 19:18 -0500
  Re: Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-08 19:29 -0500
  Re: Simulating halt deciders refute the halting theorem Richard Damon <Richard@Damon-Family.org> - 2022-10-08 20:49 -0400
    Re: Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-08 20:22 -0500
      Re: Simulating halt deciders refute the halting theorem Richard Damon <Richard@Damon-Family.org> - 2022-10-08 21:43 -0400
        Re: Simulating halt deciders refute the halting theorem olcott <none-ya@beez-waxes.com> - 2022-10-08 21:00 -0500
          Re: Simulating halt deciders refute the halting theorem Richard Damon <Richard@Damon-Family.org> - 2022-10-08 22:44 -0400
            Re: Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-08 22:31 -0500
              Re: Simulating halt deciders refute the halting theorem Richard Damon <Richard@Damon-Family.org> - 2022-10-09 07:25 -0400
                Re: Simulating halt deciders refute the halting theorem olcott <none-ya@beez-waxes.com> - 2022-10-09 09:32 -0500
                Re: Simulating halt deciders refute the halting theorem Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-09 16:40 +0100
                Re: Simulating halt deciders refute the halting theorem olcott <none-ya@beez-waxes.com> - 2022-10-09 10:48 -0500
                Re: Simulating halt deciders refute the halting theorem Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-09 17:25 +0100
                Re: Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-09 11:40 -0500
                Re: Simulating halt deciders refute the halting theorem Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-09 17:43 +0100
                Re: Simulating halt deciders refute the halting theorem Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-09 17:39 +0100
                Re: Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-09 11:46 -0500
                Re: Simulating halt deciders refute the halting theorem Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-09 17:49 +0100
                Re: Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-09 12:00 -0500
                Re: Simulating halt deciders refute the halting theorem Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-09 18:10 +0100
                Re: Simulating halt deciders refute the halting theorem olcott <none-ya@beez-waxes.com> - 2022-10-09 12:14 -0500
                Re: Simulating halt deciders refute the halting theorem Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-09 18:18 +0100
                Re: Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-09 12:22 -0500
                Re: Simulating halt deciders refute the halting theorem Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-09 18:30 +0100
                Re: Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-09 12:48 -0500
                Re: Simulating halt deciders refute the halting theorem Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-09 18:51 +0100
                Re: Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-09 12:57 -0500
                Re: Simulating halt deciders refute the halting theorem Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-09 19:07 +0100
                Re: Simulating halt deciders refute the halting theorem olcott <none-ya@beez-waxes.com> - 2022-10-09 13:10 -0500
                Re: Simulating halt deciders refute the halting theorem Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-09 19:12 +0100
                Re: Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-09 13:18 -0500
                Re: Simulating halt deciders refute the halting theorem Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-09 19:23 +0100
                Re: Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-09 13:28 -0500
                Re: Simulating halt deciders refute the halting theorem Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-09 19:31 +0100
                Re: Simulating halt deciders refute the halting theorem olcott <none-ya@beez-waxes.com> - 2022-10-09 13:40 -0500
                Re: Simulating halt deciders refute the halting theorem Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-09 19:44 +0100
                Re: Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-09 14:03 -0500
                Re: Simulating halt deciders refute the halting theorem Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-09 20:06 +0100
                Re: Simulating halt deciders refute the halting theorem Richard Damon <Richard@Damon-Family.org> - 2022-10-09 14:39 -0400
                Re: Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-09 13:51 -0500
                Re: Simulating halt deciders refute the halting theorem Richard Damon <Richard@Damon-Family.org> - 2022-10-09 15:03 -0400
                Re: Simulating halt deciders refute the halting theorem "Fred. Zwarts" <F.Zwarts@KVI.nl> - 2022-10-10 10:25 +0200
                Re: Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-10 10:37 -0500
                Re: Simulating halt deciders refute the halting theorem Richard Damon <Richard@Damon-Family.org> - 2022-10-10 18:57 -0400
                Re: Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-09 10:41 -0500
                Re: Simulating halt deciders refute the halting theorem Richard Damon <Richard@Damon-Family.org> - 2022-10-09 14:52 -0400
                Re: Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-09 14:09 -0500
                Re: Simulating halt deciders refute the halting theorem Richard Damon <Richard@Damon-Family.org> - 2022-10-09 15:23 -0400
                Re: Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-09 14:33 -0500
                Re: Simulating halt deciders refute the halting theorem Richard Damon <Richard@Damon-Family.org> - 2022-10-09 15:38 -0400
                Re: Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-09 14:49 -0500
                Re: Simulating halt deciders refute the halting theorem Richard Damon <Richard@Damon-Family.org> - 2022-10-09 20:53 -0400
        Re: Simulating halt deciders refute the halting theorem Mikko <mikko.levanto@iki.fi> - 2022-10-09 14:13 +0300
          Re: Simulating halt deciders refute the halting theorem Richard Damon <Richard@Damon-Family.org> - 2022-10-09 07:26 -0400
  Re: Simulating halt deciders refute the halting theorem Muttley@dastardlyhq.com - 2022-10-09 09:23 +0000
  Re: Simulating halt deciders refute the halting theorem Bonita Montero <Bonita.Montero@gmail.com> - 2022-10-09 15:29 +0200
    Re: Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-09 14:32 -0500
      Re: Simulating halt deciders refute the halting theorem Richard Damon <Richard@Damon-Family.org> - 2022-10-09 15:47 -0400
        Re: Simulating halt deciders refute the halting theorem olcott <none-ya@beez-waxes.com> - 2022-10-09 15:17 -0500
          Re: Simulating halt deciders refute the halting theorem Richard Damon <Richard@Damon-Family.org> - 2022-10-09 16:32 -0400
        Re: Simulating halt deciders refute the halting theorem, Tarski and Gödel olcott <polcott2@gmail.com> - 2022-10-10 13:42 -0500
          Re: Simulating halt deciders refute the halting theorem, Tarski and Gödel Richard Damon <Richard@Damon-Family.org> - 2022-10-10 18:47 -0400
            Re: Simulating halt deciders refute the halting theorem, Tarski and Gödel olcott <polcott2@gmail.com> - 2022-10-10 18:25 -0500
              Re: Simulating halt deciders refute the halting theorem, Tarski and Gödel Richard Damon <Richard@Damon-Family.org> - 2022-10-10 19:45 -0400
                Re: Simulating halt deciders refute the halting theorem, Tarski and Gödel olcott <none-ya@beez-waxes.com> - 2022-10-10 19:06 -0500
                Re: Simulating halt deciders refute the halting theorem, Tarski and Gödel Richard Damon <Richard@Damon-Family.org> - 2022-10-10 20:16 -0400
                Re: Simulating halt deciders refute the halting theorem, Tarski and Gödel olcott <polcott2@gmail.com> - 2022-10-10 21:30 -0500
                Re: Simulating halt deciders refute the halting theorem, Tarski and Gödel Richard Damon <Richard@Damon-Family.org> - 2022-10-10 23:00 -0400
                Re: Simulating halt deciders refute the halting theorem, Tarski and Gödel olcott <polcott2@gmail.com> - 2022-10-10 22:18 -0500
                Re: Simulating halt deciders refute the halting theorem, Tarski and Gödel Richard Damon <Richard@Damon-Family.org> - 2022-10-10 23:34 -0400
                Re: Simulating halt deciders refute the halting theorem, Tarski and Gödel olcott <polcott2@gmail.com> - 2022-10-10 21:24 -0500
                Re: Simulating halt deciders refute the halting theorem, Tarski and Gödel Richard Damon <Richard@Damon-Family.org> - 2022-10-10 22:44 -0400
                Re: Simulating halt deciders refute the halting theorem, Tarski and Gödel olcott <polcott2@gmail.com> - 2022-10-10 21:59 -0500
                Re: Simulating halt deciders refute the halting theorem, Tarski and Gödel Richard Damon <Richard@Damon-Family.org> - 2022-10-10 23:14 -0400
      Re: Simulating halt deciders refute the halting theorem Kaz Kylheku <864-117-4973@kylheku.com> - 2022-10-09 20:43 +0000
        Re: Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-10 12:05 -0500
          Re: Simulating halt deciders refute the halting theorem Richard Damon <Richard@Damon-Family.org> - 2022-10-10 19:06 -0400

csiph-web