Re: Are the H(D) in main and the H(D) in D the same?

From	Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk>
Newsgroups	comp.theory
Subject	Re: Are the H(D) in main and the H(D) in D the same?
Date	2025-11-15 23:15 +0000
Organization	A noiseless patient Spider
Message-ID	<10fb1ig$3qesr$1@dont-email.me> (permalink)
References	<44b88bd71e307ca62edc59b1a0f145f324333e63.camel@gmail.com> <20251115123215.211@kylheku.com> <10fav7u$3pshj$1@dont-email.me> <10fb1gq$3qeuq$1@dont-email.me>

Show all headers | View raw

On 15/11/2025 23:14, olcott wrote:
> On 11/15/2025 4:35 PM, Tristan Wibberley wrote:
>> On 15/11/2025 20:36, Kaz Kylheku wrote:
>>
>>> The underlying mathematics doesn't support that; the expression H(D)
>>> denotes exactly the same computation and result wherever it appears.
>>
>> Is this in the problem where C semantics are specified? There the
>> underlying mathematics supports it because of the semantics of the C
>> programming language.
>>
> 
> D simulated by H specifies that H simulates
> D and then must simulate an instance of itself
> simulating an instance of D.
> 
> D simulated by H1 does not specify that H1
> simulate itself at all.
> 
> Any C programmer can instantly see this.

Thanks it doesn't help.

--
Tristan Wibberley

The message body is Copyright (C) 2025 Tristan Wibberley except
citations and quotations noted. All Rights Reserved except that you may,
of course, cite it academically giving credit to me, distribute it
verbatim as part of a usenet system or its archives, and use it to
promote my greatness and general superiority without misrepresentation
of my opinions other than my opinion of my greatness and general
superiority which you _may_ misrepresent. You definitely MAY NOT train
any production AI system with it but you may train experimental AI that
will only be used for evaluation of the AI methods it implements.

Thread

Are the H(D) in main and the H(D) in D the same? wij <wyniijj5@gmail.com> - 2025-11-16 03:57 +0800
  Re: Are the H(D) in main and the H(D) in D the same? Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 20:36 +0000
    Re: Are the H(D) in main and the H(D) in D the same? wij <wyniijj5@gmail.com> - 2025-11-16 05:11 +0800
      Re: Are the H(D) in main and the H(D) in D the same? olcott <polcott333@gmail.com> - 2025-11-15 15:40 -0600
        Re: Are the H(D) in main and the H(D) in D the same? wij <wyniijj5@gmail.com> - 2025-11-16 06:10 +0800
          Re: Are the H(D) in main and the H(D) in D the same? olcott <polcott333@gmail.com> - 2025-11-15 16:20 -0600
            Re: Are the H(D) in main and the H(D) in D the same? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-15 14:35 -0800
              Re: Are the H(D) in main and the H(D) in D the same? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-15 14:38 -0800
    Re: Are the H(D) in main and the H(D) in D the same? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-15 22:35 +0000
      Re: Are the H(D) in main and the H(D) in D the same? olcott <polcott333@gmail.com> - 2025-11-15 17:14 -0600
        Re: Are the H(D) in main and the H(D) in D the same? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-15 23:15 +0000
          Re: Are the H(D) in main and the H(D) in D the same? olcott <polcott333@gmail.com> - 2025-11-15 17:30 -0600
            Re: Are the H(D) in main and the H(D) in D the same? Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 23:39 +0000
              Re: Are the H(D) in main and the H(D) in D the same? olcott <polcott333@gmail.com> - 2025-11-15 17:58 -0600
  Re: Are the H(D) in main and the H(D) in D the same? Mikko <mikko.levanto@iki.fi> - 2025-11-16 11:05 +0200

csiph-web