Sujet : Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 13. Nov 2024, 23:59:51
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vh3b17$2e37l$3@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
User-Agent : Mozilla Thunderbird
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-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer