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

Groups > comp.theory > #53447

Re: Halting problem proofs refuted on the basis of software engineering

Subject Re: Halting problem proofs refuted on the basis of software engineering
Newsgroups comp.theory, sci.logic, sci.math, comp.software-eng
References (16 earlier) <KrednSkPVNrYblz_nZ2dnUU7_81g4p2d@giganews.com> <ce6e3d21-842e-40a7-8c8c-0e9645a6123an@googlegroups.com> <e_ydnYESOqx0ql__nZ2dnUU7_8xh4p2d@giganews.com> <ta0u6j$3lquh$1@dont-email.me> <r7CdnV4ZIPICqFn_nZ2dnUU7_8zNnZ2d@giganews.com>
From Richard Damon <Richard@Damon-Family.org>
Message-ID <fR3xK.19680$BZ1.11971@fx03.iad> (permalink)
Organization Forte - www.forteinc.com
Date 2022-07-05 19:31 -0400

Cross-posted to 4 groups.

Show all headers | View raw

On 7/5/22 8:59 AM, olcott wrote:
> On 7/5/2022 3:53 AM, Mikko wrote:
>> On 2022-07-04 00:44:23 +0000, olcott said:
>>
>>> You can't keep ignoring my paper and claiming that I have not proved 
>>> my point.
>>
>> In order to make your proof publishable, you should decrate every 
>> sentence
>> in the proof with the numbers of that sentence or those two sentences 
>> from
>> which the sentence is derived with truth preserving rules.
>>
>> Mikko
>>
>>
> 
> The proof is (Curry/Howard Correspondence) between programs and proofs, 
> thus H has an initial state performs a sequence of state transitions and 
> ends in a final state rejecting its input as non-halting.
> 
> *Halting problem proofs refuted on the basis of software engineering*
> https://www.researchgate.net/publication/361701808_Halting_problem_proofs_refuted_on_the_basis_of_software_engineering 
> 
> 

Curry-Hooward would say that P(P) is proved to be Halting (if H(P,P) 
returns 0), so H(P,P) returning 0 can't be the correct answer for a 
Halting decider.

If you want to try to claim that the input to H(P,P) doesn't represent 
P(P), then your P is written incorrectly, so your "proof" is still invalid.

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

Thread

Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-02 10:34 -0500
  Re: Halting problem proofs refuted on the basis of software engineering "dklei...@gmail.com" <dkleinecke@gmail.com> - 2022-07-02 09:20 -0700
    Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-02 11:32 -0500
  Re: Halting problem proofs refuted on the basis of software engineering Mr Flibble <flibble@reddwarf.jmc> - 2022-07-02 17:26 +0100
    Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-02 11:42 -0500
      Re: Halting problem proofs refuted on the basis of software engineering Mr Flibble <flibble@reddwarf.jmc> - 2022-07-02 18:10 +0100
        Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-02 12:15 -0500
          Re: Halting problem proofs refuted on the basis of software engineering Mr Flibble <flibble@reddwarf.jmc> - 2022-07-02 18:26 +0100
            Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-02 12:30 -0500
              Re: Halting problem proofs refuted on the basis of software engineering Mr Flibble <flibble@reddwarf.jmc> - 2022-07-02 19:28 +0100
                Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-02 13:41 -0500
                Re: Halting problem proofs refuted on the basis of software engineering Mr Flibble <flibble@reddwarf.jmc> - 2022-07-02 19:44 +0100
                Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-02 16:26 -0500
                Re: Halting problem proofs refuted on the basis of software engineering Mr Flibble <flibble@reddwarf.jmc> - 2022-07-02 23:05 +0100
                Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-02 17:13 -0500
                Re: Halting problem proofs refuted on the basis of software engineering Mr Flibble <flibble@reddwarf.jmc> - 2022-07-03 15:27 +0100
                Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-03 09:57 -0500
                Re: Halting problem proofs refuted on the basis of software engineering Mr Flibble <flibble@reddwarf.jmc> - 2022-07-03 16:21 +0100
                Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-03 10:30 -0500
                Re: Halting problem proofs refuted on the basis of software engineering Mr Flibble <flibble@reddwarf.jmc> - 2022-07-03 16:45 +0100
                Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-03 10:48 -0500
                Re: Halting problem proofs refuted on the basis of software engineering Mr Flibble <flibble@reddwarf.jmc> - 2022-07-03 16:51 +0100
                Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-03 11:05 -0500
                Re: Halting problem proofs refuted on the basis of software engineering Mr Flibble <flibble@reddwarf.jmc> - 2022-07-03 17:07 +0100
                Re: Halting problem proofs refuted on the basis of software engineering "dklei...@gmail.com" <dkleinecke@gmail.com> - 2022-07-03 12:35 -0700
                Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-03 14:51 -0500
                Re: Halting problem proofs refuted on the basis of software engineering Richard Damon <Richard@Damon-Family.org> - 2022-07-03 16:21 -0400
                Re: Halting problem proofs refuted on the basis of software engineering "dklei...@gmail.com" <dkleinecke@gmail.com> - 2022-07-03 16:10 -0700
                Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-03 19:44 -0500
                Re: Halting problem proofs refuted on the basis of software engineering Richard Damon <Richard@Damon-Family.org> - 2022-07-04 07:45 -0400
                Re: Halting problem proofs refuted on the basis of software engineering "dklei...@gmail.com" <dkleinecke@gmail.com> - 2022-07-04 09:36 -0700
                Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-04 11:57 -0500
                Re: Halting problem proofs refuted on the basis of software engineering "dklei...@gmail.com" <dkleinecke@gmail.com> - 2022-07-04 11:42 -0700
                Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-04 14:17 -0500
                Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-04 14:21 -0500
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] olcott <NoOne@NoWhere.com> - 2022-07-04 18:08 -0500
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] "dklei...@gmail.com" <dkleinecke@gmail.com> - 2022-07-05 11:50 -0700
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] olcott <NoOne@NoWhere.com> - 2022-07-05 14:31 -0500
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] "dklei...@gmail.com" <dkleinecke@gmail.com> - 2022-07-05 16:21 -0700
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] olcott <NoOne@NoWhere.com> - 2022-07-05 18:37 -0500
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] Richard Damon <Richard@Damon-Family.org> - 2022-07-05 22:18 -0400
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] André G. Isaak <agisaak@gm.invalid> - 2022-07-05 14:24 -0600
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] olcott <NoOne@NoWhere.com> - 2022-07-05 15:42 -0500
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] Richard Damon <Richard@Damon-Family.org> - 2022-07-05 19:29 -0400
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-07-06 00:53 +0100
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] olcott <NoOne@NoWhere.com> - 2022-07-05 19:01 -0500
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] "dklei...@gmail.com" <dkleinecke@gmail.com> - 2022-07-05 21:00 -0700
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] olcott <NoOne@NoWhere.com> - 2022-07-05 23:02 -0500
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] "dklei...@gmail.com" <dkleinecke@gmail.com> - 2022-07-06 13:58 -0700
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] olcott <NoOne@NoWhere.com> - 2022-07-06 16:13 -0500
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] "dklei...@gmail.com" <dkleinecke@gmail.com> - 2022-07-07 12:19 -0700
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] olcott <NoOne@NoWhere.com> - 2022-07-07 14:39 -0500
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] "dklei...@gmail.com" <dkleinecke@gmail.com> - 2022-07-07 13:54 -0700
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] olcott <NoOne@NoWhere.com> - 2022-07-07 16:08 -0500
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] "dklei...@gmail.com" <dkleinecke@gmail.com> - 2022-07-07 17:36 -0700
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] olcott <NoOne@NoWhere.com> - 2022-07-07 20:34 -0500
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] "dklei...@gmail.com" <dkleinecke@gmail.com> - 2022-07-07 21:35 -0700
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] olcott <NoOne@NoWhere.com> - 2022-07-07 23:48 -0500
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] "dklei...@gmail.com" <dkleinecke@gmail.com> - 2022-07-07 23:09 -0700
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] olcott <NoOne@NoWhere.com> - 2022-07-08 07:54 -0500
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] "dklei...@gmail.com" <dkleinecke@gmail.com> - 2022-07-08 10:59 -0700
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] olcott <NoOne@NoWhere.com> - 2022-07-08 13:02 -0500
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] olcott <NoOne@NoWhere.com> - 2022-07-08 17:48 -0500
                Re: Halting problem proofs refuted on the basis of software engineering [ Irrefutably Correct ] olcott <NoOne@NoWhere.com> - 2022-07-09 08:16 -0500
                Re: Halting problem proofs refuted on the basis of software engineering [ Irrefutably Correct ] "dklei...@gmail.com" <dkleinecke@gmail.com> - 2022-07-09 10:22 -0700
                Re: Halting problem proofs refuted on the basis of software engineering [ Irrefutably Correct ] olcott <NoOne@NoWhere.com> - 2022-07-09 13:40 -0500
                Re: Halting problem proofs refuted on the basis of software engineering [ Irrefutably Correct ] Richard Damon <Richard@Damon-Family.org> - 2022-07-09 15:06 -0400
                Re: Halting problem proofs refuted on the basis of software engineering [ Irrefutably Correct ] Richard Damon <Richard@Damon-Family.org> - 2022-07-09 14:18 -0400
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] Richard Damon <Richard@Damon-Family.org> - 2022-07-07 22:16 -0400
                Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] olcott <NoOne@NoWhere.com> - 2022-07-05 19:50 -0500
                Re: Halting problem proofs refuted on the basis of software engineering Richard Damon <Richard@Damon-Family.org> - 2022-07-04 15:05 -0400
                Re: Halting problem proofs refuted on the basis of software engineering Mikko <mikko.levanto@iki.fi> - 2022-07-05 11:53 +0300
                Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-05 07:59 -0500
                Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-05 08:00 -0500
                Re: Halting problem proofs refuted on the basis of software engineering Richard Damon <Richard@Damon-Family.org> - 2022-07-05 19:31 -0400
                Re: Halting problem proofs refuted on the basis of software engineering Richard Damon <Richard@Damon-Family.org> - 2022-07-03 13:34 -0400
                Re: Halting problem proofs refuted on the basis of software engineering Richard Damon <Richard@Damon-Family.org> - 2022-07-02 19:29 -0400
      Re: Halting problem proofs refuted on the basis of software engineering Richard Damon <Richard@Damon-Family.org> - 2022-07-02 14:42 -0400
  Re: Halting problem proofs refuted on the basis of software engineering Richard Damon <Richard@Damon-Family.org> - 2022-07-02 14:40 -0400
    Re: Halting problem proofs refuted on the basis of software engineering olcott <polcott2@gmail.com> - 2022-07-12 11:34 -0500
      Re: Halting problem proofs refuted on the basis of software engineering Richard Damon <Richard@Damon-Family.org> - 2022-07-12 19:06 -0400
  Re: Halting problem proofs refuted on the basis of software engineering Henrietta Stinkbottom <henri@galabbogosutionallity.net> - 2022-07-02 11:52 -0700
  Re: Halting problem proofs refuted on the basis of software engineering wij <wyniijj2@gmail.com> - 2022-07-12 09:56 -0700
    Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-12 22:15 -0500
      Re: Halting problem proofs refuted on the basis of software engineering Richard Damon <Richard@Damon-Family.org> - 2022-07-13 07:07 -0400
      Re: Halting problem proofs refuted on the basis of software engineering Paul N <gw7rib@aol.com> - 2022-07-13 08:02 -0700
        Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-13 11:07 -0500
          Re: Halting problem proofs refuted on the basis of software engineering Paul N <gw7rib@aol.com> - 2022-07-13 11:03 -0700
            Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-13 14:37 -0500
              Re: Halting problem proofs refuted on the basis of software engineering wij <wyniijj2@gmail.com> - 2022-07-13 13:47 -0700
                Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-13 15:51 -0500
                Re: Halting problem proofs refuted on the basis of software engineering wij <wyniijj2@gmail.com> - 2022-07-13 14:11 -0700
                Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-13 19:10 -0500
                Re: Halting problem proofs refuted on the basis of software engineering Richard Damon <Richard@Damon-Family.org> - 2022-07-13 21:29 -0400
                Re: Halting problem proofs refuted on the basis of software engineering wij <wyniijj2@gmail.com> - 2022-07-15 02:20 -0700
                Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-15 09:26 -0500
                Re: Halting problem proofs refuted on the basis of software engineering wij <wyniijj2@gmail.com> - 2022-07-15 10:25 -0700
                Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-15 12:31 -0500
                Re: Halting problem proofs refuted on the basis of software engineering wij <wyniijj2@gmail.com> - 2022-07-15 11:48 -0700
                Re: Halting problem proofs refuted on the basis of software engineering Richard Damon <Richard@Damon-Family.org> - 2022-07-15 19:25 -0400
              Re: Halting problem proofs refuted on the basis of software engineering Richard Damon <Richard@Damon-Family.org> - 2022-07-13 19:29 -0400
              Re: Halting problem proofs refuted on the basis of software engineering Paul N <gw7rib@aol.com> - 2022-07-14 04:42 -0700
                Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-14 14:56 -0500
                Re: Halting problem proofs refuted on the basis of software engineering Richard Damon <Richard@Damon-Family.org> - 2022-07-14 19:20 -0400
                Re: Halting problem proofs refuted on the basis of software engineering Paul N <gw7rib@aol.com> - 2022-07-15 05:34 -0700
                Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-15 09:35 -0500
                Re: Halting problem proofs refuted on the basis of software engineering Paul N <gw7rib@aol.com> - 2022-07-15 09:17 -0700
                Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-15 11:26 -0500
                Re: Halting problem proofs refuted on the basis of software engineering Paul N <gw7rib@aol.com> - 2022-07-16 04:23 -0700
                Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-16 08:32 -0500
                Re: Halting problem proofs refuted on the basis of software engineering Richard Damon <Richard@Damon-Family.org> - 2022-07-16 10:24 -0400
                Re: Halting problem proofs refuted on the basis of software engineering Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2022-07-16 16:54 +0100
                Re: Halting problem proofs refuted on the basis of software engineering Richard Damon <Richard@Damon-Family.org> - 2022-07-16 12:40 -0400
                Re: Halting problem proofs refuted on the basis of software engineering Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2022-07-16 20:28 +0100
                Re: Halting problem proofs refuted on the basis of software engineering (Mike fails to comprehend) olcott <NoOne@NoWhere.com> - 2022-07-16 15:12 -0500
                Re: Halting problem proofs refuted on the basis of software engineering (Mike fails to comprehend) Richard Damon <Richard@Damon-Family.org> - 2022-07-16 18:05 -0400
                Re: Halting problem proofs refuted on the basis of software engineering (Mike fails to comprehend) Richard Damon <Richard@Damon-Family.org> - 2022-07-16 18:16 -0400
                Re: Halting problem proofs refuted on the basis of software engineering [thanks Mike] olcott <NoOne@NoWhere.com> - 2022-07-17 12:00 -0500
                Re: Halting problem proofs refuted on the basis of software engineering [thanks Mike] Richard Damon <Richard@Damon-Family.org> - 2022-07-17 13:06 -0400
                Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-16 12:43 -0500
                Re: Halting problem proofs refuted on the basis of software engineering Richard Damon <Richard@Damon-Family.org> - 2022-07-16 13:56 -0400
                Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-16 19:18 -0500
                Re: Halting problem proofs refuted on the basis of software engineering Richard Damon <Richard@Damon-Family.org> - 2022-07-16 20:38 -0400
                Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> - 2022-07-16 20:19 -0500
                Re: Halting problem proofs refuted on the basis of software engineering [thanks Mike] olcott <polcott2@gmail.com> - 2022-07-16 21:40 -0500

csiph-web