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

Groups > comp.theory > #107239

Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES

From Richard Damon <richard@damon-family.org>
Newsgroups comp.theory, sci.logic, comp.ai.philosophy
Subject Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES
Date 2024-06-15 19:37 -0400
Organization i2pn2 (i2pn.org)
Message-ID <v4l8jn$3n5d$3@i2pn2.org> (permalink)
References <v4kf3h$3h3iu$7@dont-email.me> <v4kfoa$2218$19@i2pn2.org> <v4l2mr$3l6pa$1@dont-email.me> <v4l6gg$3n5d$1@i2pn2.org> <v4l87j$3m8b0$2@dont-email.me>

Cross-posted to 3 groups.

Show all headers | View raw

On 6/15/24 7:30 PM, olcott wrote:
> On 6/15/2024 6:01 PM, Richard Damon wrote:
>> On 6/15/24 5:56 PM, olcott wrote:
>>> On 6/15/2024 11:33 AM, Richard Damon wrote:
>>>> On 6/15/24 12:22 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.
>>>>>
>>>>> The first six steps of this mapping are when instructions
>>>>> at the machine address range of [00000cfc] to [00000d06]
>>>>> are simulated/executed.
>>>>>
>>>>> After that the behavior of D correctly simulated by H diverges
>>>>> from the behavior of D(D) because the call to H(D,D) by D
>>>>> correctly simulated by H cannot possibly return to D.
>>>>
>>>> Nope, the steps of D correctly simulated by H will EXACTLY match the 
>>>> steps of D directly executed, until H just gives up and guesses.
>>>>
>>>
>>> When we can see that D correctly simulated by H cannot possibly
>>> reach its simulated final state at machine address [00000d1d]
>>> after one recursive simulation and the same applies for 2,3,...N
>>> recursive simulations then we can abort the simulated input and
>>> correctly report that D correctly simulated by H DOES NOT HALT.
>>
>> Nope. Because an aborted simulation doesn't say anything about Halting,
>>
> 
> It is the mathematical induction that says this.
> 
WHAT "Mathematical Induction"?

You haven't shown the required pieces for an inductive proof.

I doubt you even know what you need to do, let alone be able to do it.

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) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 11:22 -0500
  Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-15 12:33 -0400
    Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 16:56 -0500
      Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-15 19:01 -0400
        Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 18:30 -0500
          Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-15 19:37 -0400
            Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 19:05 -0500
              Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-15 20:13 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 19:48 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-15 21:19 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 20:42 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-15 21:58 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Mikko <mikko.levanto@iki.fi> - 2024-06-16 11:00 +0300
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-16 07:48 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES 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) V3 ---IGNORING ALL OTHER REPLIES Mikko <mikko.levanto@iki.fi> - 2024-06-17 10:19 +0300
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-17 07:57 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Mikko <mikko.levanto@iki.fi> - 2024-06-18 11:01 +0300
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-18 07:48 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Mikko <mikko.levanto@iki.fi> - 2024-06-18 19:04 +0300
  Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Mikko <mikko.levanto@iki.fi> - 2024-06-16 10:53 +0300
    Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-16 07:47 -0500
      Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES 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) V3 ---IGNORING ALL OTHER REPLIES Mikko <mikko.levanto@iki.fi> - 2024-06-17 10:20 +0300
        Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-17 08:03 -0500
          Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-17 18:46 -0400
          Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Mikko <mikko.levanto@iki.fi> - 2024-06-18 11:03 +0300
            Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-18 07:57 -0500
              Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Mikko <mikko.levanto@iki.fi> - 2024-06-18 19:05 +0300
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-18 13:55 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Mikko <mikko.levanto@iki.fi> - 2024-06-19 11:36 +0300
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-19 08:44 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Mikko <mikko.levanto@iki.fi> - 2024-06-20 08:05 +0300
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-20 00:19 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-18 14:04 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-19 09:58 +0200
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-19 07:58 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-19 15:46 +0200
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-19 09:55 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-19 17:39 +0200
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-19 10:46 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Alan Mackenzie <acm@muc.de> - 2024-06-19 16:29 +0000
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-19 12:07 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-20 09:53 +0200

csiph-web