Path: csiph.com!eternal-september.org!feeder.eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <kst-u@mib.org>
Newsgroups: comp.lang.c++,comp.ai.philosophy
Subject: Re: Provably unprovable eliminates incompleteness (cardinality is incorrect)
Date: Thu, 12 Sep 2019 01:22:47 -0700
Organization: None to speak of
Lines: 21
Message-ID: <lnwoedc4a0.fsf@kst-u.example.com>
References: <YdmdnSGX1cpdxdHAnZ2dnUU7-WXNnZ2d@giganews.com> <ql25og$fnm$1@news.albasani.net> <581781046.589713241.741596.DerTopper-web.de@news.eternal-september.org> <T9mdnX__WZbR9OvAnZ2dnUU7-R_NnZ2d@giganews.com> <ql7hnn$52u$1@dont-email.me> <pMqdnQFBSMfCXurAnZ2dnUU7-d3NnZ2d@giganews.com> <qla7sa$d23$1@dont-email.me> <er6dndJ1p8WItOTAnZ2dnUU7-d_NnZ2d@giganews.com> <qlca11$5fp$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: reader02.eternal-september.org; posting-host="9405e1ef90ab11981d179ec051d04224"; logging-data="32695"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18z2uwH44nGbCmjLgsmyyUo"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux)
Cancel-Lock: sha1:uTxS2x1PIzwOXczhlfF0/E3RCNU= sha1:/pcEsQ6PEAtkrKzlilpw0PcUWHY=
Xref: csiph.com comp.lang.c++:68354 comp.ai.philosophy:19122

Reinhardt Behm <rbehm@hushmail.com> writes:
> On 9/12/19 1:04 AM, peteolcott wrote:
[...]
>> Notice that this entire set is countable using the set of positive 
>> integers.
>
> If they are countable you can always list them in the counted order. 
[...]

Reinhardt, let me urge you to take a look at comp.theory before
deciding whether it's worth your time to discuss anything with
Pete Olcott.

Either way, please drop comp.lang.c++ from the newsgroups list,
and consider whether the readers of comp.ai.philosophy want to read
about this.

-- 
Keith Thompson (The_Other_Keith) kst-u@mib.org  <http://www.ghoti.net/~kst>
Will write code for food.
void Void(void) { Void(); } /* The recursive call of the void */