Re: Simulating halt deciders refute the halting theorem

From	olcott <polcott2@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-10 12:05 -0500
Organization	A noiseless patient Spider
Message-ID	<ti1jcm$ror2$1@dont-email.me> (permalink)
References	<tht411$9s6g$1@dont-email.me> <thuib6$gidb$1@dont-email.me> <thv7k3$h9v6$14@dont-email.me> <20221009131628.275@kylheku.com>

Cross-posted to 4 groups.

Show all headers | View raw

On 10/9/2022 3:43 PM, Kaz Kylheku wrote:
> 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.
> 

Once one accepts the notion of a simulating halt decider that continues 
to correctly simulate its input until it correctly determines that this 
simulated input would never stop running then the conventional halting 
problem proofs are refuted because their "impossible" input becomes 
correctly construed as specifying recursive simulation (same idea as 
infinite recursion).

An extended conversation with the former editor in chief of the 
Communications of the ACM: Moshe Y. Vardi indicated that I must be able 
to apply my work to the diagonal argument so I just did that.

*Rebutting the Sipser Halting Problem Proof*
https://www.researchgate.net/publication/364302709_Rebutting_the_Sipser_Halting_Problem_Proof 

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

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