Liste des Groupes | Revenir à c theory |
On 16/08/2024 07:57, Fred. Zwarts wrote:I break my points down to the basic facts of the semanticsOp 15.aug.2024 om 21:39 schreef olcott:That's all correct. Going further I'll suggest that PO really doesn't "understand" /anything/ with an abstract / logical / mathematical content. He can't understand definitions or their role in proofs, or the role of proofs in establishing knowledge. I'm not kidding or being rude or anything like that - it's simply the way his brain works. *Of course* PO does not "really read what you write". Surely you must have at least suspected this for a long time?! [I don't notice any problem with PO's memory.]On 8/15/2024 1:35 PM, Mike Terry wrote:>On 15/08/2024 17:30, olcott wrote:>On 8/15/2024 10:40 AM, Fred. Zwarts wrote:>Op 15.aug.2024 om 14:12 schreef olcott:>On 8/15/2024 2:00 AM, joes wrote:Exactly. And when it aborts, it aborts too soon, one cycle before the simulated HHH would abort and halt.Am Wed, 14 Aug 2024 16:07:43 +0100 schrieb Mike Terry:>On 14/08/2024 08:43, joes wrote:>Am Tue, 13 Aug 2024 21:38:07 -0500 schrieb olcott:On 8/13/2024 9:29 PM, Richard Damon wrote:>On 8/13/24 8:52 PM, olcott wrote:You were trying to label an incomplete/partial/aborted simulation asThat is what I said dufuss.A simulation of N instructions of DDD by HHH according to theNope, it is just the correct PARTIAL emulation of the first N
semantics of the x86 language is necessarily correct.
instructions of DDD, and not of all of DDD,
correct.
>how *HHH* returns*Try to show exactly how DDD emulated by HHH returns to its caller*A correct simulation of N instructions of DDD by HHH is sufficientNope, if a HHH returns to its caller,
to correctly predict the behavior of an unlimited simulation.DDDHHH simulates DDD enter the matrix
DDD calls HHH(DDD) Fred: could be eliminated HHH simulatesvoilasecond level
DDD calls HHH(DDD) recursion detected
HHH aborts, returns outside interference DDD haltsHHH halts>
You're misunderstanding the scenario? If your simulated HHH aborts its
simulation [line 5 above],
then the outer level H would have aborted its identical simulation
earlier. You know that, right?Of course. I made it only to illustrate one step in the paradoxical>
reasoning, as long as we're calling programs that do or don't abort
the same.
>
It is like I always pointed out. The outer HHH cannot
wait for the inner ones to abort because it would be
waiting forever.
Mike corrected you on this. You are wrong.
For the record, I did no such thing and Fred is correct.
>
*Fred has the same incorrect views as joes*
*Here is where you agreed that Fred is wrong*
*when replying to joes*
>
On 8/14/2024 10:07 AM, Mike Terry wrote:
> On 14/08/2024 08:43, joes wrote:
>> Am Tue, 13 Aug 2024 21:38:07 -0500 schrieb olcott:
>>> *Try to show exactly how DDD emulated by HHH
>>> returns to its caller*>>
>>> (the first one doesn't even have a caller)
>>> Use the above machine language instructions to show this.
>> HHH simulates DDD enter the matrix
>> DDD calls HHH(DDD) Fred: could be eliminated
>> HHH simulates DDD second level
>> DDD calls HHH(DDD) recursion detected
>> HHH aborts, returns outside interference
>> DDD halts voila
>> HHH halts
>
> You're misunderstanding the scenario? If your
> simulated HHH aborts its simulation [line 5 above],
> then the outer level H would have aborted its
> identical simulation earlier. You know that, right?
> [It's what people have been discussing here endlessly
> for the last few months! :) ]
>
> So your trace is impossible...
>
>
>
It is clear that olcott does not really read what I write. (Or is very short of memory.)
I never said such a thing.
I repeatedly told that the simulating HHH aborted when the simulated HHH had only one cycle to go. I never said that the simulated HHH reached it abort and halted.
In fact, I said that the fact that the simulation fails to reach the abort and halt of the simulated HHH proves that the simulation is incomplete and incorrect, because a complete simulation (such as by HHH1) shows that the simulated HHH would abort and halt.
>
It now becomes clear that you either never understood what I said, or your memory is indeed very short.
Give it some time to think about what I say, try to escape from rebuttal mode, instead of ignoring it immediately.
Les messages affichés proviennent d'usenet.