peteolcott

2018-11-05 19:58:19 UTC

Reply

PermalinkThey changed my formulation of a correct simplification of Gödel's 1931 Incompleteness Theorem: ∀F ∈ Formal_Systems (∃G ∈ F (G ↔ ∃Γ ⊆ F ~(Γ ⊢ G)))

into this:

L(F) means the language of formal system F.

∀F (F ∈ Formal_Systems & Q ⊆ F) → ∃G ∈ L(F) (G ↔ ~(F ⊢ G))

Q here is Robinson Arithmetic (the theorem fails for some weaker formal systems)

On 11/5/2018 9:53 AM, exflaso.quodlibet wrote:

Because of above referenced feedback I now paraphrased it to this:

∀F ⊇ Q (∃G ∈ L(F) (G ↔ ~(F ⊢ G)))

As long as any simplification of the original theorem sufficiently captures the essence of the original theorem, any refutation of this simplification applies equally to the original theorem by analogy.

Since the following G is neither Provable nor Refutable in F it forms a Gödel sentence in F.

∃F ⊇ Q (∃G ∈ L(F) (G ↔ ~(F ⊢ G)))

If the above expression evaluates to False it refutes every Gödel sentence in every F ⊇ Q.

Copyright 2018 Pete Olcott