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

Groups > comp.theory > #58270

Re: Simulating halt deciders refute the halting theorem

From Bonita Montero <Bonita.Montero@gmail.com>
Newsgroups comp.theory, sci.logic, comp.lang.c, comp.lang.c++
Subject Re: Simulating halt deciders refute the halting theorem
Date 2022-10-09 15:29 +0200
Organization A noiseless patient Spider
Message-ID <thuib6$gidb$1@dont-email.me> (permalink)
References <tht411$9s6g$1@dont-email.me>

Cross-posted to 4 groups.

Show all headers | View raw

The halting problem can only be viewed scientifically in fairly
simple programs. With any program of worldly size, that no longer
makes sense. That's why it's all pretty unworldly nonsense for
people who have lost their grip on reality.

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