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

Groups > comp.lang.c > #161870

Re: General Undecidable Axiom(2021 WIJ)

From Ben Bacarisse <ben.usenet@bsb.me.uk>
Newsgroups comp.lang.c
Subject Re: General Undecidable Axiom(2021 WIJ)
Date 2021-07-11 10:05 +0100
Organization A noiseless patient Spider
Message-ID <87eec5xltu.fsf@bsb.me.uk> (permalink)
References <dcb3ec62-d6a3-464f-ba13-1beb1861128dn@googlegroups.com> <87pmvpy4fd.fsf@bsb.me.uk> <5de26e09-61fa-46ec-890b-fe8b389345ffn@googlegroups.com>

Show all headers | View raw

wij <wyniijj@gmail.com> writes:

> On Sunday, 11 July 2021 at 10:23:28 UTC+8, Ben Bacarisse wrote:
>> wij <wyn...@gmail.com> writes: 
>> 
>> > Since the conventional HP only mentions a specific halting problem... 
>> 
>> Why did you post this here? You should consider topicality if you want 
>> to be a good netizen. 
>> 
>> -- 
>> Ben.

It's better to trim sigs.  Mine's short, but even so...

> The axiom GUA is the computation theory EVERY C programmer should
> know.

The list of things every C programmer should know that are not topical
on comp.lang.c is almost endless.  Anyway, I won't go on about it.  Like
PO you don't want to stay on-topic so all I can do is fix my side of the
bargain.

-- 
Ben.

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

Thread

General Undecidable Axiom(2021 WIJ) wij <wyniijj@gmail.com> - 2021-07-10 10:38 -0700
  Re: General Undecidable Axiom(2021 WIJ) wij <wyniijj@gmail.com> - 2021-07-10 18:52 -0700
  Re: General Undecidable Axiom(2021 WIJ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-11 03:23 +0100
    Re: General Undecidable Axiom(2021 WIJ) wij <wyniijj@gmail.com> - 2021-07-10 19:34 -0700
      Re: General Undecidable Axiom(2021 WIJ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-11 10:05 +0100
        Re: General Undecidable Axiom(2021 WIJ) wij <wyniijj@gmail.com> - 2021-07-11 07:26 -0700
    Re: General Undecidable Axiom(2021 WIJ) Real Troll <real.troll@trolls.com> - 2021-07-11 02:40 +0000
      Re: General Undecidable Axiom(2021 WIJ) wij <wyniijj@gmail.com> - 2021-07-10 20:06 -0700

csiph-web