Re: ZFC solution to incorrect questions: reject them --Gödel--

Liste des GroupesRevenir à s logic 
Sujet : Re: ZFC solution to incorrect questions: reject them --Gödel--
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logic
Date : 13. Mar 2024, 04:51:26
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <usr4be$1mk0g$3@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9
User-Agent : Mozilla Thunderbird
On 3/12/24 4:14 PM, olcott wrote:
On 3/12/2024 6:00 PM, Richard Damon wrote:
On 3/12/24 2:44 PM, olcott wrote:
On 3/12/2024 4:31 PM, Richard Damon wrote:
On 3/12/24 1:38 PM, olcott wrote:
On 3/12/2024 3:31 PM, immibis wrote:
On 12/03/24 20:02, olcott wrote:
On 3/12/2024 1:31 PM, immibis wrote:
On 12/03/24 19:12, olcott wrote:
∀ H ∈ Turing_Machine_Deciders
∃ TMD ∈ Turing_Machine_Descriptions  |
Predicted_Behavior(H, TMD) != Actual_Behavior(TMD)
>
There is some input TMD to every H such that
Predicted_Behavior(H, TMD) != Actual_Behavior(TMD)
>
And it can be a different TMD to each H.
>
When we disallow decider/input pairs that are incorrect
questions where both YES and NO are the wrong answer
>
Once we understand that either YES or NO is the right answer, the whole rebuttal is tossed out as invalid and incorrect.
>
>
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn   // Ĥ applied to ⟨Ĥ⟩ does not halt
BOTH YES AND NO ARE THE WRONG ANSWER FOR EVERY Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩
>
>
Once we understand that either YES or NO is the right answer, the whole rebuttal is tossed out as invalid and incorrect.
>
Does the barber that shaves everyone that does not shave
themselves shave himself? is rejected as an incorrect question.
>
The barber does not exist.
>
Russell's paradox did not allow this answer within Naive set theory.
>
Naive set theory says that for every predicate P, the set {x | P(x)} exists. This axiom was a mistake. This axiom is not in ZFC.
>
In Turing machines, for every non-empty finite set of alphabet symbols Γ, every b∈Γ, every Σ⊆Γ, every non-empty finite set of states Q, every q0∈Q, every F⊆Q, and every δ:(Q∖F)×Γ↛Q×Γ×{L,R}, ⟨Q,Γ,b,Σ,δ,q0,F⟩ is a Turing machine. Do you think this is a mistake? Would you remove this axiom from your version of Turing machines?
>
(Following the definition used on Wikipedia: https://en.wikipedia.org/wiki/Turing_machine#Formal_definition)
>
The following is true statement:
>
∀ Barber ∈ People. ¬(∀ Person ∈ People. Shaves(Barber, Person) ⇔ ¬Shaves(Person, Person))
>
The following is a true statement:
>
¬∃ Barber ∈ People. (∀ Person ∈ People. Shaves(Barber, Person) ⇔ ¬Shaves(Person, Person))
>
>
That might be correct I did not check it over and over
again and again to make sure.
>
The same reasoning seems to rebut Gödel Incompleteness:
...We are therefore confronted with a proposition which
asserts its own unprovability. 15 ... (Gödel 1931:43-44)
¬∃G ∈ F | G := ~(F ⊢ G)
>
Any G in F that asserts its own unprovability in F is
asserting that there is no sequence of inference steps
in F that prove that they themselves do not exist in F.
>
The barber does not exist and the proposition does not exist.
>
>
When we do this exact same thing that ZFC did for self-referential
sets then Gödel's self-referential expressions that assert their
own unprovability in F also cease to exist.
>
>
And you end up with a very weak logic system that can't even have the full properties of the Natuarl Numbers.
>
Natural numbers never really did have the property of provability.
This was something artificially contrived that never really belonged
to them.
>
>
No, Godel showed (or maybe used a previous proof) that you can use the Mathematics of Natural Numbers to test if a proof is valid.
>
You just don't understand it. It really is very related to how Turing Machines work, which can be converted to a mathematical model.
>
There is a field that looks at the comparability of Computations to Logic, so they are all really quite related.
 This is refuted.
...We are therefore confronted with a proposition which
asserts its own unprovability. 15 ...(Gödel 1931:43-44)
Right, seen in the meta-Theory from F.

 based on immblis Russell's Paradox reply
¬∃G ∈ F | G ↔ ~(F ⊢ G)  // is simply false
Then a proof must exist in F that G is True, So G can't be false.
Note, The statement G is NOT a statement about itself being provable, that is only a semantic revealed in the RIGHT meta-theory.

 Any G in F that asserts its own unprovability in F is
asserting that there is no sequence of inference steps
in F that prove that they themselves do not exist in F.
 
No FINITE sequence of inference steps.
Note, the key is that G doesn't assert that, G is a statement about math, that only when interpreted in a meta-theory sees that.
G is actually a statment about the existance of a number that matches a complected and carefully constructed relationship, that is fully computable. The Existance or non-existance of such a number is a pure binary thing, either it WILL or it WON'T.
The complicated relationship deals with a way to encode as a number ANY analyitic statement in F (since all statements are just strings, and strings can be encoded into a number), and a calculation to see if that statement actually is a proof starting with the enumerated truth makers of F, through the valid and allowed logical operatons to the statement of G. A number that satisfies this relation, encodes a proof of G, and any such proof, can always be encoded in to a number.
G is the statement that no such number exist. So, if G is false, then such a number exists, and then in the Meta-Theory, we can decode that number into a proof in F that G must be true.
If this is the case, then F must be inconsistant, and the proof starts with the presumption that we are dealing with a consistant logic system.
But, if G is true, then there can be no such number, and thus from our knowledge in the mete-theory, we know that no proof CAN exist for that fact.
Thus, the only possiblity for this statement, is to be True, but unprovable.
The big part of the theory is showing that such a relationship can be made, and that shows that proof checkers are a computable function.
Given a system, and an enumeration of its basic truths, we can check if a proof present actually proves the result it claims to.

Date Sujet#  Auteur
12 Mar 24 * ZFC solution to incorrect questions: reject them192olcott
12 Mar 24 +* Re: ZFC solution to incorrect questions: reject them188immibis
12 Mar 24 i`* Re: ZFC solution to incorrect questions: reject them --Gödel--187olcott
12 Mar 24 i +* Re: ZFC solution to incorrect questions: reject them --Gödel--162Richard Damon
12 Mar 24 i i`* Re: ZFC solution to incorrect questions: reject them --Gödel--161olcott
12 Mar 24 i i +* Re: ZFC solution to incorrect questions: reject them --Gödel--2immibis
12 Mar 24 i i i`- Re: ZFC solution to incorrect questions: reject them --Gödel--1olcott
12 Mar 24 i i `* Re: ZFC solution to incorrect questions: reject them --Gödel--158Richard Damon
12 Mar 24 i i  `* Re: ZFC solution to incorrect questions: reject them157olcott
13 Mar 24 i i   +* Re: ZFC solution to incorrect questions: reject them2immibis
13 Mar 24 i i   i`- Re: ZFC solution to incorrect questions: reject them1olcott
13 Mar 24 i i   `* Re: ZFC solution to incorrect questions: reject them154Richard Damon
13 Mar 24 i i    `* Re: ZFC solution to incorrect questions: reject them153olcott
13 Mar 24 i i     +* Re: ZFC solution to incorrect questions: reject them140immibis
13 Mar 24 i i     i`* Re: ZFC solution to incorrect questions: reject them139olcott
13 Mar 24 i i     i `* Re: ZFC solution to incorrect questions: reject them138immibis
13 Mar 24 i i     i  `* Re: ZFC solution to incorrect questions: reject them137olcott
13 Mar 24 i i     i   +* Re: ZFC solution to incorrect questions: reject them119immibis
13 Mar 24 i i     i   i`* Re: ZFC solution to incorrect questions: reject them118olcott
13 Mar 24 i i     i   i `* Re: ZFC solution to incorrect questions: reject them117immibis
13 Mar 24 i i     i   i  `* Re: ZFC solution to incorrect questions: reject them116olcott
13 Mar 24 i i     i   i   +* Re: ZFC solution to incorrect questions: reject them112immibis
13 Mar 24 i i     i   i   i`* Re: ZFC solution to incorrect questions: reject them111olcott
13 Mar 24 i i     i   i   i +* Re: ZFC solution to incorrect questions: reject them3immibis
13 Mar 24 i i     i   i   i i`* Re: ZFC solution to incorrect questions: reject them2olcott
13 Mar 24 i i     i   i   i i `- Re: ZFC solution to incorrect questions: reject them1immibis
13 Mar 24 i i     i   i   i `* Re: ZFC solution to incorrect questions: reject them107Richard Damon
13 Mar 24 i i     i   i   i  `* Re: ZFC solution to incorrect questions: reject them106olcott
13 Mar 24 i i     i   i   i   +* Re: ZFC solution to incorrect questions: reject them2Richard Damon
13 Mar 24 i i     i   i   i   i`- Re: ZFC solution to incorrect questions: reject them1olcott
13 Mar 24 i i     i   i   i   `* Re: ZFC solution to incorrect questions: reject them103immibis
13 Mar 24 i i     i   i   i    `* Re: ZFC solution to incorrect questions: reject them102olcott
13 Mar 24 i i     i   i   i     `* Re: ZFC solution to incorrect questions: reject them101Richard Damon
13 Mar 24 i i     i   i   i      `* Re: ZFC solution to incorrect questions: reject them100olcott
13 Mar 24 i i     i   i   i       `* Re: ZFC solution to incorrect questions: reject them99Richard Damon
13 Mar 24 i i     i   i   i        `* Re: ZFC solution to incorrect questions: reject them98olcott
14 Mar 24 i i     i   i   i         `* Re: ZFC solution to incorrect questions: reject them97Richard Damon
14 Mar 24 i i     i   i   i          +* Re: ZFC solution to incorrect questions: reject them95olcott
14 Mar 24 i i     i   i   i          i+- Re: ZFC solution to incorrect questions: reject them1immibis
14 Mar 24 i i     i   i   i          i`* Re: ZFC solution to incorrect questions: reject them93Richard Damon
14 Mar 24 i i     i   i   i          i `* Re: ZFC solution to incorrect questions: reject them92olcott
14 Mar 24 i i     i   i   i          i  `* Re: ZFC solution to incorrect questions: reject them91Richard Damon
14 Mar 24 i i     i   i   i          i   `* Re: ZFC solution to incorrect questions: reject them90olcott
14 Mar 24 i i     i   i   i          i    +* Re: ZFC solution to incorrect questions: reject them85olcott
15 Mar 24 i i     i   i   i          i    i+* Re: ZFC solution to incorrect questions: reject them76olcott
15 Mar 24 i i     i   i   i          i    ii`* Re: ZFC solution to incorrect questions: reject them75olcott
15 Mar 24 i i     i   i   i          i    ii +* Re: ZFC solution to incorrect questions: reject them5immibis
15 Mar 24 i i     i   i   i          i    ii i`* Re: ZFC solution to incorrect questions: reject them4olcott
15 Mar 24 i i     i   i   i          i    ii i `* Re: ZFC solution to incorrect questions: reject them3Mikko
15 Mar 24 i i     i   i   i          i    ii i  `* Re: ZFC solution to incorrect questions: reject them2olcott
15 Mar 24 i i     i   i   i          i    ii i   `- Re: ZFC solution to incorrect questions: reject them1Richard Damon
15 Mar 24 i i     i   i   i          i    ii `* Re: ZFC solution to incorrect questions: reject them69olcott
15 Mar 24 i i     i   i   i          i    ii  +- Re: ZFC solution to incorrect questions: reject them1immibis
15 Mar 24 i i     i   i   i          i    ii  +- Re: ZFC solution to incorrect questions: reject them1olcott
15 Mar 24 i i     i   i   i          i    ii  `* Re: ZFC solution to incorrect questions: reject them66Mikko
15 Mar 24 i i     i   i   i          i    ii   `* Re: ZFC solution to incorrect questions: reject them65olcott
15 Mar 24 i i     i   i   i          i    ii    +* Re: ZFC solution to incorrect questions: reject them62Richard Damon
15 Mar 24 i i     i   i   i          i    ii    i`* Re: ZFC solution to incorrect questions: reject them61olcott
15 Mar 24 i i     i   i   i          i    ii    i +* Re: ZFC solution to incorrect questions: reject them59olcott
15 Mar 24 i i     i   i   i          i    ii    i i+* Re: ZFC solution to incorrect questions: reject them57olcott
15 Mar 24 i i     i   i   i          i    ii    i ii`* Re: ZFC solution to incorrect questions: reject them56olcott
16 Mar 24 i i     i   i   i          i    ii    i ii `* Re: ZFC solution to incorrect questions: reject them55olcott
16 Mar 24 i i     i   i   i          i    ii    i ii  `* Re: ZFC solution to incorrect questions: reject them54olcott
16 Mar 24 i i     i   i   i          i    ii    i ii   `* Re: ZFC solution to incorrect questions: reject them53immibis
16 Mar 24 i i     i   i   i          i    ii    i ii    `* Re: ZFC solution to incorrect questions: reject them52olcott
16 Mar 24 i i     i   i   i          i    ii    i ii     `* Re: ZFC solution to incorrect questions: reject them51immibis
16 Mar 24 i i     i   i   i          i    ii    i ii      `* Re: ZFC solution to incorrect questions: reject them50olcott
16 Mar 24 i i     i   i   i          i    ii    i ii       +* Re: ZFC solution to incorrect questions: reject them46olcott
16 Mar 24 i i     i   i   i          i    ii    i ii       i+- Re: ZFC solution to incorrect questions: reject them1immibis
16 Mar 24 i i     i   i   i          i    ii    i ii       i`* Re: ZFC solution to incorrect questions: reject them --discourse context --44olcott
16 Mar 24 i i     i   i   i          i    ii    i ii       i +* Re: ZFC solution to incorrect questions: reject them --discourse context --6olcott
16 Mar 24 i i     i   i   i          i    ii    i ii       i i`* Re: ZFC solution to incorrect questions: reject them --discourse context --5immibis
17 Mar 24 i i     i   i   i          i    ii    i ii       i i +* Re: ZFC solution to incorrect questions: reject them --discourse context --3olcott
17 Mar 24 i i     i   i   i          i    ii    i ii       i i i+- Re: ZFC solution to incorrect questions: reject them --discourse context --1immibis
17 Mar 24 i i     i   i   i          i    ii    i ii       i i i`- Re: ZFC solution to incorrect questions: reject them --discourse context --1Richard Damon
17 Mar 24 i i     i   i   i          i    ii    i ii       i i `- Re: ZFC solution to incorrect questions: reject them --discourse context --1Richard Damon
16 Mar 24 i i     i   i   i          i    ii    i ii       i +* Re: ZFC solution to incorrect questions: reject them --discourse context --3immibis
16 Mar 24 i i     i   i   i          i    ii    i ii       i i`* Re: ZFC solution to incorrect questions: reject them --discourse context --2olcott
16 Mar 24 i i     i   i   i          i    ii    i ii       i i `- Re: ZFC solution to incorrect questions: reject them --discourse context --1immibis
17 Mar 24 i i     i   i   i          i    ii    i ii       i `* Re: ZFC solution to incorrect questions: reject them --discourse context --34Mikko
17 Mar 24 i i     i   i   i          i    ii    i ii       i  `* Re: ZFC solution to incorrect questions: reject them --discourse context --33olcott
17 Mar 24 i i     i   i   i          i    ii    i ii       i   +* Re: ZFC solution to incorrect questions: reject them --discourse context --6immibis
17 Mar 24 i i     i   i   i          i    ii    i ii       i   i+- Re: ZFC solution to incorrect questions: reject them --discourse context --1Ross Finlayson
18 Mar 24 i i     i   i   i          i    ii    i ii       i   i`* Re: ZFC solution to incorrect questions: reject them --discourse context --4olcott
18 Mar 24 i i     i   i   i          i    ii    i ii       i   i +- Re: ZFC solution to incorrect questions: reject them --discourse context --1immibis
18 Mar 24 i i     i   i   i          i    ii    i ii       i   i +- Re: ZFC solution to incorrect questions: reject them --discourse context --1Richard Damon
18 Mar 24 i i     i   i   i          i    ii    i ii       i   i `- Re: ZFC solution to incorrect questions: reject them --discourse context --1Mikko
18 Mar 24 i i     i   i   i          i    ii    i ii       i   +* Re: ZFC solution to incorrect questions: reject them --discourse context --25olcott
18 Mar 24 i i     i   i   i          i    ii    i ii       i   i+* Re: ZFC solution to incorrect questions: reject them --discourse context --23immibis
18 Mar 24 i i     i   i   i          i    ii    i ii       i   ii+* Re: ZFC solution to incorrect questions: reject them --discourse context --15olcott
18 Mar 24 i i     i   i   i          i    ii    i ii       i   iii+* Re: ZFC solution to incorrect questions: reject them --discourse context --12immibis
18 Mar 24 i i     i   i   i          i    ii    i ii       i   iiii`* Re: ZFC solution to incorrect questions: reject them --discourse context --11olcott
18 Mar 24 i i     i   i   i          i    ii    i ii       i   iiii +- Re: ZFC solution to incorrect questions: reject them --discourse context --1Richard Damon
18 Mar 24 i i     i   i   i          i    ii    i ii       i   iiii +- Re: ZFC solution to incorrect questions: reject them --discourse context --1Mikko
18 Mar 24 i i     i   i   i          i    ii    i ii       i   iiii `* Re: ZFC solution to incorrect questions: reject them --discourse context --8immibis
19 Mar 24 i i     i   i   i          i    ii    i ii       i   iiii  `* Re: ZFC solution to incorrect questions: reject them --discourse context --7olcott
19 Mar 24 i i     i   i   i          i    ii    i ii       i   iiii   +* Re: ZFC solution to incorrect questions: reject them --discourse context --4immibis
19 Mar 24 i i     i   i   i          i    ii    i ii       i   iiii   i`* Re: ZFC solution to incorrect questions: reject them --discourse context --3olcott
19 Mar 24 i i     i   i   i          i    ii    i ii       i   iiii   i +- Re: ZFC solution to incorrect questions: reject them --discourse context --1Richard Damon
19 Mar 24 i i     i   i   i          i    ii    i ii       i   iiii   i `- Re: ZFC solution to incorrect questions: reject them --discourse context --1Mikko
19 Mar 24 i i     i   i   i          i    ii    i ii       i   iiii   +- Re: ZFC solution to incorrect questions: reject them --discourse context --1Richard Damon
19 Mar 24 i i     i   i   i          i    ii    i ii       i   iiii   `- Re: ZFC solution to incorrect questions: reject them --discourse context --1Mikko
18 Mar 24 i i     i   i   i          i    ii    i ii       i   iii+- Re: ZFC solution to incorrect questions: reject them --discourse context --1Richard Damon
18 Mar 24 i i     i   i   i          i    ii    i ii       i   iii`- Re: ZFC solution to incorrect questions: reject them --discourse context --1Mikko
18 Mar 24 i i     i   i   i          i    ii    i ii       i   ii`* Re: ZFC solution to incorrect questions: reject them --discourse context --7olcott
18 Mar 24 i i     i   i   i          i    ii    i ii       i   i`- Re: ZFC solution to incorrect questions: reject them --discourse context --1Mikko
18 Mar 24 i i     i   i   i          i    ii    i ii       i   `- Re: ZFC solution to incorrect questions: reject them --discourse context --1Mikko
16 Mar 24 i i     i   i   i          i    ii    i ii       `* Re: ZFC solution to incorrect questions: reject them3immibis
16 Mar 24 i i     i   i   i          i    ii    i i`- Re: ZFC solution to incorrect questions: reject them1immibis
16 Mar 24 i i     i   i   i          i    ii    i `- Re: ZFC solution to incorrect questions: reject them1immibis
17 Mar 24 i i     i   i   i          i    ii    `* Re: ZFC solution to incorrect questions: reject them2Mikko
15 Mar 24 i i     i   i   i          i    i`* Re: ZFC solution to incorrect questions: reject them8immibis
15 Mar 24 i i     i   i   i          i    `* Re: ZFC solution to incorrect questions: reject them4immibis
14 Mar 24 i i     i   i   i          `- Re: ZFC solution to incorrect questions: reject them1olcott
13 Mar 24 i i     i   i   `* Re: ZFC solution to incorrect questions: reject them3olcott
13 Mar 24 i i     i   `* Re: ZFC solution to incorrect questions: reject them17Richard Damon
13 Mar 24 i i     `* Re: ZFC solution to incorrect questions: reject them12Richard Damon
12 Mar 24 i `* Re: ZFC solution to incorrect questions: reject them --Gödel--24immibis
12 Mar 24 `* Re: ZFC solution to incorrect questions: reject them3Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal