Rocksolid Light

Welcome to Rocksolid Light

mail  files  register  newsreader  groups  login

Message-ID:  

Don't panic.


devel / comp.theory / Re: The halting problem can't be solved

SubjectAuthor
* The halting problem can't be solvedimmibis
`* The halting problem can't be solvedolcott
 +* The halting problem can't be solvedimmibis
 |+* The halting problem can't be solvedolcott
 ||+* The halting problem can't be solvedRichard Damon
 |||`- The halting problem can't be solvedimmibis
 ||`* The halting problem can't be solvedimmibis
 || +* The halting problem can't be solved [+++]olcott
 || |`* The halting problem can't be solved [+++]immibis
 || | +* The halting problem can't be solved [+++]olcott
 || | |`- The halting problem can't be solved [+++]Richard Damon
 || | `* Re: The halting problem can't be solved [+++]olcott
 || |  `- Re: The halting problem can't be solved [+++]Richard Damon
 || `* The halting problem can't be solvedolcott
 ||  `- The halting problem can't be solvedRichard Damon
 |`* The halting problem can't be solvedMike Terry
 | +* The halting problem can't be solvedolcott
 | |`- The halting problem can't be solvedRichard Damon
 | +* The halting problem can't be solvedolcott
 | |`* The halting problem can't be solvedRichard Damon
 | | `* The halting problem can't be solvedolcott
 | |  `- The halting problem can't be solvedRichard Damon
 | +* The halting problem can't be solvedimmibis
 | |`* Re: The halting problem can't be solvedMike Terry
 | | +* Re: The halting problem can't be solvedolcott
 | | |+- Re: The halting problem can't be solvedRichard Damon
 | | |`* Re: The halting problem can't be solvedMike Terry
 | | | `* Re: The halting problem can't be solvedolcott
 | | |  +- Re: The halting problem can't be solvedRichard Damon
 | | |  `* Re: The halting problem can't be solvedimmibis
 | | |   `* Re: The halting problem can't be solvedolcott
 | | |    +- Re: The halting problem can't be solvedRichard Damon
 | | |    +* Re: The halting problem can't be solvedimmibis
 | | |    |`* Re: The halting problem can't be solvedolcott
 | | |    | +- Re: The halting problem can't be solvedRichard Damon
 | | |    | `* Re: The halting problem can't be solvedimmibis
 | | |    |  `* Re: The halting problem can't be solvedolcott
 | | |    |   +- Re: The halting problem can't be solvedRichard Damon
 | | |    |   `* Re: The halting problem can't be solvedimmibis
 | | |    |    `* Re: The halting problem can't be solvedolcott
 | | |    |     `- Re: The halting problem can't be solvedimmibis
 | | |    `* Re: The halting problem can't be solvedMikko
 | | |     `* Re: The halting problem can't be solvedolcott
 | | |      `* Re: The halting problem can't be solvedMikko
 | | |       `* Re: The halting problem can't be solvedolcott
 | | |        `- Re: The halting problem can't be solvedRichard Damon
 | | `* Re: The halting problem can't be solvedwij
 | |  +- Re: The halting problem can't be solvedolcott
 | |  `* Re: The halting problem can't be solvedMike Terry
 | |   `- Re: The halting problem can't be solvedwij
 | `- The halting problem can't be solvedolcott
 `- The halting problem can't be solvedRichard Damon

Pages:123
Re: The halting problem can't be solved

<uo8ogs$21fjn$3@dont-email.me>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=51503&group=comp.theory#51503

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polcott2@gmail.com (olcott)
Newsgroups: comp.theory
Subject: Re: The halting problem can't be solved
Date: Wed, 17 Jan 2024 08:34:04 -0600
Organization: A noiseless patient Spider
Lines: 42
Message-ID: <uo8ogs$21fjn$3@dont-email.me>
References: <unikar$1t7h7$2@dont-email.me> <unjjkh$216no$5@dont-email.me>
<unkmbs$26m1b$2@dont-email.me>
<3YGcnbMkLoknjQP4nZ2dnZfqnPWdnZ2d@brightview.co.uk>
<unlg96$2dbn1$1@dont-email.me>
<isScnUkhiqO-9gL4nZ2dnZfqnPqdnZ2d@brightview.co.uk>
<unnu1p$2sjc7$1@dont-email.me>
<SGidncfyTZlijj34nZ2dnZfqnPSdnZ2d@brightview.co.uk>
<unp8h2$32r95$1@dont-email.me> <unu51p$3v124$1@dont-email.me>
<unug1c$qqp$1@dont-email.me> <uo66pj$1gath$1@dont-email.me>
<uo6h9c$1i9h0$1@dont-email.me> <uo8d1f$1vhv7$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 17 Jan 2024 14:34:04 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="1b41256c390097af36948b7b45d23e64";
logging-data="2145911"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+g2gLuIvh/W7Cvot7cZzlz"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:nQJaKZUcKJ575Iyt4MAUaKvbjEQ=
Content-Language: en-US
In-Reply-To: <uo8d1f$1vhv7$1@dont-email.me>
 by: olcott - Wed, 17 Jan 2024 14:34 UTC

On 1/17/2024 5:18 AM, Mikko wrote:
> On 2024-01-16 18:18:20 +0000, olcott said:
>
>> On 1/16/2024 9:19 AM, Mikko wrote:
>>> On 2024-01-13 17:07:56 +0000, olcott said:
>>>
>>>> Then forget about H1 and simply know that the directly executed D(D)
>>>> reaches its final state and terminates normally and D correctly
>>>> simulated by H cannot possibly do this.
>>>
>>> I.e., H1 can simulate D(D) to its termination but H can't.
>>>
>>> Mikko
>>>
>>
>> Do you not understand the idea of infinite recursion?
>>
>> That D DOES call H(D,D) in recursive simulation and
>> D does not call H1(D,D) in recursive simulation makes
>> the behavior of D correctly simulated by H different
>> than the behavior of D correctly simulated by H1.
>>
>> If you have no idea what infinite recursion is you
>> will not be able to understand this.
>>
>> If you don't know that halting means reaching a final
>> state and terminating normally then you will not be
>> able to understand the D correctly simulated by H
>> DOES NOT HALT.
>
> Nice to see that you don't disagree.
>
> Mikko
>

I don't think that immibis understands what infinite
recursions is, thus cannot understand recursive simulation.

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

Re: The halting problem can't be solved

<uo9ug3$3l1jt$5@i2pn2.org>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=51561&group=comp.theory#51561

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!.POSTED!not-for-mail
From: richard@damon-family.org (Richard Damon)
Newsgroups: comp.theory
Subject: Re: The halting problem can't be solved
Date: Wed, 17 Jan 2024 20:22:11 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <uo9ug3$3l1jt$5@i2pn2.org>
References: <unikar$1t7h7$2@dont-email.me> <unjjkh$216no$5@dont-email.me>
<unkmbs$26m1b$2@dont-email.me>
<3YGcnbMkLoknjQP4nZ2dnZfqnPWdnZ2d@brightview.co.uk>
<unlg96$2dbn1$1@dont-email.me>
<isScnUkhiqO-9gL4nZ2dnZfqnPqdnZ2d@brightview.co.uk>
<unnu1p$2sjc7$1@dont-email.me>
<SGidncfyTZlijj34nZ2dnZfqnPSdnZ2d@brightview.co.uk>
<unp8h2$32r95$1@dont-email.me> <unu51p$3v124$1@dont-email.me>
<unug1c$qqp$1@dont-email.me> <uo66pj$1gath$1@dont-email.me>
<uo6h9c$1i9h0$1@dont-email.me> <uo8d1f$1vhv7$1@dont-email.me>
<uo8ogs$21fjn$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 18 Jan 2024 01:22:11 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="3835517"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <uo8ogs$21fjn$3@dont-email.me>
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
 by: Richard Damon - Thu, 18 Jan 2024 01:22 UTC

On 1/17/24 9:34 AM, olcott wrote:
> On 1/17/2024 5:18 AM, Mikko wrote:
>> On 2024-01-16 18:18:20 +0000, olcott said:
>>
>>> On 1/16/2024 9:19 AM, Mikko wrote:
>>>> On 2024-01-13 17:07:56 +0000, olcott said:
>>>>
>>>>> Then forget about H1 and simply know that the directly executed D(D)
>>>>> reaches its final state and terminates normally and D correctly
>>>>> simulated by H cannot possibly do this.
>>>>
>>>> I.e., H1 can simulate D(D) to its termination but H can't.
>>>>
>>>> Mikko
>>>>
>>>
>>> Do you not understand the idea of infinite recursion?
>>>
>>> That D DOES call H(D,D) in recursive simulation and
>>> D does not call H1(D,D) in recursive simulation makes
>>> the behavior of D correctly simulated by H different
>>> than the behavior of D correctly simulated by H1.
>>>
>>> If you have no idea what infinite recursion is you
>>> will not be able to understand this.
>>>
>>> If you don't know that halting means reaching a final
>>> state and terminating normally then you will not be
>>> able to understand the D correctly simulated by H
>>> DOES NOT HALT.
>>
>> Nice to see that you don't disagree.
>>
>> Mikko
>>
>
> I don't think that immibis understands what infinite
> recursions is, thus cannot understand recursive simulation.
>

You don't either, since you call it infinite recursion when it is just
D(D) calls H(D,D) to simualte D(D) which it does until it sees it call
H(D,D) at which point the first H aborts its simulation and returns to
D(D) which halts.

We never got to the 4th level of operation/simulation, which is a far
cry from infinite.

Remember, you have to look at the program you have, not the program you
want or might think you are getting.

Pages:123
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor