Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Landru! Guide us! -- A Beta 3-oid, "The Return of the Archons", stardate 3157.4

devel / comp.theory / Re: Test cases (Halting Probem)

SubjectAuthor
* Test cases (Halting Probem)Mr Flibble
`* Test cases (Halting Probem)Fred. Zwarts
 +- Test cases (Halting Probem)Mr Flibble
 `- Test cases (Halting Probem)Richard Damon

1
Test cases (Halting Probem)

<20220829170652.00007a19@reddwarf.jmc.corp>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=38828&group=comp.theory#38828

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!newsreader4.netcologne.de!news.netcologne.de!peer03.ams1!peer.ams1.xlned.com!news.xlned.com!peer02.ams4!peer.am4.highwinds-media.com!news.highwinds-media.com!fx03.ams4.POSTED!not-for-mail
From: flib...@reddwarf.jmc.corp (Mr Flibble)
Newsgroups: comp.theory
Subject: Test cases (Halting Probem)
Message-ID: <20220829170652.00007a19@reddwarf.jmc.corp>
Organization: Jupiter Mining Corporation
X-Newsreader: Claws Mail 4.1.0 (GTK 3.24.33; x86_64-w64-mingw32)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Lines: 65
X-Complaints-To: abuse@eweka.nl
NNTP-Posting-Date: Mon, 29 Aug 2022 16:06:52 UTC
Date: Mon, 29 Aug 2022 17:06:52 +0100
X-Received-Bytes: 1264
 by: Mr Flibble - Mon, 29 Aug 2022 16:06 UTC

Test case #1

void Px(ptr x)
{ return;
}

int main()
{ Output("Input_Halts = ", H(Px, Px));
}

Input_Halts = 1

Test case #2

void Px(ptr x)
{ for(;;);
}

int main()
{ Output("Input_Halts = ", H(Px, Px));
}

Input_Halts = 0

Test case #3

void Px(ptr x)
{ if (H(x, x))
for(;;);
return;
}

int main()
{ Output("Input_Halts = ", H(Px, Px));
}

Input_Halts =*** sNaP exception ***

Test case #4

void Px(ptr x)
{ (void)H(x, x);
return;
}

int main()
{ Output("Input_Halts = ", H(Px, Px));
}

Input_Halts = 1

/Flibble

Re: Test cases (Halting Probem)

<teito6$842$1@gioia.aioe.org>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=38835&group=comp.theory#38835

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!aioe.org!28Gug6axEez0hNfVDQSrFw.user.46.165.242.91.POSTED!not-for-mail
From: F.Zwa...@KVI.nl (Fred. Zwarts)
Newsgroups: comp.theory
Subject: Re: Test cases (Halting Probem)
Date: Mon, 29 Aug 2022 19:41:26 +0200
Organization: Aioe.org NNTP Server
Message-ID: <teito6$842$1@gioia.aioe.org>
References: <20220829170652.00007a19@reddwarf.jmc.corp>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="8322"; posting-host="28Gug6axEez0hNfVDQSrFw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.2.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: nl, en-GB
 by: Fred. Zwarts - Mon, 29 Aug 2022 17:41 UTC

Op 29.aug..2022 om 18:06 schreef Mr Flibble:

> ...
>
> Test case #3
>
> void Px(ptr x)
> {
> if (H(x, x))
> for(;;);
> return;
> }
>
> int main()
> {
> Output("Input_Halts = ", H(Px, Px));
> }
>
> Input_Halts =*** sNaP exception ***
>
> ...

I don't understand how '*** sNaP exception ***' is printed. Is that
output from H? Is main informed about the exception? Or is H not giving
any answer to main when the exception happens?

Re: Test cases (Halting Probem)

<20220829185507.000050b3@reddwarf.jmc.corp>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=38837&group=comp.theory#38837

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!news.mixmin.net!news2.arglkargh.de!news.karotte.org!news.uzoreto.com!peer02.ams4!peer.am4.highwinds-media.com!news.highwinds-media.com!fx14.ams4.POSTED!not-for-mail
From: flib...@reddwarf.jmc.corp (Mr Flibble)
Newsgroups: comp.theory
Subject: Re: Test cases (Halting Probem)
Message-ID: <20220829185507.000050b3@reddwarf.jmc.corp>
References: <20220829170652.00007a19@reddwarf.jmc.corp>
<teito6$842$1@gioia.aioe.org>
Organization: Jupiter Mining Corporation
X-Newsreader: Claws Mail 4.1.0 (GTK 3.24.33; x86_64-w64-mingw32)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Lines: 33
X-Complaints-To: abuse@eweka.nl
NNTP-Posting-Date: Mon, 29 Aug 2022 17:55:07 UTC
Date: Mon, 29 Aug 2022 18:55:07 +0100
X-Received-Bytes: 1283
 by: Mr Flibble - Mon, 29 Aug 2022 17:55 UTC

On Mon, 29 Aug 2022 19:41:26 +0200
"Fred. Zwarts" <F.Zwarts@KVI.nl> wrote:

> Op 29.aug..2022 om 18:06 schreef Mr Flibble:
>
> > ...
> >
> > Test case #3
> >
> > void Px(ptr x)
> > {
> > if (H(x, x))
> > for(;;);
> > return;
> > }
> >
> > int main()
> > {
> > Output("Input_Halts = ", H(Px, Px));
> > }
> >
> > Input_Halts =*** sNaP exception ***
> >
> > ...
>
> I don't understand how '*** sNaP exception ***' is printed. Is that
> output from H? Is main informed about the exception? Or is H not
> giving any answer to main when the exception happens?

Details.

/Flibble

Re: Test cases (Halting Probem)

<2VdPK.1851$Ny99.1188@fx16.iad>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=38868&group=comp.theory#38868

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!fx16.iad.POSTED!not-for-mail
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0)
Gecko/20100101 Thunderbird/91.13.0
Subject: Re: Test cases (Halting Probem)
Content-Language: en-US
Newsgroups: comp.theory
References: <20220829170652.00007a19@reddwarf.jmc.corp>
<teito6$842$1@gioia.aioe.org>
From: Rich...@Damon-Family.org (Richard Damon)
In-Reply-To: <teito6$842$1@gioia.aioe.org>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Lines: 38
Message-ID: <2VdPK.1851$Ny99.1188@fx16.iad>
X-Complaints-To: abuse@easynews.com
Organization: Forte - www.forteinc.com
X-Complaints-Info: Please be sure to forward a copy of ALL headers otherwise we will be unable to process your complaint properly.
Date: Mon, 29 Aug 2022 21:41:18 -0400
X-Received-Bytes: 1782
 by: Richard Damon - Tue, 30 Aug 2022 01:41 UTC

On 8/29/22 1:41 PM, Fred. Zwarts wrote:
> Op 29.aug..2022 om 18:06 schreef Mr Flibble:
>
>> ...
>> Test case #3
>>
>> void Px(ptr x)
>> {
>>     if (H(x, x))
>>     for(;;);
>>     return;
>> }
>>
>> int main()
>> {
>>     Output("Input_Halts = ", H(Px, Px));
>> }
>>
>> Input_Halts =*** sNaP exception ***
>>
>> ...
>
> I don't understand how '*** sNaP exception ***' is printed. Is that
> output from H? Is main informed about the exception? Or is H not giving
> any answer to main when the exception happens?
>
>

Yes, that is a detail that Mr Flibble can't handle.

He want the exception to be "an answer" but not one that Px can get and
process.

This is a fundamental break in the computational mechanics.

This version seems to be what I have called the "Blue Sceen of Death"
version, which means you can't actually ask if a computation would
result in a sNaP exception.

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor