Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules

Liste des GroupesRevenir à s logic 
Sujet : Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 13. Jun 2024, 01:12:34
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v4da12$1sioe$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
User-Agent : Mozilla Thunderbird
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 :
...
It turns out that by the generic definition of a decider
what the directly executed D(D) does is not any of the
business of H.
>
LOL
>
>
There are no finite string transformations from the input
to H to the behavior of D(D), thus the behavior of D(D)
is irrelevant.
>
>
Of course there is.
>
That is exactly what the definition of a UTM is.
>
>
Unless we are as concrete as the x86 language truth slips
though the cracks of vagueness.
>
Show each step of DDD correctly simulated by HH such that
DDD terminates normally.
>
WHy? I never claimed that to be true.
>
The lack of finding a couter example doesn't prove that no counter example exists, it might just not be discovered.
>
>
On 5/29/2021 2:26 PM, olcott wrote:
https://groups.google.com/g/comp.theory/c/dTvIY5NX6b4/m/cHR2ZPgPBAAJ
>
*This is still Truthmaker Maximalism*
The actual behavior of the input to H(D,D) is the truthmaker
for halt decider H.
 Which is DEFINED to be the behavior of the program described by the input when directly run.
 
*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*
*A LEAP OF FAITH DOES NOT COUNT IN THE THEORY OF COMPUTATION*
*SHOW ME THE DETAILED STEPS*
_D()
[00000cfc](01) 55          push ebp
[00000cfd](02) 8bec        mov ebp,esp
[00000cff](03) 8b4508      mov eax,[ebp+08]
[00000d02](01) 50          push eax       ; push D
[00000d03](03) 8b4d08      mov ecx,[ebp+08]
[00000d06](01) 51          push ecx       ; push D
[00000d07](05) e800feffff  call 00000b0c  ; call H
[00000d0c](03) 83c408      add esp,+08
[00000d0f](02) 85c0        test eax,eax
[00000d11](02) 7404        jz 00000d17
[00000d13](02) 33c0        xor eax,eax
[00000d15](02) eb05        jmp 00000d1c
[00000d17](05) b801000000  mov eax,00000001
[00000d1c](01) 5d          pop ebp
[00000d1d](01) c3          ret
Size in bytes:(0034) [00000d1d]
--
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 ---270olcott
10 Jun 24 +* Re: D correctly simulated by H proved for THREE YEARS ---267Richard Damon
11 Jun 24 i`* Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error266olcott
11 Jun 24 i `* Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error265Richard Damon
11 Jun 24 i  `* Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error264olcott
11 Jun 24 i   `* Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error263Richard Damon
11 Jun 24 i    `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten262olcott
12 Jun 24 i     +* Re: D correctly simulated by H proved for THREE YEARS --- rewritten260Richard Damon
12 Jun 24 i     i`* Re: D correctly simulated by H proved for THREE YEARS --- rewritten259olcott
12 Jun 24 i     i +* Re: D correctly simulated by H proved for THREE YEARS --- rewritten223Python
12 Jun 24 i     i i`* Re: D correctly simulated by H proved for THREE YEARS --- rewritten222olcott
12 Jun 24 i     i i `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten221Richard Damon
12 Jun 24 i     i i  `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten220olcott
12 Jun 24 i     i i   `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten219Richard Damon
12 Jun 24 i     i i    `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules218olcott
13 Jun 24 i     i i     `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules217Richard Damon
13 Jun 24 i     i i      `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules216olcott
13 Jun 24 i     i i       `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules215Richard Damon
13 Jun 24 i     i i        `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules214olcott
13 Jun 24 i     i i         `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules213Richard Damon
13 Jun 24 i     i i          `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules212olcott
13 Jun 24 i     i i           `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules211Richard Damon
13 Jun 24 i     i i            `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules210olcott
13 Jun 24 i     i i             `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules209Richard Damon
13 Jun 24 i     i i              `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules208olcott
13 Jun 24 i     i i               `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules207Richard Damon
13 Jun 24 i     i i                `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules206olcott
13 Jun 24 i     i i                 `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules205Richard Damon
13 Jun 24 i     i i                  `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules204olcott
13 Jun 24 i     i i                   `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules203Richard Damon
13 Jun 24 i     i i                    `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules202olcott
14 Jun 24 i     i i                     `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules201Richard Damon
14 Jun 24 i     i i                      +* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules172olcott
14 Jun 24 i     i i                      i`* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules171Richard Damon
14 Jun 24 i     i i                      i `* H(D,D) cannot even be asked about the behavior of D(D)170olcott
14 Jun 24 i     i i                      i  `* Re: H(D,D) cannot even be asked about the behavior of D(D)169Richard Damon
14 Jun 24 i     i i                      i   `* Re: H(D,D) cannot even be asked about the behavior of D(D)168olcott
14 Jun 24 i     i i                      i    `* Re: H(D,D) cannot even be asked about the behavior of D(D)167Richard Damon
14 Jun 24 i     i i                      i     `* Re: H(D,D) cannot even be asked about the behavior of D(D)166olcott
15 Jun 24 i     i i                      i      +* Re: H(D,D) cannot even be asked about the behavior of D(D)58Richard Damon
15 Jun 24 i     i i                      i      i`* Re: H(D,D) cannot even be asked about the behavior of D(D)57olcott
15 Jun 24 i     i i                      i      i `* Re: H(D,D) cannot even be asked about the behavior of D(D)56Richard Damon
15 Jun 24 i     i i                      i      i  +* Re: H(D,D) cannot even be asked about the behavior of D(D)6olcott
15 Jun 24 i     i i                      i      i  i`* Re: H(D,D) cannot even be asked about the behavior of D(D)5Richard Damon
15 Jun 24 i     i i                      i      i  i `* Re: H(D,D) cannot even be asked about the behavior of D(D)4olcott
15 Jun 24 i     i i                      i      i  i  `* Re: H(D,D) cannot even be asked about the behavior of D(D)3Richard Damon
15 Jun 24 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    `- Re: H(D,D) cannot even be asked about the behavior of D(D)1Richard Damon
15 Jun 24 i     i i                      i      i  `* Re: H(D,D) cannot even be asked about the behavior of D(D)49olcott
15 Jun 24 i     i i                      i      i   `* Re: H(D,D) cannot even be asked about the behavior of D(D)48Richard Damon
15 Jun 24 i     i i                      i      i    `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.47olcott
15 Jun 24 i     i i                      i      i     +* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.39Richard Damon
15 Jun 24 i     i i                      i      i     i`* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.38olcott
15 Jun 24 i     i i                      i      i     i `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.37Richard Damon
15 Jun 24 i     i i                      i      i     i  `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.36olcott
15 Jun 24 i     i i                      i      i     i   `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.35Richard Damon
15 Jun 24 i     i i                      i      i     i    `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.34olcott
15 Jun 24 i     i i                      i      i     i     `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.33Richard Damon
15 Jun 24 i     i i                      i      i     i      `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.32olcott
15 Jun 24 i     i i                      i      i     i       `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.31Richard Damon
15 Jun 24 i     i i                      i      i     i        `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.30olcott
15 Jun 24 i     i i                      i      i     i         `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.29Richard Damon
15 Jun 24 i     i i                      i      i     i          `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.28olcott
15 Jun 24 i     i i                      i      i     i           `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.27Richard Damon
15 Jun 24 i     i i                      i      i     i            `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.26olcott
15 Jun 24 i     i i                      i      i     i             `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.25Richard Damon
15 Jun 24 i     i i                      i      i     i              `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.24olcott
15 Jun 24 i     i i                      i      i     i               `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.23Richard Damon
15 Jun 24 i     i i                      i      i     i                `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.22olcott
15 Jun 24 i     i i                      i      i     i                 `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.21Richard Damon
15 Jun 24 i     i i                      i      i     i                  `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.20olcott
15 Jun 24 i     i i                      i      i     i                   `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.19Richard Damon
15 Jun 24 i     i i                      i      i     i                    `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.18olcott
15 Jun 24 i     i i                      i      i     i                     `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.17Richard Damon
15 Jun 24 i     i i                      i      i     i                      `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.16olcott
15 Jun 24 i     i i                      i      i     i                       `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.15Richard Damon
15 Jun 24 i     i i                      i      i     i                        `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.14olcott
15 Jun 24 i     i i                      i      i     i                         `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.13Richard Damon
15 Jun 24 i     i i                      i      i     i                          `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.12olcott
16 Jun 24 i     i i                      i      i     i                           `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.11Richard Damon
16 Jun 24 i     i i                      i      i     i                            `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.10olcott
16 Jun 24 i     i i                      i      i     i                             `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.9Richard Damon
16 Jun 24 i     i i                      i      i     i                              `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.8olcott
16 Jun 24 i     i i                      i      i     i                               `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.7Richard Damon
16 Jun 24 i     i i                      i      i     i                                `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.6olcott
16 Jun 24 i     i i                      i      i     i                                 `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.5Richard Damon
16 Jun 24 i     i i                      i      i     i                                  `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.4olcott
16 Jun 24 i     i i                      i      i     i                                   `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.3Richard Damon
16 Jun 24 i     i i                      i      i     i                                    `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.2olcott
16 Jun 24 i     i i                      i      i     i                                     `- Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.1Richard Damon
15 Jun 24 i     i i                      i      i     `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.7joes
15 Jun 24 i     i i                      i      i      `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.6olcott
15 Jun 24 i     i i                      i      i       `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. (Just misunderstood)5Richard Damon
15 Jun 24 i     i i                      i      i        +* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. (Just misunderstood)2olcott
15 Jun 24 i     i i                      i      i        i`- Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. (Just misunderstood)1Richard Damon
15 Jun 24 i     i i                      i      i        `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. (Just misunderstood)2olcott
15 Jun 24 i     i i                      i      i         `- Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. (Just misunderstood)1Richard Damon
21 Jun 24 i     i i                      i      +* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply48olcott
21 Jun 24 i     i i                      i      i`* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply47Richard Damon
21 Jun 24 i     i i                      i      i +* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply44olcott
21 Jun 24 i     i i                      i      i i`* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply43Richard Damon
21 Jun 24 i     i i                      i      i `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply2olcott
22 Jun 24 i     i i                      i      `* DDD correctly emulated by H059olcott
15 Jun 24 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                      `* H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES16olcott
12 Jun 24 i     i `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten35Richard Damon
12 Jun 24 i     `- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1Fred. Zwarts
10 Jun 24 +- Re: D correctly simulated by H proved for THREE YEARS ---1olcott
11 Jun 24 `- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal