Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #107277
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Re: H(D,D) cannot even be asked about the behavior of D(D) V2 |
| Date | 2024-06-16 09:41 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <v4mtif$3cbf$1@dont-email.me> (permalink) |
| References | (1 earlier) <v4k0sr$3f4m3$1@dont-email.me> <v4k44j$3fmth$1@dont-email.me> <v4m5gj$3v41v$1@dont-email.me> <v4mmnp$1qt6$2@dont-email.me> <v4ms37$5nh5$1@i2pn2.org> |
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:
>>> On 2024-06-15 13:14:57 +0000, olcott said:
>>>> On 6/15/2024 7:19 AM, Mikko wrote:
>>>>> On 2024-06-15 03:07:14 +0000, olcott said:
>>>>>> On 6/13/2024 8:24 PM, Richard Damon wrote:
>>>>>> > On 6/13/24 11:32 AM, olcott 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".
>
I have proven it many times and this proof is simply over
everyone's heads. When I ask what your C programming skill
level is, this *is not* a rhetorical question.
00 typedef void (*ptr)(); // pointer to void function
01
02 int H0(ptr P);
03
04 void DDD()
05 {
06 H0(DDD);
07 return;
08 }
09
10 int main()
11 {
12 H0(DDD);
13 }
Line 12 main()
invokes H0(DDD); that simulates DDD()
*REPEAT UNTIL outer H0 aborts*
Line 06 simulated DDD()
invokes simulated H0(DDD); that simulates DDD()
DDD correctly simulated by H0 never reaches its own "return"
instruction and halts.
>> H is only asked about the behavior of D simulated by H and is
>> not asked about the behavior of the directly executed D(D). >>
> If H is a simulator, it must simulate the execution of D(D).
I have proven this to be a false assumption and people
maintain this false assumption entirely on the basis
that my proof is over their heads.
> 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.
>
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll 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