David Steuber on 11 Oct 2003 03:48:54 -0000


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: Perl source filter question


On Fri, Oct 10, 2003 at 01:25:05PM -0400, Mark Dominus wrote:
> Eric Roode said it was exceptionally difficult to solve this, but that
> wasn't strong enough.  It is impossible.  There is a mathematical
> proof that there's no solution; it's called "Rice's theorem".  But the
> content of the theorem is completely unsurprising: there are no
> shortcuts to computation; if you want to know the result of computing
> something, you actually have to compute it.

It's always interesting to learn something new.  I just learned that the
Halting Problem has yet another name.

-- 
David Steuber           |  telco:610.436.1677
302 E Marshall St       |  http://www.david-steuber.com/
Apt 612                 |  (do ((a 1 b) (b 1 (+ a b)))
West Chester, PA 19380  |      (nil a) (print a))
-
**Majordomo list services provided by PANIX <URL:http://www.panix.com>**
**To Unsubscribe, send "unsubscribe phl" to majordomo@lists.pm.org**