Liste des Groupes | Revenir à c theory |
On 11/13/2024 2:38 AM, joes wrote:YOUR inability to undetstand the well defined terms says nothing about them, but a lot about you.Am Tue, 12 Nov 2024 17:17:20 -0600 schrieb olcott:They exist only as incoherent nonsense.
>Incomplete(L) ≡ ∃x ∈ Language(L) ((L ⊬ x) ∧ (L ⊬ ¬x))That only defines the term „incomplete”. The non-derivable sentences
When the above foundational definition ceases to exist then Gödel's
proof cannot prove incompleteness.
continue to exist.
>
https://en.wikipedia.org/wiki/Colorless_green_ideas_sleep_furiously
Les messages affichés proviennent d'usenet.