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,comp.lang.prolog,comp.lang.lisp,comp.theory
Subject: Re: Provably unprovable eliminates incompleteness
Followup-To: comp.theory
Date: Thu, 12 Sep 2019 17:47:05 -0700
Organization: None to speak of
Lines: 15
Message-ID: <lno8zpaupi.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> <qlefjm$300c$1@adenine.netfront.net> <oNudndY5IKcOR-fAnZ2dnUU7-T_NnZ2d@giganews.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: reader02.eternal-september.org; posting-host="1e4fd9bfa3cbbae2bfea90045f05bfe3"; logging-data="27362"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19bm+QMulpQF0OBIAB8uL/U"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux)
Cancel-Lock: sha1:OQsQ67cCfqDzS73LxTUq16RPOfU= sha1:/oHfT0dNbIEXhjTh4tiQMuZ/358=
Xref: csiph.com comp.lang.c++:68374 comp.ai.philosophy:19139 comp.lang.prolog:9630 comp.lang.lisp:33282 comp.theory:19855

peteolcott <Here@Home> writes:
[SNIP]

Pete, will you please consider *not* posting this to comp.lang.c++
and other newsgroups where it's off-topic?  You've already taken
over comp.theory, and anyone who's interested can follow you there.
(I've cross-posted and redirected followups to comp.theory.)

Note to other readers: This is my first *and last* attempt to ask
Pete not to post to off-topic newsgroups.

-- 
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 */