Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail From: Richard Damon Newsgroups: comp.theory Subject: Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct Date: Wed, 13 Nov 2024 20:09:02 -0500 Organization: i2pn2 (i2pn.org) Message-ID: References: <6d4aa47c0d4477e38c69f630e2730738b5a84a69@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Thu, 14 Nov 2024 01:09:04 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="2350234"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird X-Spam-Checker-Version: SpamAssassin 4.0.0 Content-Language: en-US In-Reply-To: Bytes: 2249 Lines: 16 On 11/13/24 5:59 PM, olcott wrote: > On 11/13/2024 2:38 AM, joes wrote: >> Am Tue, 12 Nov 2024 17:17:20 -0600 schrieb olcott: >> >>> Incomplete(L) ≡  ∃x ∈ Language(L) ((L ⊬ x) ∧ (L ⊬ ¬x)) >>> When the above foundational definition ceases to exist then Gödel's >>> proof cannot prove incompleteness. >> That only defines the term „incomplete”. The non-derivable sentences >> continue to exist. >> > > They exist only as incoherent nonsense. > https://en.wikipedia.org/wiki/Colorless_green_ideas_sleep_furiously > YOUR inability to undetstand the well defined terms says nothing about them, but a lot about you.