Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.theory > #107149

Re: H(D,D) cannot even be asked about the behavior of D(D) V2

From Richard Damon <richard@damon-family.org>
Newsgroups comp.theory, sci.logic
Subject Re: H(D,D) cannot even be asked about the behavior of D(D) V2
Date 2024-06-15 06:56 -0400
Organization i2pn2 (i2pn.org)
Message-ID <v4js1a$2218$1@i2pn2.org> (permalink)
References <v4j0h2$39gh7$3@dont-email.me> <v4j2ga$kqh$11@i2pn2.org> <v4j36t$3a0ot$1@dont-email.me>

Cross-posted to 2 groups.

Show all headers | View raw

On 6/14/24 11:53 PM, olcott wrote:
> On 6/14/2024 10:40 PM, Richard Damon wrote:
>> On 6/14/24 11:07 PM, olcott wrote:
>>> On 6/13/2024 8:24 PM, Richard Damon wrote:
>>>  > On 6/13/24 11:32 AM, olcott wrote:
>>>  >>
>>>  >> It is contingent upon you to show the exact steps of how H computes
>>>  >> the mapping from the x86 machine language finite string input to
>>>  >> H(D,D) using the finite string transformation rules specified by
>>>  >> the semantics of the x86 programming language that reaches the
>>>  >> behavior of the directly executed D(D)
>>>  >>
>>>  >
>>>  > Why? I don't claim it can.
>>>
>>> _D()
>>> [00000cfc](01) 55          push ebp
>>> [00000cfd](02) 8bec        mov ebp,esp
>>> [00000cff](03) 8b4508      mov eax,[ebp+08]
>>> [00000d02](01) 50          push eax       ; push D
>>> [00000d03](03) 8b4d08      mov ecx,[ebp+08]
>>> [00000d06](01) 51          push ecx       ; push D
>>> [00000d07](05) e800feffff  call 00000b0c  ; call H
>>> [00000d0c](03) 83c408      add esp,+08
>>> [00000d0f](02) 85c0        test eax,eax
>>> [00000d11](02) 7404        jz 00000d17
>>> [00000d13](02) 33c0        xor eax,eax
>>> [00000d15](02) eb05        jmp 00000d1c
>>> [00000d17](05) b801000000  mov eax,00000001
>>> [00000d1c](01) 5d          pop ebp
>>> [00000d1d](01) c3          ret
>>> Size in bytes:(0034) [00000d1d]
>>>
>>> If there is no mapping from the input to H(D,D) to the behavior
>>> of D(D) then H is not even being asked about the behavior of D(D).
>>> H has no obligation to answer questions *THAT IT IS NOT BEING ASKED*
>>>
>>
>> You keep on stating that LIE.
>>
> 
> That is is over-your-head does not even make it untrue.
> That you call me a liar makes you a liar.

But it is the TURTH, it IS the MAPPING that H is REQURED to give if it 
is to be a correct Halt Decider.

> If you want to claim that I am wrong YOU MUST USE REASONING.

Like, THE DEFINITION of a Halt Decider?

> Calling me a liar makes you a liar and a fool.

Your saying something doesn't exsit that you have been shown, and not 
doing one thing to prove your point just demonstartes that you are 
nothing but a stupid liar that is stuck in his own brainwashing.

> 
>> H, being a Halting Decider (or are you lying about that) has exactly 
>> one question it *IS* being asked about every input it s given, that 
>> that is "Will the execution of the program represented by your input 
>> Halt when run?"
>>
> 
> Yes you are very good at memorizing textbooks now prove that the
> input to H(D,D) can be transformed into the question Does D(D) halt?
>  >>  > Why? I don't claim it can.
> 
> Then H is NOT BEING ASKED ABOUT THE BEHAVIOR OF D(D).
> I chopped out the attempt to change the subject.
> *YOU MUST STAY FOCUSED ON THIS POINT*
> 

Then H is NOT a Halt Decider.

BY DEFINITION

PERIOD.

And you are PROVED to be a DAMNED LIAR.,

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-14 22:07 -0500
  Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-14 23:40 -0400
    Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-14 22:53 -0500
      Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-15 06:56 -0400
        Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-15 08:32 -0500
          Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-15 09:52 -0400
      Re: H(D,D) cannot even be asked about the behavior of D(D) V2 joes <noreply@example.com> - 2024-06-15 11:57 +0000
        Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-15 07:30 -0500
          Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Python <python@invalid.org> - 2024-06-15 14:57 +0200
            Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-15 08:17 -0500
              Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-15 09:52 -0400
          Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-15 09:52 -0400
  Re: H(D,D) cannot even be asked about the behavior of D(D) V2 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-15 11:08 +0200
    Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-15 07:14 -0500
      Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-15 09:52 -0400
      Re: H(D,D) cannot even be asked about the behavior of D(D) V2 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-15 16:15 +0200
        Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-15 09:28 -0500
          Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-15 10:41 -0400
  Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Mikko <mikko.levanto@iki.fi> - 2024-06-15 15:19 +0300
    Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-15 08:14 -0500
      Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-15 09:52 -0400
      Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Mikko <mikko.levanto@iki.fi> - 2024-06-16 10:50 +0300
        Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-16 07:44 -0500
          Re: H(D,D) cannot even be asked about the behavior of D(D) V2 joes <noreply@example.com> - 2024-06-16 14:16 +0000
            Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Python <python@invalid.org> - 2024-06-16 16:38 +0200
            Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-16 09:41 -0500
              Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Alan Mackenzie <acm@muc.de> - 2024-06-16 15:02 +0000
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-16 12:44 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-16 14:06 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-16 13:10 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-16 14:33 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-16 13:50 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-16 15:01 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-17 08:33 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-17 18:54 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Alan Mackenzie <acm@muc.de> - 2024-06-16 21:06 +0000
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-16 17:36 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 André G. Isaak <agisaak@gm.invalid> - 2024-06-16 15:58 -0600
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Python <python@invalid.org> - 2024-06-17 00:21 +0200
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-16 19:26 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 André G. Isaak <agisaak@gm.invalid> - 2024-06-16 18:33 -0600
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 André G. Isaak <agisaak@gm.invalid> - 2024-06-16 18:44 -0600
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-16 21:12 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-17 08:19 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-17 18:55 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-17 08:17 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-17 19:11 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-17 08:14 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-17 08:14 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-17 08:43 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-17 16:13 +0200
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-17 09:33 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-17 16:48 +0200
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-17 19:13 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Mikko <mikko.levanto@iki.fi> - 2024-06-17 10:39 +0300
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-17 08:13 -0500
              Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-16 13:30 -0400
            Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Mikko <mikko.levanto@iki.fi> - 2024-06-17 10:36 +0300
              Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-17 08:13 -0500
          Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-16 13:30 -0400
          Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Mikko <mikko.levanto@iki.fi> - 2024-06-17 10:32 +0300
            Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-17 08:12 -0500

csiph-web