Rocksolid Light

Welcome to Rocksolid Light

mail  files  register  newsreader  groups  login

Message-ID:  

Calm down, it's *____only* ones and zeroes.

devel / comp.theory / The correct definition of a halting decider

SubjectAuthor
* The correct definition of a halting deciderimmibis
`* Re: The correct definition of a halting deciderolcott
 +* Re: The correct definition of a halting deciderimmibis
 |`* Re: The correct definition of a halting deciderolcott
 | `- Re: The correct definition of a halting deciderimmibis
 `- Re: The correct definition of a halting deciderRichard Damon

1
The correct definition of a halting decider

<uoj6he$6k33$1@dont-email.me>

  copy mid

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

  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: news@immibis.com (immibis)
Newsgroups: comp.theory
Subject: The correct definition of a halting decider
Date: Sun, 21 Jan 2024 14:34:37 +0100
Organization: A noiseless patient Spider
Lines: 2
Message-ID: <uoj6he$6k33$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 21 Jan 2024 13:34:39 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="a5f6c96e903c5e666cbe6a41aab3833e";
logging-data="217187"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18xPVJ3DbwuZ6nfXkp+3ik6"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
Thunderbird/102.14.0
Cancel-Lock: sha1:VvfUvr6lWmjbpTqq0XDFDIII/oc=
Content-Language: en-US
 by: immibis - Sun, 21 Jan 2024 13:34 UTC

The correct definition of a halting decider is a program which returns
0. Every program doesn't halt if it's aborted before it would have halted.

Re: The correct definition of a halting decider

<uojdhp$7lv2$2@dont-email.me>

  copy mid

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

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!nntp.comgw.net!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 correct definition of a halting decider
Date: Sun, 21 Jan 2024 09:34:17 -0600
Organization: A noiseless patient Spider
Lines: 10
Message-ID: <uojdhp$7lv2$2@dont-email.me>
References: <uoj6he$6k33$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 21 Jan 2024 15:34:17 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="1d384058d8639f9e128ec682a989e290";
logging-data="251874"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18NySJWpiVkdaSJakksQbTJ"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:/lXsF3ywlRRE5Daas4YABlwsJJU=
Content-Language: en-US
In-Reply-To: <uoj6he$6k33$1@dont-email.me>
 by: olcott - Sun, 21 Jan 2024 15:34 UTC

On 1/21/2024 7:34 AM, immibis wrote:
> The correct definition of a halting decider is a program which returns
> 0.

Halt deciders must return 0 or 1 (or the equivalent)

--
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 correct definition of a halting decider

<uojlv6$91u5$2@dont-email.me>

  copy mid

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

  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: news@immibis.com (immibis)
Newsgroups: comp.theory
Subject: Re: The correct definition of a halting decider
Date: Sun, 21 Jan 2024 18:57:58 +0100
Organization: A noiseless patient Spider
Lines: 8
Message-ID: <uojlv6$91u5$2@dont-email.me>
References: <uoj6he$6k33$1@dont-email.me> <uojdhp$7lv2$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 21 Jan 2024 17:57:58 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="e47cba30f3c4b8d51651db87d54658c0";
logging-data="296901"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+ZCwSUpgkGkFM9Qxc3jEmf"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
Thunderbird/102.14.0
Cancel-Lock: sha1:uAXBEyVUR9eTV6bc1txpjoX44Y0=
Content-Language: en-US
In-Reply-To: <uojdhp$7lv2$2@dont-email.me>
 by: immibis - Sun, 21 Jan 2024 17:57 UTC

On 1/21/24 16:34, olcott wrote:
> On 1/21/2024 7:34 AM, immibis wrote:
>> The correct definition of a halting decider is a program which returns 0.
>
> Halt deciders must return 0 or 1 (or the equivalent)
>

0 is 0 or 1.

Re: The correct definition of a halting decider

<uojmub$24b3$5@i2pn2.org>

  copy mid

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

  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 correct definition of a halting decider
Date: Sun, 21 Jan 2024 13:14:35 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <uojmub$24b3$5@i2pn2.org>
References: <uoj6he$6k33$1@dont-email.me> <uojdhp$7lv2$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 21 Jan 2024 18:14:35 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="69987"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <uojdhp$7lv2$2@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
 by: Richard Damon - Sun, 21 Jan 2024 18:14 UTC

On 1/21/24 10:34 AM, olcott wrote:
> On 1/21/2024 7:34 AM, immibis wrote:
>> The correct definition of a halting decider is a program which returns 0.
>
> Halt deciders must return 0 or 1 (or the equivalent)
>

And that answer must correspond to whether the computation described by
the input returns an answer.

And not look at some OTHER compuation that it confuses the input with.

Re: The correct definition of a halting decider

<uojo85$aq1m$2@dont-email.me>

  copy mid

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

  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 correct definition of a halting decider
Date: Sun, 21 Jan 2024 12:36:53 -0600
Organization: A noiseless patient Spider
Lines: 21
Message-ID: <uojo85$aq1m$2@dont-email.me>
References: <uoj6he$6k33$1@dont-email.me> <uojdhp$7lv2$2@dont-email.me>
<uojlv6$91u5$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 21 Jan 2024 18:36:53 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="1d384058d8639f9e128ec682a989e290";
logging-data="354358"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+xVM8Ek06UMp9I86Y+CIzl"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:h+sCES9rhvVu7r5Lx29QDJTm9jM=
Content-Language: en-US
In-Reply-To: <uojlv6$91u5$2@dont-email.me>
 by: olcott - Sun, 21 Jan 2024 18:36 UTC

On 1/21/2024 11:57 AM, immibis wrote:
> On 1/21/24 16:34, olcott wrote:
>> On 1/21/2024 7:34 AM, immibis wrote:
>>> The correct definition of a halting decider is a program which
>>> returns 0.
>>
>> Halt deciders must return 0 or 1 (or the equivalent)
>>
>
> 0 is 0 or 1.

So that you are fore warned I will simply ignore
stupid shit that you say and not respond.

Saying that 0 is 0 or 1 will be recognized as stupid
shit by anyone that is neither stupid nor dishonest.

--
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 correct definition of a halting decider

<uojp7r$b0an$1@dont-email.me>

  copy mid

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

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!news.samoylyk.net!paganini.bofh.team!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: news@immibis.com (immibis)
Newsgroups: comp.theory
Subject: Re: The correct definition of a halting decider
Date: Sun, 21 Jan 2024 19:53:47 +0100
Organization: A noiseless patient Spider
Lines: 22
Message-ID: <uojp7r$b0an$1@dont-email.me>
References: <uoj6he$6k33$1@dont-email.me> <uojdhp$7lv2$2@dont-email.me>
<uojlv6$91u5$2@dont-email.me> <uojo85$aq1m$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 21 Jan 2024 18:53:48 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="e47cba30f3c4b8d51651db87d54658c0";
logging-data="360791"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19XodhH5Ez1UcSusF0ncB8h"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
Thunderbird/102.14.0
Cancel-Lock: sha1:GpV/95jFC7CzxIAjCdkmW0SP3rk=
In-Reply-To: <uojo85$aq1m$2@dont-email.me>
Content-Language: en-US
 by: immibis - Sun, 21 Jan 2024 18:53 UTC

On 1/21/24 19:36, olcott wrote:
> On 1/21/2024 11:57 AM, immibis wrote:
>> On 1/21/24 16:34, olcott wrote:
>>> On 1/21/2024 7:34 AM, immibis wrote:
>>>> The correct definition of a halting decider is a program which
>>>> returns 0.
>>>
>>> Halt deciders must return 0 or 1 (or the equivalent)
>>>
>>
>> 0 is 0 or 1.
>
> So that you are fore warned I will simply ignore
> stupid shit that you say and not respond.
>
> Saying that 0 is 0 or 1 will be recognized as stupid
> shit by anyone that is neither stupid nor dishonest.
>

so you are saying that 0 isn't 0 or 1?

what is 0 then? is it 2?

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor