1. Forum
  2. Usenet
  3. COMP.THEORY

  • Constraints on a program that calls an SHD on itself

    From Mr Flibble@21:1/5 to All on Sun Jun 1 08:28:29 2025
    Constraints on a program that calls an SHD on itself ----------------------------------------------------

    If DDD calls HHH than it is a requirement that DDD must always be
    simulated by HHH and never run independently as doing so would be a type violation.

    /Flibble

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to Mr Flibble on Sun Jun 1 06:58:35 2025
    On 6/1/25 4:28 AM, Mr Flibble wrote:
    Constraints on a program that calls an SHD on itself ----------------------------------------------------

    If DDD calls HHH than it is a requirement that DDD must always be
    simulated by HHH and never run independently as doing so would be a type violation.

    /Flibble

    And how do you know that a given HHH that a program is calling actualy
    *IS* a SHD.

    And why should running a program that calls another function suddenly
    become a "type violation".

    It seems, your type rule makes SHDs themselves a Type Violation, as the
    major category they are part of is a "Halt Decider", and the
    requirements of programs of the category Hald Decider, is that their
    input is the representation of a program that can be run.

    So, if we can't run the program the input to a SHD, then SHD themselves
    are just a type error, as they meaning has disappeared.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to Mr Flibble on Sun Jun 1 14:37:25 2025
    On 2025-06-01 08:28:29 +0000, Mr Flibble said:

    Constraints on a program that calls an SHD on itself ----------------------------------------------------

    If DDD calls HHH than it is a requirement that DDD must always be
    simulated by HHH and never run independently as doing so would be a type violation.

    THere is no such requirement except in cases where that is required by
    the specification of HHH or DDD or by the management of the organisation
    where the work is performed.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)