Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Halting Problem: sNaP
8 views
Skip to first unread message
Mr Flibble
Jul 15, 2022, 6:20:58 PM7/15/22
to
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
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
olcott
Jul 15, 2022, 6:30:33 PM7/15/22
to
--
Copyright 2022 Pete Olcott
"Talent hits a target no one else can hit;
Genius hits a target no one else can see."
Arthur Schopenhauer
0 new messages