Re: ZFC solution to incorrect questions: reject them

Liste des GroupesRevenir à s logic 
Sujet : Re: ZFC solution to incorrect questions: reject them
De : ross.a.finlayson (at) *nospam* gmail.com (Ross Finlayson)
Groupes : comp.theory sci.logic
Date : 13. Mar 2024, 05:49:27
Autres entêtes
Message-ID : <gnmdnUr9ov3bv2z4nZ2dnZfqnPWdnZ2d@giganews.com>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14
User-Agent : Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0
On 03/12/2024 08:23 PM, Ross Finlayson wrote:
On 03/12/2024 07:52 PM, olcott wrote:
On 3/12/2024 9:28 PM, Richard Damon wrote:
On 3/12/24 4:31 PM, olcott wrote:
On 3/12/2024 6:11 PM, Richard Damon wrote:
On 3/12/24 3:53 PM, olcott wrote:
On 3/12/2024 5:30 PM, Richard Damon wrote:
On 3/12/24 2:34 PM, olcott wrote:
On 3/12/2024 4:23 PM, Richard Damon wrote:
On 3/12/24 1:11 PM, olcott wrote:
On 3/12/2024 2:40 PM, Richard Damon wrote:
On 3/12/24 12:02 PM, 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 ⟨Ĥ⟩ ⟨Ĥ⟩
>
No, because a given H will only go to one of the answers. THAT
will be wrong, and the other one right.
>
>
∀ H ∈ Turing_Machine_Deciders
∃ TMD ∈ Turing_Machine_Descriptions  |
Predicted_Behavior(H, TMD) != Actual_Behavior(TMD)
>
Not exactly. A pair of otherwise identical machines that
(that are contained within the above specified set)
only differ by return value will both be wrong on the
same pathological input.
>
You mean a pair of DIFFERENT machines. Any difference is
different.
>
Every decider/input pair (referenced in the above set) has a
corresponding decider/input pair that only differs by the return
value of its decider.
>
Nope.
>
∀ H ∈ Turing_Machines_Returning_Boolean
∃ TMD ∈ Turing_Machine_Descriptions  |
Predicted_Behavior(H, TMD) != Actual_Behavior(TMD)
>
Every H/TMD pair (referenced in the above set) has a
corresponding H/TMD pair that only differs by the return
value of its Boolean_TM.
>
That isn't in the set above.
>
>
That both of these H/TMD pairs get the wrong answer proves that
their question was incorrect because the opposite answer to the
same question is also proven to be incorrect.
>
>
Nope, since both aren't in the set selected.
>
>
When they are deciders that must get the correct answer both
of them are not in the set.
>
*IF* they are correct decider.
>
WHen we select from all Turing Machine Deciders, there is no
requirement that any of them get any particular answer right.
>
So, ALL deciders are in the set that we cycle through and apply the
following logic to ALL of them.
>
Each is them paired with an input that it will get wrong, and the
existance of the input was what as just proven, the ^ template
>
>
When they are Turing_Machines_Returning_Boolean the this
set inherently includes identical pairs that only differ
by return value.
>
But in the step of select and input that they will get wrong, they
will be givne DIFFERENT inputs.
>
>
You just don't understand what that statement is saying.
>
I've expalined it, but it seems over you head.
>
No the problem is that you are not paying attention.
>
No, you keep on making STUPID mistakes, like thinking that select a
input that the machine will get wrong needs to be the same for two
differnt machines.
>
>
>
>
For Every H, we show we can find at least one input (chosen just for
that machine) that it will get wrong.
>
When we use machine templates then we can see instances of
the same machine that only differs by return value where both
get the wrong answer on the same input. By same input I mean
the same finite string of numerical values.
>
>
But if they returned differnt values, they will have different
descriptions.
>
Otherwise, how could a UTM get the right answer, since it only gets
the description.
>
We can get around all of this stuff by simply using this criteria:
Date 10/13/2022 11:29:23 AM
*MIT Professor Michael Sipser agreed this verbatim paragraph is correct*
(He has neither reviewed nor agreed to anything else in this paper)
(a) If simulating halt decider H correctly simulates its input D until H
correctly determines that its simulated D would never stop running
unless aborted then
(b) H can abort its simulation of D and correctly report that D
specifies a non-halting sequence of configurations.
>
*When we apply this criteria* (elaborated above)
Will you halt if you never abort your simulation?
*Then the halting problem is conquered*
>
When two different machines implementing this criteria
get different results from identical inputs then we
know that Pathological Self-Reference has been detected.
>
We don't even need to know that for:
*denial-of-service-attack detection*
*NO always means reject as unsafe*
>
>
But, Halting theorem never said "there's an input that halts
all machines", it just says "for any machine, there's an input
that halts it".
>
Where "halt the machine" means "put it in an infinite loop".
>
So, rather, Halting theorem never said "there's an input that
exhausts all machines", it just says, "for any machine, there's
an input that exhausts it".
>
I still don't see how that would be with infinite tapes though,
without a means of checking all the way right the tape in one
step, i.e. that it's 1's or 0's or any pattern at all, any
input that unbounded with respect to the machine basically
exhausts it or where the machine would run in the unbounded.
>
>
Of course any finite tape, has a static analysis that is
not infinite, that decides whether or not it halts
(or, loops, or grows, the state space of the decider).
>
Static analysis has to either enumerate or _infer_ the
state-space, where equal values in what's determined
the idempotent can detect loops, while inequalities
or proven divergence, ..., can detect unbounded growth.
>
Now, proving convergence or divergence is its own kind
of thing. For example, there are series that converge
very slowly, and series that diverge very slowly. These
are subtly intractable to analysis.
>
Then the usual idea of progressions that rapidly grow
yet return to what's detectable, are pathological to
analysis, only in resources not correctness or completion,
vis-a-vis the subtle intractability of the convergence or
divergence what either halts, or loops, or grows unboundedly.
>
Separately "not-halts" into "loops or grows unboundedly",
has that really for most matters of interest of understanding
the state-space of programs, is "halts or enters loops"
and not "grows unboundedly".
>
I.e. if the Halting problem is basically subject the
subtle intractability of slow convergence, that otherwise
it can just infer divergence and decide, practically
it's sort of more relevant what the machine would be
doing on the input on the tape, then with respect to
beyond the Turing theory, of the state of the read-head,
what happens when somebody modifies the tape, or events,
the write-head.
>
Anyways though for bounded inputs, besides slow divergence,
it's to be made clear that _most all_ and _almost all_
programs _are_ decided their behavior by static analysis.
>
Though, "most all" and "almost all" might be a bit strong,
but pretty much all that don't involve "the subtle intractability
of slow divergence".
>
>
>
Giving the idea that an existence result
is in any way the expected result here
seems sort of the root of this dilem-na.
>
>
>
>
>
>
(Though that the real numbers in ZFC have a well-ordering
and if they had a normal ordering that was a well-ordering,
that would be a thing, because ZFC has a well-ordering of
[0,1], but can't give one.)
>
>
What I'm saying is that you'd need to solve all
cases of slow convergence and slow divergence
to have a correct and complete halt decider,
for the unbounded, and finite, if not the infinite.
Most though setups of convergence though
would effectively exhaust according to the
existence of criteria of convergence as modeling
the computation, though, so, if you exclude
slow convergence and slow divergence,
then a subset of very usual machines is of
course quite all decidable.  (Or decide-able,
or as I put it once, "not deciddable".)
Well-ordering the reals in ZFC, that's it own
sort issue - that a well-ordering implies the
existence of a bijection from ordinals to a
set, then as that as tuples, subsets of those
are well-ordered by their ordinal part, then
that if ever uncountably many of those are
in normal order their real part and irrationals,
then between those are rationals.  I.e.,
ZFC doesn't give an example of well-ordering
the reals, but there is one.
So, Peter, I think you're kind of misreading that
quote you authoritated.  It just says "if static
analysis detects a loop or unboundedly growing
then it's not-halts".
Of course, for any bounded resource, there
are arbitrarily larger bounded resources
required by what's called pathological,
that an arbitrarily larger resource can though solve.
So anyways "slow convergence" and "slow divergence",
have that in mathematics, it's unknown for some series
whether they converge or diverge, though it's usually
accepted that the inverse powers of 2 converge and
that the sum of integers diverges, and that periodic
functions do neither.
I.e. the criteria of convergence and existence of a limit,
and the special case "diverges as going to infinity",
are not yet closed in today's mathematics.
It's sort of a conjecture or independent whether
they ever could be, closed, and complete, the criteria.

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