Sujet : Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theoryDate : 13. Nov 2024, 09:38:40
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <6d4aa47c0d4477e38c69f630e2730738b5a84a69@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
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.
-- Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:It is not guaranteed that n+1 exists for every n.
…