home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / talk / origins / 14696 < prev    next >
Encoding:
Internet Message Format  |  1992-11-23  |  1.5 KB
  1. Path: sparky!uunet!olivea!sgigate!odin!news.csd.sgi.com!fido!solntze.wpd.sgi.com!livesey
  2. From: livesey@solntze.wpd.sgi.com (Jon Livesey)
  3. Newsgroups: talk.origins
  4. Subject: Re: Laying a trap
  5. Keywords: Computer program, random, mutation, chess
  6. Message-ID: <1erkakINNb2c@fido.asd.sgi.com>
  7. Date: 23 Nov 92 22:00:52 GMT
  8. References: <1992Nov20.164903@IASTATE.EDU> <NaumuB8w165w@kalki33>
  9. Organization: sgi
  10. Lines: 25
  11. NNTP-Posting-Host: solntze.wpd.sgi.com
  12.  
  13. In article <NaumuB8w165w@kalki33>, kalki33!system@lakes.trenton.sc.us writes:
  14. |> kv07@IASTATE.EDU (Warren Vonroeschlaub) writes:
  15. |> 
  16. |> > > 5) If you are not sure whether the machine will eventually halt, then
  17. |> > > attempt to dissect the code to determine if it represents a valid
  18. |> > > algorithm or not.
  19. |> > 
  20. |> >   this is known as the halting problem.  If you have found a solution, please
  21. |> > publish it so you can claim your Nobel prize.
  22. |> 
  23. |> No, the halting problem is unsolvable. Our point was: if you give the
  24. |> machine a time interval and it is still running at the end of the
  25. |> interval, then rather than throw it out as non-halting, first spend a
  26. |> little more time trying to find something in the code that may indicate
  27. |> that it would have stopped if left alone for a little longer. That's
  28. |> all.
  29.  
  30. Gee Mr Wizard.   Isn't it going to take up a lot of your valuable
  31. time slogging through all that code by hand?
  32.  
  33. Why don't you just write a littel computer program that will read
  34. the text of the program in question, and tell you if "it would have 
  35. stopped if left alone for a little longer"
  36.  
  37. jon.
  38.