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

Groups > comp.theory > #58314

Re: Simulating halt deciders refute the halting theorem

From Kaz Kylheku <864-117-4973@kylheku.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 20:43 +0000
Organization A noiseless patient Spider
Message-ID <20221009131628.275@kylheku.com> (permalink)
References <tht411$9s6g$1@dont-email.me> <thuib6$gidb$1@dont-email.me> <thv7k3$h9v6$14@dont-email.me>

Cross-posted to 4 groups.

Show all headers | View raw

On 2022-10-09, olcott <polcott2@gmail.com> wrote:
> The halting theorem prevents any serious funding of termination analysis 
> research https://en.wikipedia.org/wiki/Termination_analysis

Even if so, you're not making the best of use of the self-funding you
have; your research goes in circles.

If you were funded, and they found out you just post volumes on
Usenet without going anywhere, it's likely the funding would be
swiftly cut off.

It's not a probelm of money.

-- 
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal

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