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

Groups > comp.theory > #36505

Re: HP undecidability is not an axiom

Show all headers | View raw

On Sat, 17 Jul 2021 12:00:54 -0000 (UTC)
Alan Mackenzie <acm@muc.de> wrote:

> Mr Flibble <flibble@reddwarf.jmc> wrote:
> > The halting problem being undecidable is NOT a fucking axiom;  
> 
> No, it's not any other sort of axiom either.  It's a theorem.
> 
> > you can't go about saying:  
> 
> > "Since the halting problem is known to be undecidable blah blah
> > fucking blah" in your fucking proofs.  
> 
> You can, in any sort of proof, not just in fucking proofs.  It's a
> proven theorem.

Prove it.

> 
> > Mr Flibble is very cross at all the laziness in this area of
> > "research".  
> 
> I note how you put "research" into quote marks, and agree with that
> totally.  The question of the halting problem was completely settled
> in the 20th century.

Prove it.

/Flibble

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

Thread

HP undecidability is not an axiom Mr Flibble <flibble@reddwarf.jmc> - 2021-07-16 22:33 +0100
  Re: HP undecidability is not an axiom olcott <NoOne@NoWhere.com> - 2021-07-16 17:02 -0500
  Re: HP undecidability is not an axiom Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-16 23:21 +0100
    Re: HP undecidability is not an axiom Jeff Barnett <jbb@notatt.com> - 2021-07-16 16:48 -0600
      Re: HP undecidability is not an axiom Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-17 00:11 +0100
        Re: HP undecidability is not an axiom Jeff Barnett <jbb@notatt.com> - 2021-07-16 23:07 -0600
          Re: HP undecidability is not an axiom Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-17 21:15 +0100
            Re: HP undecidability is not an axiom Jeff Barnett <jbb@notatt.com> - 2021-07-17 17:30 -0600
  Re: HP undecidability is not an axiom Alan Mackenzie <acm@muc.de> - 2021-07-17 12:00 +0000
    Re: HP undecidability is not an axiom Mr Flibble <flibble@reddwarf.jmc> - 2021-07-17 13:03 +0100
      Re: HP undecidability is not an axiom Alan Mackenzie <acm@muc.de> - 2021-07-17 12:30 +0000

csiph-web