Path: csiph.com!eternal-september.org!feeder.eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail From: Keith Thompson Newsgroups: comp.lang.c++,comp.ai.philosophy,comp.lang.prolog,comp.lang.lisp Subject: Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Date: Tue, 17 Sep 2019 12:01:49 -0700 Organization: None to speak of Lines: 10 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Injection-Info: reader02.eternal-september.org; posting-host="8286bf823aa591a4447bcf77f162785a"; logging-data="8725"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/BivMUCBtmcUq7aQY12RuF" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux) Cancel-Lock: sha1:YJeY+pMvoNEU1+QWPNHOHHWGXK4= sha1:LMqHdXkpk/lmXA1kU15xuhlpAv0= Xref: csiph.com comp.lang.c++:68481 comp.ai.philosophy:19263 comp.lang.prolog:9685 comp.lang.lisp:33337 Keith Thompson writes: > peteolcott writes: [SNIP] My apologies, I didn't notice which newsgroups this was posted to. -- Keith Thompson (The_Other_Keith) kst-u@mib.org Will write code for food. void Void(void) { Void(); } /* The recursive call of the void */