Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN

Liste des GroupesRevenir à c theory 
Sujet : Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 22. Feb 2025, 17:06:08
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vpcslg$irt$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
User-Agent : Mozilla Thunderbird
On 2/22/2025 2:45 AM, Mikko wrote:
On 2025-02-21 22:39:01 +0000, olcott said:
 
On 2/21/2025 2:10 AM, Mikko wrote:
On 2025-02-20 13:02:28 +0000, olcott said:
>
On 2/20/2025 2:28 AM, Mikko wrote:
On 2025-02-20 04:08:05 +0000, olcott said:
>
On 2/16/2025 6:55 AM, joes wrote:
Am Sat, 15 Feb 2025 21:25:12 -0600 schrieb olcott:
On 2/15/2025 4:03 AM, joes wrote:
Am Fri, 14 Feb 2025 17:29:45 -0600 schrieb olcott:
On 2/14/2025 6:54 AM, joes wrote:
Am Thu, 13 Feb 2025 22:21:59 -0600 schrieb olcott:
On 2/13/2025 9:15 PM, Richard Damon wrote:
On 2/13/25 7:07 PM, olcott wrote:
On 2/13/2025 3:20 AM, Mikko wrote:
On 2025-02-13 04:21:34 +0000, olcott said:
On 2/12/2025 4:04 AM, Mikko wrote:
On 2025-02-11 14:41:38 +0000, olcott said:
>
Of course not. However, the fact that no reference to that
article before or when HHH
That paper and its code are the only thing that I have been
talking about in this forum for several years.
Doesn't matter when you don't say that you are talking about
that paper.
Anyway, that is irrelevant to the fact that the subject line
contains a false claim.
It is a truism and not one person on the face of the Earth can
possibly show otherwise.
The fact that the claim on subject line is false is not a truism.
In order to determine the claim is false one needs some knowledge
that is not obvious.
When you try to show the steps attempting to show that it is false
I will point out the error.
We havm, but you are too stupid to understand it.
Since when DD run, it halts,
THAT IS A DIFFERENT INSTANCE
Why are you passing the wrong input to HHH?
I will begin ignoring insincere replies.
Yes, please shut up.
But why are you not passing the same instance to HHH?
The first instance of recursion is not exactly the same as subsequent
instances of the exact same sequence of recursive invocations.
It is the same with recursive simulations. When the second recursive
invocation has been aborted the first one terminates normally misleading
people into believing that the recursive chain terminates normally.
How interesting. Might this be due to a global variable that basically
toggles termination?
>
Termination analyzers determine whether or not their input
could possibly terminate normally. Nothing can toggle this.
>
Wrong. Termination analyzers deremine whether a program can run forever.
>
This would define simulating termination analyzers as impossible
because every input that would otherwise run forever is aborted.
>
It would be aborted by external causes but not by the program itself so
we can say that the program could run forever.
>
>
OK great we finally got mutual agreement on one point.
Unless the C function HHH aborts its simulation of the C
function DD this DD C function DOES NOT TERMINATE.
 If you mean the HHH on https://github.com/plolcott/x86utm/blob/master/ Halt7.c
that statement is void: that HHH does abort is simulation of DD. If you mean
any function HHH allowed by OP then that statement is false.
 
I am not talking about one statement. I am referring to
all of the code and all of code this this code refers to
in every other file.
If you want to refer to one statement every software engineer
knows this means FILENAME : LINE NUMBER.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
14 Feb 25 * Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH420olcott
14 Feb 25 +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH137Richard Damon
14 Feb 25 i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH136olcott
14 Feb 25 i +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH131joes
15 Feb 25 i i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH130olcott
15 Feb 25 i i +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
15 Feb 25 i i `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH128joes
16 Feb 25 i i  `* DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN127olcott
16 Feb 25 i i   +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
16 Feb 25 i i   +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
16 Feb 25 i i   `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN124joes
16 Feb 25 i i    +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN3olcott
16 Feb 25 i i    i+- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
16 Feb 25 i i    i`- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Fred. Zwarts
20 Feb 25 i i    `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN120olcott
20 Feb 25 i i     +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN31Mikko
20 Feb 25 i i     i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN30olcott
21 Feb 25 i i     i +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
21 Feb 25 i i     i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN28Mikko
21 Feb 25 i i     i  `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN27olcott
22 Feb 25 i i     i   +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
22 Feb 25 i i     i   `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN25Mikko
22 Feb 25 i i     i    `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN24olcott
22 Feb 25 i i     i     +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN3joes
22 Feb 25 i i     i     i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN2olcott
23 Feb 25 i i     i     i `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
23 Feb 25 i i     i     +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
23 Feb 25 i i     i     `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN19Mikko
23 Feb 25 i i     i      `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN18olcott
24 Feb 25 i i     i       +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
24 Feb 25 i i     i       `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN16Mikko
25 Feb 25 i i     i        `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN15olcott
25 Feb 25 i i     i         +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
25 Feb 25 i i     i         +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1dbush
25 Feb 25 i i     i         +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN3joes
25 Feb 25 i i     i         i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN2olcott
25 Feb 25 i i     i         i `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1joes
25 Feb 25 i i     i         +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Fred. Zwarts
25 Feb 25 i i     i         `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN8Mikko
25 Feb 25 i i     i          `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN7olcott
26 Feb 25 i i     i           +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN5Richard Damon
26 Feb 25 i i     i           i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN4olcott
26 Feb 25 i i     i           i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN3Richard Damon
26 Feb 25 i i     i           i  `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN2olcott
26 Feb 25 i i     i           i   `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
26 Feb 25 i i     i           `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Mikko
20 Feb 25 i i     +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN87joes
22 Feb 25 i i     i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN86olcott
22 Feb 25 i i     i +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN84joes
22 Feb 25 i i     i i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy83olcott
22 Feb 25 i i     i i +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy67dbush
22 Feb 25 i i     i i i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy66olcott
22 Feb 25 i i     i i i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy65dbush
22 Feb 25 i i     i i i  `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy64olcott
22 Feb 25 i i     i i i   `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy63dbush
22 Feb 25 i i     i i i    `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy62olcott
22 Feb 25 i i     i i i     `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy61dbush
22 Feb 25 i i     i i i      `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy60olcott
22 Feb 25 i i     i i i       `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy59dbush
22 Feb 25 i i     i i i        `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy58olcott
22 Feb 25 i i     i i i         `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy57dbush
22 Feb 25 i i     i i i          `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy56olcott
22 Feb 25 i i     i i i           `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy55dbush
23 Feb 25 i i     i i i            `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy54olcott
23 Feb 25 i i     i i i             +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy52dbush
23 Feb 25 i i     i i i             i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy51olcott
23 Feb 25 i i     i i i             i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy50dbush
24 Feb 25 i i     i i i             i  `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy49olcott
24 Feb 25 i i     i i i             i   +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy47dbush
24 Feb 25 i i     i i i             i   i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy46olcott
24 Feb 25 i i     i i i             i   i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy45dbush
24 Feb 25 i i     i i i             i   i  `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy44olcott
24 Feb 25 i i     i i i             i   i   `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy43dbush
24 Feb 25 i i     i i i             i   i    `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy42olcott
24 Feb 25 i i     i i i             i   i     `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy41dbush
24 Feb 25 i i     i i i             i   i      `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy40olcott
24 Feb 25 i i     i i i             i   i       +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy37dbush
24 Feb 25 i i     i i i             i   i       i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy36olcott
24 Feb 25 i i     i i i             i   i       i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy35dbush
24 Feb 25 i i     i i i             i   i       i  `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy34olcott
24 Feb 25 i i     i i i             i   i       i   `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy33dbush
24 Feb 25 i i     i i i             i   i       i    +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy2dbush
24 Feb 25 i i     i i i             i   i       i    i`- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy1olcott
24 Feb 25 i i     i i i             i   i       i    `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy30olcott
24 Feb 25 i i     i i i             i   i       i     `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy29dbush
24 Feb 25 i i     i i i             i   i       i      `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy28olcott
24 Feb 25 i i     i i i             i   i       i       +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy2joes
25 Feb 25 i i     i i i             i   i       i       i`- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy1olcott
24 Feb 25 i i     i i i             i   i       i       `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy25dbush
25 Feb 25 i i     i i i             i   i       i        `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy24olcott
25 Feb 25 i i     i i i             i   i       i         +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy22dbush
25 Feb 25 i i     i i i             i   i       i         i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy21olcott
25 Feb 25 i i     i i i             i   i       i         i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy20dbush
25 Feb 25 i i     i i i             i   i       i         i  `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy19olcott
25 Feb 25 i i     i i i             i   i       i         i   `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy18dbush
25 Feb 25 i i     i i i             i   i       i         i    `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy17olcott
25 Feb 25 i i     i i i             i   i       i         i     `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy16dbush
25 Feb 25 i i     i i i             i   i       i         i      +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy13olcott
25 Feb 25 i i     i i i             i   i       i         i      i+* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy11dbush
25 Feb 25 i i     i i i             i   i       i         i      ii`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy10olcott
25 Feb 25 i i     i i i             i   i       i         i      ii `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy9dbush
25 Feb 25 i i     i i i             i   i       i         i      i`- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy1joes
25 Feb 25 i i     i i i             i   i       i         i      `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy2olcott
25 Feb 25 i i     i i i             i   i       i         `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy1joes
24 Feb 25 i i     i i i             i   i       `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy2joes
24 Feb 25 i i     i i i             i   `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy1dbush
23 Feb 25 i i     i i i             `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy1Richard Damon
22 Feb 25 i i     i i +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy1joes
23 Feb 25 i i     i i +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy1Richard Damon
23 Feb 25 i i     i i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy13Mikko
22 Feb 25 i i     i `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
20 Feb 25 i i     `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
14 Feb 25 i `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH4Richard Damon
14 Feb 25 `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH282Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal