Liste des Groupes | Revenir à c theory |
On 6/7/24 1:14 PM, olcott wrote:On 6/5/2024 10:58 PM, Richard Damon wrote:On 6/7/2024 12:11 PM, Richard Damon wrote:No, you haven't PROVEN it, but argued it must be true.On 6/7/24 12:46 PM, olcott wrote:>On 6/7/2024 11:25 AM, Richard Damon wrote:>On 6/7/24 11:56 AM, olcott wrote:>On 6/7/2024 10:46 AM, Richard Damon wrote:>On 6/7/24 11:29 AM, olcott wrote:>On 6/7/2024 10:14 AM, Richard Damon wrote:>On 6/7/24 9:09 AM, olcott wrote:I conclusively prove my point and you finally admit that your wholeOn 6/6/2024 10:29 PM, Richard Damon wrote:>>>
If the essence of your life's work is that you came up with a way to not-prove the thing you were trying to prove
No you are just a Liar
Then try to show it.
>
CHANGE-THE-SUBJECT strawman deception fake rebuttal has always simply
ignored the proof that I am correct shown below:
>
Try to show how this DD correctly simulated by any HH ever
stops running without having its simulation aborted by HH.
>
_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.
>
And your last statement proves why you have the problem.
>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
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
>
H can abort its simulation of D and correctly report that D
specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
And for this, "Correct Simulation" means a simulation that accurated reflects that actual behavior of the dirrectly executed machine,
I provide conclusive proof otherwise and your "rebuttal" is
that you are unwilling to examine my proof, after three years
of misleading strawman deception fake "rebuttals".
No, you don't.
>
It seems
>>>
On 6/6/2024 9:08 PM, Richard Damon wrote:
> But, as I said, I won't acknowledge that you are correct, because I am
> not willing to put that effort into your worthless claim.
>
>
Try to show how this DD correctly simulated by any HH ever
stops running without having its simulation aborted by HH.
Why? I have shown that is a useless question for the problem.
>
*I have proven it thousands of times in the last three years*
2,000 times would only be an average of less than two proofs
per day.
You don't seem to know what a formal proof actually is.
I don't care about your claim, because it is, by defintion, a dead end, as far as halting is concerned, as partial simulation do not show non-halting behavior by themselves.
>That is NOT what I have said, som you just prove yourself to be a LIAR.
Richard has finally admitted that he never looked at
any of these proofs thus finally admitting that his
dishonest dodge CHANGE-THE-SUBJECT strawman deception
fake rebuttal was always dishonest and deceptive.
>
Les messages affichés proviennent d'usenet.