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

Groups > comp.theory > #53445

Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ]

Newsgroups comp.theory
Date 2022-07-05 16:21 -0700
References (16 earlier) <JZGdnTDV77xthl7_nZ2dnUU7_8xh4p2d@giganews.com> <a00e06f5-c295-40e1-92b1-3080eed69479n@googlegroups.com> <SYWdnQoA9L5I717_nZ2dnUU7_83NnZ2d@giganews.com> <811d7421-acdc-4586-a027-15f5faf7ee3fn@googlegroups.com> <f8ednbiyxKkBDFn_nZ2dnUU7_83NnZ2d@giganews.com>
Message-ID <45f4edee-967a-4d82-bf82-e08ed3c022een@googlegroups.com> (permalink)
Subject Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ]
From "dklei...@gmail.com" <dkleinecke@gmail.com>

Show all headers | View raw

On Tuesday, July 5, 2022 at 12:31:47 PM UTC-7, olcott wrote:
> On 7/5/2022 1:50 PM, dklei...@gmail.com wrote: 
> > 
> > But if you do want to use the Curry-Howard correspondence as a 
> > proof method you must either reference the formal x86 language 
> > formulation or yourself supply such a formal language description. 
> >
> I already provided this: 
> x86 Instruction Set Reference 
> https://c9x.me/x86/
.>
We have been here before. A list of op-codes is not a formal language
description. 
>
> > Your task would be much easier were you to use C as the formal 
> > language. And much easier to follow.
>
>> If we use C as the formal language then we have to translate it into its 
> corresponding directed graph of control flow ourselves or the computer 
> will not be able to process it. 
> 
You don't need to compile. The readers whom you want to convince can
read and follow C. That's the level mathematics is done at. 
>
> I use C/x86 together so the human can examine the C and the machine can 
> examine the machine code and the human can see the bijection between the 
> C and the machine code as assembly language generated from the C.
.>
Nobody cares about that "bijection" and messing with it wastes everybody's
time.

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