novaBBS - comp.theory - Halting Problem: sNaP

Halting Problem: sNaP

<20220715232043.000047dc@reddwarf.jmc.corp>

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

copy link Newsgroups: comp.theory comp.lang.c++

Path: i2pn2.org!i2pn.org!aioe.org!feeder1.feed.usenet.farm!feed.usenet.farm!news-out.netnews.com!news.alt.net!fdc2.netnews.com!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.ams4!peer.am4.highwinds-media.com!news.highwinds-media.com!fx12.ams4.POSTED!not-for-mail
From: flib...@reddwarf.jmc.corp (Mr Flibble)
Newsgroups: comp.theory,comp.lang.c++
Subject: Halting Problem: sNaP
Message-ID: <20220715232043.000047dc@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: 10
X-Complaints-To: abuse@eweka.nl
NNTP-Posting-Date: Fri, 15 Jul 2022 22:20:43 UTC
Date: Fri, 15 Jul 2022 23:20:43 +0100
X-Received-Bytes: 1037

by: Mr Flibble - Fri, 15 Jul 2022 22:20 UTC

I hereby introduce the sNaP, the "signaling Not a Program" exception
to be raised in the event a [Strachey 1965] "Impossible Program" is
passed to a signaling halt decider. The sNaP is analogous to the sNaN
of IEEE 754 floating point to signify the result of a mathematical
operation is undefined.

As an added bonus "sNaP" is quite catchy. :D

Re: Halting Problem: sNaP

<efmdnW-g15Hrd0z_nZ2dnUU7_8xg4p2d@giganews.com>

copy mid

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

copy link Newsgroups: comp.theory comp.lang.c++

Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!buffer1.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Fri, 15 Jul 2022 17:30:13 -0500
Date: Fri, 15 Jul 2022 17:30:13 -0500
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.11.0
Subject: Re: Halting Problem: sNaP
Content-Language: en-US
Newsgroups: comp.theory,comp.lang.c++
References: <20220715232043.000047dc@reddwarf.jmc.corp>
From: NoO...@NoWhere.com (olcott)
In-Reply-To: <20220715232043.000047dc@reddwarf.jmc.corp>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <efmdnW-g15Hrd0z_nZ2dnUU7_8xg4p2d@giganews.com>
Lines: 20
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-6QWue9GemtEuBdh5fY6bCe+W81VJQFJgbxdv5iPGvuD2JOXgHJ7DpCag6FiysmAebT7oecc8BTflUkP!etsmRVHqPu9CfiNMm1EYWbyCZiaP7i+3BfGCAayWuJQ9oy4Isn0puECr95y03IRY7qYIZSu2Sv5B!Ig==
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 1814
X-Received-Bytes: 1905

by: olcott - Fri, 15 Jul 2022 22:30 UTC

On 7/15/2022 5:20 PM, Mr Flibble wrote:
> I hereby introduce the sNaP, the "signaling Not a Program" exception
> to be raised in the event a [Strachey 1965] "Impossible Program" is
> passed to a signaling halt decider. The sNaP is analogous to the sNaN
> of IEEE 754 floating point to signify the result of a mathematical
> operation is undefined.
>
> As an added bonus "sNaP" is quite catchy. :D
>
> Copyright 2022 Mr Flibble
>

That sounds snappy.

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

Machines take me by surprise with great frequency. -- Alan Turing

devel / comp.theory / Halting Problem: sNaP

Subject	Author
Halting Problem: sNaP	Mr Flibble
Halting Problem: sNaP	olcott