Path: csiph.com!eternal-september.org!feeder.eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail From: Keith Thompson Newsgroups: comp.ai.philosophy,comp.lang.prolog,comp.lang.lisp,comp.lang.c++ Subject: Re: Provably unprovable eliminates incompleteness Date: Mon, 09 Sep 2019 13:30:49 -0700 Organization: None to speak of Lines: 16 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Injection-Info: reader02.eternal-september.org; posting-host="e3f0ce09628fc05ecaa55b8e2409bd69"; logging-data="18341"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18chHGbRPBzQvU3GB0zdfD5" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux) Cancel-Lock: sha1:SWyxFXfuJKmdHdTb+EpoTBwrJtE= sha1:ddSDft6zj9SUxYRdTQE82WbIPF0= Xref: csiph.com comp.ai.philosophy:19090 comp.lang.prolog:9614 comp.lang.lisp:33256 comp.lang.c++:68287 peteolcott writes: > "This sentence is unprovable" can be proven to be unprovable > on the basis that its satisfaction derives a contradiction. [...] This has nothing to do with Prolog, Lisp, or C++, and probably nothing to do with comp.ai.philosophy. Please modify the "Newsgroups:" header when posting followups -- or just don't post. See comp.theory for the background of this discussion (it's probably more than 90% of the content of that newsgroup). -- Keith Thompson (The_Other_Keith) kst-u@mib.org Will write code for food. void Void(void) { Void(); } /* The recursive call of the void */