Re: D correctly simulated by H proved for THREE YEARS --- simulating vs. deciding

Liste des GroupesRevenir à c theory 
Sujet : Re: D correctly simulated by H proved for THREE YEARS --- simulating vs. deciding
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 14. Jun 2024, 14:07:52
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v4hbqo$2sdqr$2@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
User-Agent : Mozilla Thunderbird
On 6/13/2024 12:38 PM, joes wrote:
Am Thu, 13 Jun 2024 12:06:08 -0500 schrieb olcott:
On 6/13/2024 11:53 AM, joes wrote:
Am Thu, 13 Jun 2024 07:58:27 -0500 schrieb olcott:
On 6/13/2024 3:52 AM, joes wrote:
Am Wed, 12 Jun 2024 18:12:34 -0500 schrieb olcott:
On 6/12/2024 5:59 PM, Richard Damon wrote:
On 6/12/24 12:50 PM, olcott wrote:
On 6/12/2024 6:33 AM, Richard Damon wrote:
On 6/11/24 11:34 PM, olcott wrote:
On 6/11/2024 9:32 PM, Richard Damon wrote:
On 6/11/24 8:57 PM, olcott wrote:
On 6/11/2024 7:20 PM, Python wrote:
Le 12/06/2024 à 01:23, olcott a écrit :
 
*If that was true then you could show ALL OF THE DETAILED STEPS*
*of the mapping that H(D,D) computes to derive that behavior*
Any UTM/simulator does it. But H must halt, so it's wrong on non-
terminating inputs.
A decider must halt. A simulator must have the same behaviour and can't
abort a nonterminating program. A halting decider is impossible.
>
void Infinite_Recursion(u32 N)
{
    Infinite_Recursion(N);
}
>
In other words you are saying that a simulating termination analyzer
that correctly determines that the above Infinite_Recursion cannot
possibly halt is WRONG BY DEFINITION?
Yes, because to give that result it must halt.
 
*THESE PEOPLE WOULD DISAGREE*
AProVE: Non-Termination Witnesses for C Programs
This is not a simulator.
 
Yes it does you ignorant troll.
Then AProVE symbolically executes the LLVM program
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
10 Jun 24 * Re: D correctly simulated by H proved for THREE YEARS ---373olcott
10 Jun 24 +* Re: D correctly simulated by H proved for THREE YEARS ---10joes
10 Jun 24 i+* Re: D correctly simulated by H proved for THREE YEARS ---4Mikko
10 Jun 24 ii`* Re: D correctly simulated by H proved for THREE YEARS ---3olcott
11 Jun 24 ii `* Re: D correctly simulated by H proved for THREE YEARS ---2Mikko
11 Jun 24 ii  `- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1olcott
10 Jun 24 i`* Re: D correctly simulated by H proved for THREE YEARS ---5olcott
10 Jun 24 i `* Re: D correctly simulated by H proved for THREE YEARS ---4joes
10 Jun 24 i  `* Re: D correctly simulated by H proved for THREE YEARS ---3olcott
10 Jun 24 i   `* Re: D simulated by H unproved for THREE YEARS ---2joes
10 Jun 24 i    `- Re: D simulated by H unproved for THREE YEARS ---1olcott
10 Jun 24 `* Re: D correctly simulated by H proved for THREE YEARS ---362Richard Damon
11 Jun 24  `* Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error361olcott
11 Jun 24   `* Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error360Richard Damon
11 Jun 24    `* Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error359olcott
11 Jun 24     `* Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error358Richard Damon
11 Jun 24      `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten357olcott
12 Jun 24       +* Re: D correctly simulated by H proved for THREE YEARS --- rewritten355Richard Damon
12 Jun 24       i`* Re: D correctly simulated by H proved for THREE YEARS --- rewritten354olcott
12 Jun 24       i +* Re: D correctly simulated by H proved for THREE YEARS --- rewritten302Python
12 Jun 24       i i`* Re: D correctly simulated by H proved for THREE YEARS --- rewritten301olcott
12 Jun 24       i i `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten300Richard Damon
12 Jun 24       i i  `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten299olcott
12 Jun 24       i i   `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten298Richard Damon
12 Jun 24       i i    `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules297olcott
13 Jun 24       i i     `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules296Richard Damon
13 Jun 24       i i      `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules295olcott
13 Jun 24       i i       +* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules288Richard Damon
13 Jun 24       i i       i`* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules287olcott
13 Jun 24       i i       i +* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules285Richard Damon
13 Jun 24       i i       i i`* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules284olcott
13 Jun 24       i i       i i `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules283Richard Damon
13 Jun 24       i i       i i  `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules282olcott
13 Jun 24       i i       i i   `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules281Richard Damon
13 Jun 24       i i       i i    `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules280olcott
13 Jun 24       i i       i i     +* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules274Richard Damon
13 Jun 24       i i       i i     i`* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules273olcott
13 Jun 24       i i       i i     i `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules272Richard Damon
13 Jun 24       i i       i i     i  `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules271olcott
13 Jun 24       i i       i i     i   `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules270Richard Damon
13 Jun 24       i i       i i     i    `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules269olcott
13 Jun 24       i i       i i     i     +- Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules1joes
14 Jun 24       i i       i i     i     `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules267Richard Damon
14 Jun 24       i i       i i     i      +* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules236olcott
14 Jun 24       i i       i i     i      i`* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules235Richard Damon
14 Jun 24       i i       i i     i      i `* H(D,D) cannot even be asked about the behavior of D(D)234olcott
14 Jun 24       i i       i i     i      i  +* Re: H(D,D) cannot even be asked about the behavior of D(D)231Richard Damon
14 Jun 24       i i       i i     i      i  i`* Re: H(D,D) cannot even be asked about the behavior of D(D)230olcott
14 Jun 24       i i       i i     i      i  i `* Re: H(D,D) cannot even be asked about the behavior of D(D)229Richard Damon
14 Jun 24       i i       i i     i      i  i  `* Re: H(D,D) cannot even be asked about the behavior of D(D)228olcott
14 Jun 24       i i       i i     i      i  i   +* Re: H(D,D) cannot even be asked about the behavior of D(D)169joes
14 Jun 24       i i       i i     i      i  i   i`* Re: H(D,D) cannot even be asked about the behavior of D(D)168olcott
15 Jun 24       i i       i i     i      i  i   i +- Re: H(D,D) cannot even be asked about the behavior of D(D)1Richard Damon
15 Jun 24       i i       i i     i      i  i   i `* Re: H(D,D) cannot even be asked about the behavior of D(D)166joes
15 Jun 24       i i       i i     i      i  i   i  +* Re: H(D,D) cannot even be asked about the behavior of D(D)2olcott
15 Jun 24       i i       i i     i      i  i   i  i`- Re: H(D,D) cannot even be asked about the behavior of D(D)1Richard Damon
15 Jun 24       i i       i i     i      i  i   i  `* Re: H(D,D) cannot even be asked about the behavior of D(D)163Mikko
15 Jun 24       i i       i i     i      i  i   i   `* Re: H(D,D) cannot even be asked about the behavior of D(D)162olcott
15 Jun 24       i i       i i     i      i  i   i    +- Re: H(D,D) cannot even be asked about the behavior of D(D)1Richard Damon
16 Jun 24       i i       i i     i      i  i   i    `* Re: H(D,D) cannot even be asked about the behavior of D(D)160Mikko
16 Jun 24       i i       i i     i      i  i   i     `* Re: H(D,D) cannot even be asked about the behavior of D(D)159olcott
17 Jun 24       i i       i i     i      i  i   i      `* Re: H(D,D) cannot even be asked about the behavior of D(D)158Mikko
17 Jun 24       i i       i i     i      i  i   i       `* Re: H(D,D) cannot even be asked about the behavior of D(D)157olcott
18 Jun 24       i i       i i     i      i  i   i        `* Re: H(D,D) cannot even be asked about the behavior of D(D)156Mikko
18 Jun 24       i i       i i     i      i  i   i         `* Re: H(D,D) cannot even be asked about the behavior of D(D)155olcott
18 Jun 24       i i       i i     i      i  i   i          `* Re: H(D,D) cannot even be asked about the behavior of D(D)154Mikko
18 Jun 24       i i       i i     i      i  i   i           `* Re: H(D,D) cannot even be asked about the behavior of D(D)153olcott
18 Jun 24       i i       i i     i      i  i   i            `* Re: H(D,D) cannot even be asked about the behavior of D(D)152Mikko
18 Jun 24       i i       i i     i      i  i   i             `* Re: H(D,D) cannot even be asked about the behavior of D(D)151olcott
19 Jun 24       i i       i i     i      i  i   i              `* Re: H(D,D) cannot even be asked about the behavior of D(D)150Mikko
19 Jun 24       i i       i i     i      i  i   i               `* Re: H(D,D) cannot even be asked about the behavior of D(D)149olcott
20 Jun 24       i i       i i     i      i  i   i                `* Re: H(D,D) cannot even be asked about the behavior of D(D)148Mikko
20 Jun 24       i i       i i     i      i  i   i                 `* Re: H(D,D) cannot even be asked about the behavior of D(D)147olcott
20 Jun 24       i i       i i     i      i  i   i                  `* Re: H(D,D) cannot even be asked about the behavior of D(D)146Mikko
20 Jun 24       i i       i i     i      i  i   i                   `* Re: H(D,D) cannot even be asked about the behavior of D(D)145olcott
20 Jun 24       i i       i i     i      i  i   i                    +* Re: H(D,D) cannot even be asked about the behavior of D(D)5joes
20 Jun 24       i i       i i     i      i  i   i                    i`* Re: H(D,D) cannot even be asked about the behavior of D(D)4olcott
21 Jun 24       i i       i i     i      i  i   i                    i `* Re: H(D,D) cannot even be asked about the behavior of D(D)3Fred. Zwarts
21 Jun 24       i i       i i     i      i  i   i                    i  `* Re: H(D,D) cannot even be asked about the behavior of D(D)2olcott
21 Jun 24       i i       i i     i      i  i   i                    i   `- Re: H(D,D) cannot even be asked about the behavior of D(D)1Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    +* Re: H(D,D) cannot even be asked about the behavior of D(D)56Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i`* Re: H(D,D) cannot even be asked about the behavior of D(D)55olcott
21 Jun 24       i i       i i     i      i  i   i                    i `* Re: H(D,D) cannot even be asked about the behavior of D(D)54Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i  `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply53olcott
21 Jun 24       i i       i i     i      i  i   i                    i   `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply52Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i    `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply51olcott
21 Jun 24       i i       i i     i      i  i   i                    i     `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply50Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i      +* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply47olcott
21 Jun 24       i i       i i     i      i  i   i                    i      i`* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply46Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i      i `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply45olcott
21 Jun 24       i i       i i     i      i  i   i                    i      i  `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply44Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i      i   `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply43olcott
21 Jun 24       i i       i i     i      i  i   i                    i      i    `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply42Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i      i     `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply41olcott
21 Jun 24       i i       i i     i      i  i   i                    i      i      `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply40Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i      i       `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply39olcott
21 Jun 24       i i       i i     i      i  i   i                    i      i        `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply38Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i      i         `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply37olcott
21 Jun 24       i i       i i     i      i  i   i                    i      i          `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply36Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i      i           `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply35olcott
21 Jun 24       i i       i i     i      i  i   i                    i      i            `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply34Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i      `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply2olcott
21 Jun 24       i i       i i     i      i  i   i                    `* Re: H(D,D) cannot even be asked about the behavior of D(D)83Mikko
15 Jun 24       i i       i i     i      i  i   `* Re: H(D,D) cannot even be asked about the behavior of D(D)58Richard Damon
14 Jun 24       i i       i i     i      i  `* Re: H(D,D) cannot even be asked about the behavior of D(D)2joes
15 Jun 24       i i       i i     i      +* H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies12olcott
15 Jun 24       i i       i i     i      `* H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES18olcott
13 Jun 24       i i       i i     `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules5joes
13 Jun 24       i i       i `- Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules1joes
13 Jun 24       i i       `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules6joes
12 Jun 24       i `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten51Richard Damon
12 Jun 24       `- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1Fred. Zwarts

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal