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

Groups > comp.theory > #135748

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

Show all headers | View raw

On 11/15/2025 5:15 PM, Tristan Wibberley wrote:
> 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.
> 

C is essentially its own formal mathematical
language with its own semantics thus what I
just said applies to C as a formal language.

> --
> 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.
> 


-- 
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

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

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