home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / talk / origins / 14660 < prev    next >
Encoding:
Internet Message Format  |  1992-11-23  |  1.7 KB
  1. Path: sparky!uunet!gatech!nscf!lakes!kalki33!system
  2. From: kalki33!system@lakes.trenton.sc.us
  3. Newsgroups: talk.origins
  4. Subject: Re: Laying a trap
  5. Keywords: Computer program, random, mutation, chess
  6. Message-ID: <NaumuB8w165w@kalki33>
  7. Date: Sun, 22 Nov 92 03:47:58 EST
  8. References: <1992Nov20.164903@IASTATE.EDU>
  9. Reply-To: kalki33!system@lakes.trenton.sc.us
  10. Organization: Kalki's Infoline BBS, Aiken, SC, USA
  11. Lines: 29
  12.  
  13. kv07@IASTATE.EDU (Warren Vonroeschlaub) writes:
  14.  
  15. > > 5) If you are not sure whether the machine will eventually halt, then
  16. > > attempt to dissect the code to determine if it represents a valid
  17. > > algorithm or not.
  18. > 
  19. >   this is known as the halting problem.  If you have found a solution, please
  20. > publish it so you can claim your Nobel prize.
  21.  
  22. No, the halting problem is unsolvable. Our point was: if you give the
  23. machine a time interval and it is still running at the end of the
  24. interval, then rather than throw it out as non-halting, first spend a
  25. little more time trying to find something in the code that may indicate
  26. that it would have stopped if left alone for a little longer. That's
  27. all.
  28.  
  29. Sincerely,
  30. Kalki Dasa
  31.  
  32.  
  33.        -------------------------------------------------------
  34.       |  Don't forget to chant:   Hare Krishna Hare Krishna   |
  35.       |                           Krishna Krishna Hare Hare   |
  36.       |                           Hare Rama Hare Rama         |
  37.       |                           Rama Rama Hare Hare         |
  38.       |                                                       |
  39.       |   Kalki's Infoline BBS Aiken, South Carolina, USA     |
  40.       |        (kalki33!kalki@lakes.trenton.sc.us)            |
  41.        -------------------------------------------------------
  42.