Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.theory > #107278

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

From Alan Mackenzie <acm@muc.de>
Newsgroups comp.theory
Subject Re: H(D,D) cannot even be asked about the behavior of D(D) V2
Date 2024-06-16 15:02 +0000
Organization muc.de e.V.
Message-ID <v4muph$1sav$1@news.muc.de> (permalink)
References (2 earlier) <v4k44j$3fmth$1@dont-email.me> <v4m5gj$3v41v$1@dont-email.me> <v4mmnp$1qt6$2@dont-email.me> <v4ms37$5nh5$1@i2pn2.org> <v4mtif$3cbf$1@dont-email.me>

Show all headers | View raw


olcott <polcott333@gmail.com> wrote:
> On 6/16/2024 9:16 AM, joes wrote:
>> Am Sun, 16 Jun 2024 07:44:41 -0500 schrieb olcott:
>>> On 6/16/2024 2:50 AM, Mikko wrote:

>>>> Whenever a decider is run it answers the question it is made to answer.
>>> Not necessarily. Just because everyone falsely assumes that D correctly
>>> simulated by H must have the same behavior as the directly executed D(D)
>>> does not make this false assumption true.

>> You still need to explain how you can call a simulation that differs from
>> the behaviour of its input "correct".

Indeed, you do.

> I have proven it many times and this proof is simply over
> everyone's heads.

Nonsense!  How about, instead of "proving", actually explaining?  If a
simulation differs from its original, it's not a simulation; it's just a
random program.

> When I ask what your C programming skill level is, this *is not* a
> rhetorical question.

The question has nothing to do with C programming.

[ .... ]

>> If H is a simulator, it must simulate the execution of D(D).

> I have proven this to be a false assumption ....

It isn't an assumption, it's a definition.

> .... and people maintain this false assumption entirely on the basis
> that my proof is over their heads.

Most of the people on this newgroup, apart from yourself, are experts on
the subject.  Nothing you can conjure up is going to be "over their
heads".  They've seen it all before.

>> H does not compute the answer to "What does H say about its input?",
>> since it could answer anything then.
>> It makes no sense to call a wrong answer the correct answer to a different
>> question.

Indeed.

> -- 
> Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
> hits a target no one else can see." Arthur Schopenhauer

-- 
Alan Mackenzie (Nuremberg, Germany).

Back to comp.theory | Previous | NextPrevious in thread | Next in thread | Find similar | Unroll thread


Thread

H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-14 22:07 -0500
  Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-14 23:40 -0400
    Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-14 22:53 -0500
      Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-15 06:56 -0400
        Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-15 08:32 -0500
          Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-15 09:52 -0400
      Re: H(D,D) cannot even be asked about the behavior of D(D) V2 joes <noreply@example.com> - 2024-06-15 11:57 +0000
        Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-15 07:30 -0500
          Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Python <python@invalid.org> - 2024-06-15 14:57 +0200
            Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-15 08:17 -0500
              Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-15 09:52 -0400
          Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-15 09:52 -0400
  Re: H(D,D) cannot even be asked about the behavior of D(D) V2 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-15 11:08 +0200
    Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-15 07:14 -0500
      Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-15 09:52 -0400
      Re: H(D,D) cannot even be asked about the behavior of D(D) V2 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-15 16:15 +0200
        Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-15 09:28 -0500
          Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-15 10:41 -0400
  Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Mikko <mikko.levanto@iki.fi> - 2024-06-15 15:19 +0300
    Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-15 08:14 -0500
      Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-15 09:52 -0400
      Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Mikko <mikko.levanto@iki.fi> - 2024-06-16 10:50 +0300
        Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-16 07:44 -0500
          Re: H(D,D) cannot even be asked about the behavior of D(D) V2 joes <noreply@example.com> - 2024-06-16 14:16 +0000
            Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Python <python@invalid.org> - 2024-06-16 16:38 +0200
            Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-16 09:41 -0500
              Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Alan Mackenzie <acm@muc.de> - 2024-06-16 15:02 +0000
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-16 12:44 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-16 14:06 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-16 13:10 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-16 14:33 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-16 13:50 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-16 15:01 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-17 08:33 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-17 18:54 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Alan Mackenzie <acm@muc.de> - 2024-06-16 21:06 +0000
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-16 17:36 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 André G. Isaak <agisaak@gm.invalid> - 2024-06-16 15:58 -0600
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Python <python@invalid.org> - 2024-06-17 00:21 +0200
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-16 19:26 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 André G. Isaak <agisaak@gm.invalid> - 2024-06-16 18:33 -0600
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 André G. Isaak <agisaak@gm.invalid> - 2024-06-16 18:44 -0600
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-16 21:12 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-17 08:19 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-17 18:55 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-17 08:17 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-17 19:11 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-17 08:14 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-17 08:14 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-17 08:43 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-17 16:13 +0200
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-17 09:33 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-17 16:48 +0200
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-17 19:13 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Mikko <mikko.levanto@iki.fi> - 2024-06-17 10:39 +0300
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-17 08:13 -0500
              Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-16 13:30 -0400
            Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Mikko <mikko.levanto@iki.fi> - 2024-06-17 10:36 +0300
              Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-17 08:13 -0500
          Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Richard Damon <richard@damon-family.org> - 2024-06-16 13:30 -0400
          Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Mikko <mikko.levanto@iki.fi> - 2024-06-17 10:32 +0300
            Re: H(D,D) cannot even be asked about the behavior of D(D) V2 olcott <polcott333@gmail.com> - 2024-06-17 08:12 -0500

csiph-web