Liste des Groupes | Revenir à theory |
On 6/7/2024 6:57 PM, Richard Damon wrote:Why?On 6/7/24 7:51 PM, olcott wrote:That by itself shows a reckless disregard for the truth whenOn 6/7/2024 6:21 PM, joes wrote:>Am Fri, 07 Jun 2024 17:35:24 -0500 schrieb olcott:>
>On 6/7/2024 5:22 PM, joes wrote:Why do you care about rebuttals if you don't even consider them possible?Am Fri, 07 Jun 2024 17:11:00 -0500 schrieb olcott:That it is literally impossible to prove that the following is false
conclusively proves that it is true and the proof really need not be
wrapped in any tuxedo.
>
Until other people understand that I am correct my words are
too difficult to be understood making publication impossible.
>>Publication IS hopeless. As far as your words can be understood, they areI must get closure on each of the four points of my proof so that I knowWe can get on to other key points only after we have closure on thisWhat do you need closure for? You only want agreement.
{foundation of simulating halt deciders} point.
that my words can possibly be understood. Without this publication is
hopeless.
wrong. You could just post all of them.
>
My words only seem wrong on the basis of a false religious
belief of the nature of correct simulation.
>
Nope, most of your words are just wrong.
taken within the context that you refuse to even look at the
proof that my most important words are correct.
On 6/5/2024 8:27 PM, Richard Damon wrote:
> On 6/5/24 9:18 PM, olcott wrote:
>>
>> *I will dumb it down for you some more*
>> Try any show how this DD can be correctly simulated by any HH
>> such that this DD reaches past its machine address [00001dbe]
>
>
> I never said it could, you just are stuck in a bad question.
>
Try to show how this DD correctly simulated by any HH ever
stops running without having its simulation aborted by HH.
_DD()Then I guess you are just admitting that your HH is NOT a Halt decider as they are REQUIRED to answer about the direct execution of the machine described by their input, in this case DD(DD).
[00001e12] 55 push ebp
[00001e13] 8bec mov ebp,esp
[00001e15] 51 push ecx
[00001e16] 8b4508 mov eax,[ebp+08]
[00001e19] 50 push eax ; push DD
[00001e1a] 8b4d08 mov ecx,[ebp+08]
[00001e1d] 51 push ecx ; push DD
[00001e1e] e85ff5ffff call 00001382 ; call HH
A {correct simulation} means that each instruction of the
above x86 machine language of DD is correctly simulated
by HH and simulated in the correct order.
Anyone claiming that HH should report on the behavior
of the directly executed DD(DD) is requiring a violation
of the above definition of correct simulation.
Les messages affichés proviennent d'usenet.