Deutsch English Français Italiano |
<uvpj95$1doq2$1@i2pn2.org> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder6.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: Richard Damon <richard@damon-family.org> Newsgroups: sci.logic,comp.theory Subject: Re: Undecidability based on epistemological antinomies Date: Wed, 17 Apr 2024 18:42:45 -0400 Organization: i2pn2 (i2pn.org) Message-ID: <uvpj95$1doq2$1@i2pn2.org> References: <uvp7rs$1p34r$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Wed, 17 Apr 2024 22:42:45 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="1499970"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird In-Reply-To: <uvp7rs$1p34r$1@dont-email.me> Content-Language: en-US X-Spam-Checker-Version: SpamAssassin 4.0.0 Bytes: 1776 Lines: 21 On 4/17/24 3:27 PM, olcott wrote: > ...14 Every epistemological antinomy can likewise be used for a similar > undecidability proof...(Gödel 1931:43-44) > > *I will paraphrase his quote using the simplest terms* > > Every expression X that cannot possibly be true or false proves that > there is something wrong with a formal system that cannot correctly > determine whether X is true or false. > > Nope, that is NOT what he means, and shows your utter misunderstanding of the logic. Your WHOLE logic system is just based on STRAWMWN like this, which show that you idea about "correct reasoning" are not correct, and are not actually based on actual reasoning. This has been pointed out to you, and your continued repeating them just shows your complete stupidity, and that you are nothing but a pitiful hypocritical pathologically liar.