Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?

Liste des GroupesRevenir à s logic 
Sujet : Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logic
Date : 08. Jun 2024, 22:57:24
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v42gjk$3cg3s$10@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
User-Agent : Mozilla Thunderbird
On 6/8/24 4:52 PM, olcott wrote:
On 6/8/2024 3:47 PM, Richard Damon wrote:
On 6/8/24 4:34 PM, olcott wrote:
On 6/8/2024 3:23 PM, Richard Damon wrote:
On 6/8/24 1:10 PM, olcott wrote:
On 6/8/2024 11:03 AM, Richard Damon wrote:
On 6/8/24 11:32 AM, olcott wrote:
On 6/8/2024 10:15 AM, Richard Damon wrote:
On 6/8/24 11:07 AM, olcott wrote:
On 6/8/2024 9:54 AM, Richard Damon wrote:
On 6/8/24 10:20 AM, olcott wrote:
On 6/8/2024 9:10 AM, Richard Damon wrote:
>
I HAVE pointed out what is missing, ANY set of truth-perserving operations from the accepted facts (which will of course need to name the fact they are working from) to your conclusion.
>
The accepted facts are here
(a) The x86 language
(b) The notion of an x86 emulator
>
{The proof that No DDD correctly emulated by any x86
  emulator H can possibly reach its own [00001df6] instruction}
>
So, how do you show this claim?
>
Do you have a tracing of the full INFINITE SET of possible Hs?
>
>
Is the set of possible execution traces of DDD correctly
emulated by x86 emulator HH on the basis of the above
accepted facts.
>
Maybe you are just clueless about these technical details
are are trying to hide this with pure bluster.
>
_DDD()
[00001de2] 55         push ebp
[00001de3] 8bec       mov ebp,esp
[00001de5] 8b4508     mov eax,[ebp+08]
[00001de8] 50         push eax         ; push DD
[00001de9] 8b4d08     mov ecx,[ebp+08]
[00001dec] 51         push ecx         ; push DD
[00001ded] e890f5ffff call 00001382    ; call HH
[00001df2] 83c408     add esp,+08
[00001df5] 5d         pop ebp
[00001df6] c3         ret
Size in bytes:(0021) [00001df6]
>
You keep disagreeing with the fact that DDD correctly
emulated by x86 emulator HH only has one single correct
execution trace of repeating the fist seven lines until
out-of-memory error.
>
>
But that is an INCORRECT trace per your definition,
>
The call HH instruction MUST be simulated into HH because that IS the behavior of the x86 instruction.
>
Did I ever say that it is not?
For the above DDD correctly emulated by x86 emulator HH
the first seven instructions of DD keep repeating because
DDD keeps calling HH(DDD,DDD) to emulate itself again and
again until HH/DDD hits out-of-memory exception.
>
So the x86 emulation of the code must go into HH(DDD,DDD)
>
>
It is pretty stupid to assume otherwise when HH is
stipulated to be an x86 emulator.
>
Right, so why did you say otherwise?
>
>
I never said otherwise you simply "read" meanings that I didn't say.
this thread: [Should I quit Richard at this point?]
stands alone and should not be interpreted within the
context of anything else that I ever said.
>
So, we are NOT to use your previous statements for earlier posts?
>
You keep on changing you mind, and not being clear. That shows your deceitful nature.
>
I must increasing narrow the focus of attention to ever
get any closure on as many as one single point.
>
The one point now is that DD correctly simulated by HH
proves that HH is correct to reject DD as non-halting.
>
Which is incorrect, because you are using the wrong definition of correct simulation.
>
>
For three years every reviewer has essentially insisted that the
correct measure of the behavior of DD is DD incorrectly simulated
by HH. The behavior of the directly executed DD(DD) cannot possibly
be achieved by DD correctly simulated by HH as the x86 machine-code
of DD *conclusively proves BEYOND ALL POSSIBLE DOUBT*
>
Nope, and if that is what your though, you are just an idiot.
>
 When one disagrees with the execution trace that x86 code specifies
one is essentially doing the same thing as disagreeing with arithmetic.
 
And where does that say that the correct measure of the behavior of DD is DD incorrectly simulated?
Answer or admit to being a LIAR!
I think you are caught in your lies again.
Note, you again INTENTIONALLY trimed the quotation to pervert the meaning to the statement you were replying to.
For context, my full statement there was:
Nope, and if that is what your though, you are just an idiot.
What HH must decide on is the behavior of the direct exection of DD(DD) or the actual correct simulation of the representation of DD(DD) given to HH by a real UTM that keeps on simulating until it reaches a final state.
The fact that it is impossible for HH to do such a simulation, or even predict that simulation doesn't matter, that *IS* the criteria that it is responsible for.
The fact that it can't be done, just shows that Halting is not Computable, which is a perfectly fine results. There are a LOT of non-computable functions, in fact most Functions, if created at "random" would be not computable, since there are Aleph_1 Functions definable, but only Aleph_0 Computable functions,
Perhaps the surprising fact is that so many of the functions we might want turn out to be computable.
Somehow, something being impossible is beyond your mind power, and that is largly because your imagination of what can be done is too small, because you logic is too small. In "small" logic, you can't get the complexity that makes things impossible. But there is a border, that once you achieve that capability, your logic system can create problems that it can not solve.
This roughly comes up when the system tries to handle "infinite" things, as infinity creates some strange properties that give the system powers that it can't "control".

Date Sujet#  Auteur
3 Jun 24 * Why does Olcott care about simulation, anyway?172immibis
3 Jun 24 +* Re: Why does Olcott care about simulation, anyway?2Richard Damon
3 Jun 24 i`- Re: Why does Olcott care about simulation, anyway?1wij
3 Jun 24 +* Re: Why does Olcott care about simulation, anyway?149Mike Terry
3 Jun 24 i+* Re: Why does Olcott care about simulation, anyway? --- Mikes Review19olcott
3 Jun 24 ii+- Re: Why does Olcott care about simulation, anyway? --- Mikes Review1Richard Damon
3 Jun 24 ii+- Re: Why does Olcott care about simulation, anyway? --- Mikes Review1immibis
3 Jun 24 ii`* Re: Why does Olcott care about simulation, anyway? --- Mikes Review16Mike Terry
3 Jun 24 ii `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review15olcott
4 Jun 24 ii  +- Re: Why does Olcott care about simulation, anyway? --- Mikes Review1Richard Damon
4 Jun 24 ii  `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review13Mike Terry
4 Jun 24 ii   `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review12olcott
4 Jun 24 ii    `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review11Richard Damon
4 Jun 24 ii     `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review10olcott
4 Jun 24 ii      +* Re: Why does Olcott care about simulation, anyway? --- Mikes Review3Richard Damon
4 Jun 24 ii      i`* Re: Why does Olcott care about simulation, anyway? --- Mikes Review2olcott
5 Jun 24 ii      i `- Re: Why does Olcott care about simulation, anyway? --- Mikes Review1Richard Damon
4 Jun 24 ii      `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review6Mike Terry
4 Jun 24 ii       `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review5olcott
4 Jun 24 ii        +* Re: Why does Olcott care about simulation, anyway? --- Mikes Review3Richard Damon
4 Jun 24 ii        i`* Re: Why does Olcott care about simulation, anyway? --- Mikes Review2olcott
5 Jun 24 ii        i `- Re: Why does Olcott care about simulation, anyway? --- Mikes Review1Richard Damon
4 Jun 24 ii        `- Re: Why does Olcott care about simulation, anyway? --- Mikes Review1immibis
3 Jun 24 i+- Re: Why does Olcott care about simulation, anyway?1wij
3 Jun 24 i+- Re: Why does Olcott care about simulation, anyway?1wij
3 Jun 24 i`* Re: Why does Olcott care about simulation, anyway?127Ben Bacarisse
3 Jun 24 i +* Re: Why does Olcott care about simulation, anyway? --- Ben's Review125olcott
3 Jun 24 i i+- Re: Why does Olcott care about simulation, anyway? --- Ben's Review1immibis
3 Jun 24 i i+* Re: Why does Olcott care about simulation, anyway? --- Ben's Review85Fred. Zwarts
3 Jun 24 i ii`* Mike Terry Reply to Fred Zwarts84olcott
4 Jun 24 i ii +* Re: Mike Terry Reply to Fred Zwarts82Fred. Zwarts
4 Jun 24 i ii i`* Re: Mike Terry Reply to Fred Zwarts81Fred. Zwarts
4 Jun 24 i ii i `* Re: Mike Terry Reply to Fred Zwarts80Mike Terry
4 Jun 24 i ii i  `* How Partial Simulations correctly determine non-halting ---Mike Terry Error79olcott
5 Jun 24 i ii i   +* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error28John Smith
5 Jun 24 i ii i   i`* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error27olcott
5 Jun 24 i ii i   i `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error26John Smith
5 Jun 24 i ii i   i  `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error25olcott
5 Jun 24 i ii i   i   `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error24John Smith
5 Jun 24 i ii i   i    +* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error5olcott
5 Jun 24 i ii i   i    i`* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error4John Smith
5 Jun 24 i ii i   i    i `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error3olcott
5 Jun 24 i ii i   i    i  +- Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error1joes
6 Jun 24 i ii i   i    i  `- Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error1Richard Damon
5 Jun 24 i ii i   i    `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error18Ben Bacarisse
5 Jun 24 i ii i   i     +* Re: How Partial Simulations correctly determine non-halting --- Ben's strawman deception2olcott
7 Jun 24 i ii i   i     i`- Re: How Partial Simulations correctly determine non-halting --- Ben's strawman deception1olcon'tt
5 Jun 24 i ii i   i     `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error15Mike Terry
5 Jun 24 i ii i   i      `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error14olcott
5 Jun 24 i ii i   i       +* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error6John Smith
5 Jun 24 i ii i   i       i+* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error2olcott
5 Jun 24 i ii i   i       ii`- Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error1joes
6 Jun 24 i ii i   i       i`* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error3Mike Terry
6 Jun 24 i ii i   i       i `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error !!!2olcott
6 Jun 24 i ii i   i       i  `- Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error !!!1Richard Damon
5 Jun 24 i ii i   i       `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error7Mike Terry
6 Jun 24 i ii i   i        `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error6olcott
6 Jun 24 i ii i   i         `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error5Mike Terry
7 Jun 24 i ii i   i          `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error4olcott
7 Jun 24 i ii i   i           +- Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error1Richard Damon
7 Jun 24 i ii i   i           `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error2olcott
7 Jun 24 i ii i   i            `- Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error1Richard Damon
5 Jun 24 i ii i   +- Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error1Richard Damon
5 Jun 24 i ii i   `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error49olcott
6 Jun 24 i ii i    +- Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error1Richard Damon
6 Jun 24 i ii i    `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error47olcott
7 Jun 24 i ii i     +* Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis45olcott
7 Jun 24 i ii i     i+* Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis13Python
7 Jun 24 i ii i     ii`* Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis12olcott
7 Jun 24 i ii i     ii +* Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis7Python
7 Jun 24 i ii i     ii i`* Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis6olcott
7 Jun 24 i ii i     ii i +- Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis1Richard Damon
7 Jun 24 i ii i     ii i `* Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis4olcott
7 Jun 24 i ii i     ii i  +- Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis1Richard Damon
8 Jun 24 i ii i     ii i  `* Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis ---2olcott
8 Jun 24 i ii i     ii i   `- Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis ---1Richard Damon
7 Jun 24 i ii i     ii +- Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis1Richard Damon
7 Jun 24 i ii i     ii `* Re: How Partial Simulations incorrectly determine non-halting ---Ben's 10/2022 analysis3olcott
7 Jun 24 i ii i     ii  +- Re: How Partial Simulations incorrectly determine non-halting ---Ben's 10/2022 analysis1news2
7 Jun 24 i ii i     ii  `- Re: How Partial Simulations incorrectly determine non-halting ---Ben's 10/2022 analysis1Richard Damon
7 Jun 24 i ii i     i+- Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis1Richard Damon
7 Jun 24 i ii i     i+* Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis24olcott
7 Jun 24 i ii i     ii+- Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis1Richard Damon
8 Jun 24 i ii i     ii`* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?22olcott
8 Jun 24 i ii i     ii `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?21Richard Damon
8 Jun 24 i ii i     ii  `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?20olcott
8 Jun 24 i ii i     ii   `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?19Richard Damon
8 Jun 24 i ii i     ii    `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?18olcott
8 Jun 24 i ii i     ii     `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?17Richard Damon
8 Jun 24 i ii i     ii      `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?16olcott
8 Jun 24 i ii i     ii       `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?15Richard Damon
8 Jun 24 i ii i     ii        `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?14olcott
8 Jun 24 i ii i     ii         `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?13Richard Damon
8 Jun 24 i ii i     ii          `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?12olcott
8 Jun 24 i ii i     ii           `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?11Richard Damon
8 Jun 24 i ii i     ii            `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?10olcott
8 Jun 24 i ii i     ii             `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?9Richard Damon
8 Jun 24 i ii i     ii              `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?8olcott
9 Jun 24 i ii i     ii               `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?7Richard Damon
9 Jun 24 i ii i     ii                `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?6olcott
9 Jun 24 i ii i     ii                 `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?5Richard Damon
7 Jun 24 i ii i     i`* Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis6joes
7 Jun 24 i ii i     `- Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error1Richard Damon
4 Jun 24 i ii `- Re: Mike Terry Reply to Fred Zwarts1Fred. Zwarts
4 Jun 24 i i+- Re: Why does Olcott care about simulation, anyway? --- Ben's Review1Richard Damon
4 Jun 24 i i`* Halting Problem is wrong two different ways37olcott
3 Jun 24 i `- Re: Why does Olcott care about simulation, anyway?1Mike Terry
3 Jun 24 `* Re: Why does Olcott care about simulation, anyway?20Fred. Zwarts

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal