Sujet : Re: H(D,D) cannot even be asked about the behavior of D(D) V2
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logicDate : 15. Jun 2024, 13:14:32
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v4k0j9$3f0hc$2@dont-email.me>
References : 1 2
User-Agent : Mozilla Thunderbird
On 6/15/2024 4:08 AM, Fred. Zwarts wrote:
Op 15.jun.2024 om 05:07 schreef olcott:
On 6/13/2024 8:24 PM, Richard Damon wrote:
> On 6/13/24 11:32 AM, olcott wrote:
>>
>> It is contingent upon you to show the exact steps of how H computes
>> the mapping from the x86 machine language finite string input to
>> H(D,D) using the finite string transformation rules specified by
>> the semantics of the x86 programming language that reaches the
>> behavior of the directly executed D(D)
>>
>
> Why? I don't claim it can.
>
_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]
>
If there is no mapping from the input to H(D,D) to the behavior
of D(D) then H is not even being asked about the behavior of D(D).
H has no obligation to answer questions *THAT IT IS NOT BEING ASKED*
>
H does not answer questions.
*Wrongo*
In computability theory and computational complexity theory, a
decision problem is a computational problem that can be posed
as a yes–no question of the input values.
https://en.wikipedia.org/wiki/Decision_problemIt produces a result that must be interpreted. It is the programmer who is asked a question: Can you write a program with a result that can be interpreted as whether D halts or does not halt.
You are confirming that no such program can be written. Which was to be expected, since there is a proof that no such program exists.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
| Date | Sujet | # | | Auteur |
| 15 Jun 24 |  H(D,D) cannot even be asked about the behavior of D(D) V2 | 62 | | olcott |
| 15 Jun 24 |  Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 11 | | Richard Damon |
| 15 Jun 24 |   Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 10 | | olcott |
| 15 Jun 24 |  Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 3 | | Richard Damon |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 2 | | olcott |
| 15 Jun 24 |  Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | Richard Damon |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 6 | | joes |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 5 | | olcott |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 3 | | Python |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 2 | | olcott |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | Richard Damon |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | Richard Damon |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 6 | | Fred. Zwarts |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 5 | | olcott |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | Richard Damon |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 3 | | Fred. Zwarts |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 2 | | olcott |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | Richard Damon |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 44 | | Mikko |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 43 | | olcott |
| 15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | Richard Damon |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 41 | | Mikko |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 40 | | olcott |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 36 | | joes |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | Python |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 32 | | olcott |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 30 | | Alan Mackenzie |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 29 | | olcott |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 7 | | Richard Damon |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 6 | | olcott |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 5 | | Richard Damon |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 4 | | olcott |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 3 | | Richard Damon |
| 17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 2 | | olcott |
| 18 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | Richard Damon |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 19 | | Alan Mackenzie |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | Richard Damon |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 11 | | André G. Isaak |
| 17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 9 | | Python |
| 17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 8 | | Richard Damon |
| 17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | André G. Isaak |
| 17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 4 | | André G. Isaak |
| 17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | Richard Damon |
| 17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 2 | | olcott |
| 18 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | Richard Damon |
| 17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 2 | | olcott |
| 18 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | Richard Damon |
| 17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | olcott |
| 17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | olcott |
| 17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 5 | | olcott |
| 17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 3 | | Fred. Zwarts |
| 17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 2 | | olcott |
| 17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | Fred. Zwarts |
| 18 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | Richard Damon |
| 17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 2 | | Mikko |
| 17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | olcott |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | Richard Damon |
| 17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 2 | | Mikko |
| 17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | olcott |
| 16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | Richard Damon |
| 17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 2 | | Mikko |
| 17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 | 1 | | olcott |