1. Forum
  2. Usenet
  3. COMP.LANG.C

  • Re: How is this answer not self-evident ?

    From Lawrence D'Oliveiro@21:1/5 to All on Thu Aug 14 06:40:16 2025
    XPost: comp.theory, comp.lang.c++

    What exactly is “self-evident” supposed to mean? Please explain.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Thu Aug 14 12:42:57 2025
    On 2025-08-13 05:30:56 +0000, olcott said:

    Simulating Termination Analyzer HHH correctly simulates its input until:
    (a) Detects a non-terminating behavior pattern: abort simulation and return 0.
    (b) Simulated input reaches its simulated "return" statement: return 1.

    typedef int (*ptr)();
    int HHH(ptr P);

    int DD()
    {
    int Halt_Status = HHH(DD);
    if (Halt_Status)
    HERE: goto HERE;
    return Halt_Status;
    }

    What value should HHH(DD) correctly return?

    The subject line asks about "this" answer but the message
    presents an unanswered question. A non-existent answer
    cannot be self-evident.

    The answer to the question is !HHH(DD) but whether the
    anwser is self-evident is not clear.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From James Kuyper@21:1/5 to Lawrence D'Oliveiro on Thu Aug 14 09:06:37 2025
    XPost: comp.theory, comp.lang.c++

    On 2025-08-14 02:40, Lawrence D'Oliveiro wrote:
    What exactly is “self-evident” supposed to mean? Please explain.

    It means that the message providing the answer contains, in itself, all
    the evidence anyone needs to easily determine that the answer is true.
    In practice, it is often used when the answer is not actually true.
    Compare with a "no-brainer", where, in practice, the decision is almost
    always not the one that would be chosen if the brain were fully engaged.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Janis Papanagnou@21:1/5 to Lawrence D'Oliveiro on Sun Aug 17 17:33:11 2025
    XPost: comp.theory

    On 14.08.2025 08:40, Lawrence D'Oliveiro wrote:
    What exactly is “self-evident” supposed to mean? Please explain.

    I think,
    "without loss of generality" we can assume that "self-evident"
    is, "as trivially can be seen [or deduced]", something "obvious",
    so any comments, questions, or criticism is unnecessary and void
    "per [our] definition".

    Note: since this post's application area is also self-evident any
    comments on logic-errors or semantical errors are thus meaningless
    and will gracefully be dismissed.

    Janis ;-p

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