David Steuber on 11 Oct 2003 03:48:54 -0000 |
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**
|
|