Re: H(D,D) cannot even be asked about the behavior of D(D) V2

Liste des GroupesRevenir à c theory 
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.logic
Date : 15. Jun 2024, 14:30:40
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v4k1hg$3f0hc$5@dont-email.me>
References : 1 2 3 4
User-Agent : Mozilla Thunderbird
On 6/15/2024 6:57 AM, joes wrote:
Am Fri, 14 Jun 2024 22:53:01 -0500 schrieb olcott:
On 6/14/2024 10:40 PM, Richard Damon wrote:
On 6/14/24 11:07 PM, olcott wrote:
On 6/13/2024 8:24 PM, Richard Damon wrote:
  > On 6/13/24 11:32 AM, olcott wrote:
 
H, being a Halting Decider (or are you lying about that) has exactly
one question it *IS* being asked about every input it s given, that
that is "Will the execution of the program represented by your input
Halt when run?"
Yes you are very good at memorizing textbooks now prove that the input
to H(D,D) can be transformed into the question Does D(D) halt?
H answers the question "Does my input halt?", and the input is D(D). QED.
 
The input to H(D,D) specified D correctly simulated by H and cannot
possibly specified the behavior of D(D). People simply assume that
it does specify this behavior because proving that it does not is
way above what they can understand so they use their own ignorance
as the basis to guess that I am wrong.
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.
If there is no mapping form the input to H(D,D) to the behavior
of D(D) then H is not being asked about the behavior of D(D).
--
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
15 Jun 24 * H(D,D) cannot even be asked about the behavior of D(D) V262olcott
15 Jun 24 +* Re: H(D,D) cannot even be asked about the behavior of D(D) V211Richard Damon
15 Jun 24 i`* Re: H(D,D) cannot even be asked about the behavior of D(D) V210olcott
15 Jun 24 i +* Re: H(D,D) cannot even be asked about the behavior of D(D) V23Richard Damon
15 Jun 24 i i`* Re: H(D,D) cannot even be asked about the behavior of D(D) V22olcott
15 Jun 24 i i `- Re: H(D,D) cannot even be asked about the behavior of D(D) V21Richard Damon
15 Jun 24 i `* Re: H(D,D) cannot even be asked about the behavior of D(D) V26joes
15 Jun 24 i  `* Re: H(D,D) cannot even be asked about the behavior of D(D) V25olcott
15 Jun 24 i   +* Re: H(D,D) cannot even be asked about the behavior of D(D) V23Python
15 Jun 24 i   i`* Re: H(D,D) cannot even be asked about the behavior of D(D) V22olcott
15 Jun 24 i   i `- Re: H(D,D) cannot even be asked about the behavior of D(D) V21Richard Damon
15 Jun 24 i   `- Re: H(D,D) cannot even be asked about the behavior of D(D) V21Richard Damon
15 Jun 24 +* Re: H(D,D) cannot even be asked about the behavior of D(D) V26Fred. Zwarts
15 Jun 24 i`* Re: H(D,D) cannot even be asked about the behavior of D(D) V25olcott
15 Jun 24 i +- Re: H(D,D) cannot even be asked about the behavior of D(D) V21Richard Damon
15 Jun 24 i `* Re: H(D,D) cannot even be asked about the behavior of D(D) V23Fred. Zwarts
15 Jun 24 i  `* Re: H(D,D) cannot even be asked about the behavior of D(D) V22olcott
15 Jun 24 i   `- Re: H(D,D) cannot even be asked about the behavior of D(D) V21Richard Damon
15 Jun 24 `* Re: H(D,D) cannot even be asked about the behavior of D(D) V244Mikko
15 Jun 24  `* Re: H(D,D) cannot even be asked about the behavior of D(D) V243olcott
15 Jun 24   +- Re: H(D,D) cannot even be asked about the behavior of D(D) V21Richard Damon
16 Jun 24   `* Re: H(D,D) cannot even be asked about the behavior of D(D) V241Mikko
16 Jun 24    `* Re: H(D,D) cannot even be asked about the behavior of D(D) V240olcott
16 Jun 24     +* Re: H(D,D) cannot even be asked about the behavior of D(D) V236joes
16 Jun 24     i+- Re: H(D,D) cannot even be asked about the behavior of D(D) V21Python
16 Jun 24     i+* Re: H(D,D) cannot even be asked about the behavior of D(D) V232olcott
16 Jun 24     ii+* Re: H(D,D) cannot even be asked about the behavior of D(D) V230Alan Mackenzie
16 Jun 24     iii`* Re: H(D,D) cannot even be asked about the behavior of D(D) V229olcott
16 Jun 24     iii +* Re: H(D,D) cannot even be asked about the behavior of D(D) V27Richard Damon
16 Jun 24     iii i`* Re: H(D,D) cannot even be asked about the behavior of D(D) V26olcott
16 Jun 24     iii i `* Re: H(D,D) cannot even be asked about the behavior of D(D) V25Richard Damon
16 Jun 24     iii i  `* Re: H(D,D) cannot even be asked about the behavior of D(D) V24olcott
16 Jun 24     iii i   `* Re: H(D,D) cannot even be asked about the behavior of D(D) V23Richard Damon
17 Jun 24     iii i    `* Re: H(D,D) cannot even be asked about the behavior of D(D) V22olcott
18 Jun 24     iii i     `- Re: H(D,D) cannot even be asked about the behavior of D(D) V21Richard Damon
16 Jun 24     iii +* Re: H(D,D) cannot even be asked about the behavior of D(D) V219Alan Mackenzie
16 Jun 24     iii i+- Re: H(D,D) cannot even be asked about the behavior of D(D) V21Richard Damon
16 Jun 24     iii i+* Re: H(D,D) cannot even be asked about the behavior of D(D) V211André G. Isaak
17 Jun 24     iii ii+* Re: H(D,D) cannot even be asked about the behavior of D(D) V29Python
17 Jun 24     iii iii`* Re: H(D,D) cannot even be asked about the behavior of D(D) V28Richard Damon
17 Jun 24     iii iii +- Re: H(D,D) cannot even be asked about the behavior of D(D) V21André G. Isaak
17 Jun 24     iii iii +* Re: H(D,D) cannot even be asked about the behavior of D(D) V24André G. Isaak
17 Jun 24     iii iii i+- Re: H(D,D) cannot even be asked about the behavior of D(D) V21Richard Damon
17 Jun 24     iii iii i`* Re: H(D,D) cannot even be asked about the behavior of D(D) V22olcott
18 Jun 24     iii iii i `- Re: H(D,D) cannot even be asked about the behavior of D(D) V21Richard Damon
17 Jun 24     iii iii `* Re: H(D,D) cannot even be asked about the behavior of D(D) V22olcott
18 Jun 24     iii iii  `- Re: H(D,D) cannot even be asked about the behavior of D(D) V21Richard Damon
17 Jun 24     iii ii`- Re: H(D,D) cannot even be asked about the behavior of D(D) V21olcott
17 Jun 24     iii i+- Re: H(D,D) cannot even be asked about the behavior of D(D) V21olcott
17 Jun 24     iii i`* Re: H(D,D) cannot even be asked about the behavior of D(D) V25olcott
17 Jun 24     iii i +* Re: H(D,D) cannot even be asked about the behavior of D(D) V23Fred. Zwarts
17 Jun 24     iii i i`* Re: H(D,D) cannot even be asked about the behavior of D(D) V22olcott
17 Jun 24     iii i i `- Re: H(D,D) cannot even be asked about the behavior of D(D) V21Fred. Zwarts
18 Jun 24     iii i `- Re: H(D,D) cannot even be asked about the behavior of D(D) V21Richard Damon
17 Jun 24     iii `* Re: H(D,D) cannot even be asked about the behavior of D(D) V22Mikko
17 Jun 24     iii  `- Re: H(D,D) cannot even be asked about the behavior of D(D) V21olcott
16 Jun 24     ii`- Re: H(D,D) cannot even be asked about the behavior of D(D) V21Richard Damon
17 Jun 24     i`* Re: H(D,D) cannot even be asked about the behavior of D(D) V22Mikko
17 Jun 24     i `- Re: H(D,D) cannot even be asked about the behavior of D(D) V21olcott
16 Jun 24     +- Re: H(D,D) cannot even be asked about the behavior of D(D) V21Richard Damon
17 Jun 24     `* Re: H(D,D) cannot even be asked about the behavior of D(D) V22Mikko
17 Jun 24      `- Re: H(D,D) cannot even be asked about the behavior of D(D) V21olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal