<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><span style="font-family:arial,sans-serif">On Sat, Jul 1, 2017 at 3:57 AM, Stuart LaForge </span><span dir="ltr" style="font-family:arial,sans-serif"><<a href="mailto:avant@sollegro.com" target="_blank">avant@sollegro.com</a>></span><span style="font-family:arial,sans-serif"> wrote:</span><br></div><div class="gmail_extra"><div class="gmail_quote">
<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="gmail_default" style="font-family:arial,helvetica,sans-serif;display:inline">​> ​</div>One characteristic of Turing machines is that they are subject to the Halting Problem. Briefly, the HP is the mathematical theorem that there is, in principle, no way to predict whether any given TM will, for any given input, eventually stop or get stuck in an infinite loop.<br></blockquote><div><br></div><div><div class="gmail_default"><font face="arial, helvetica, sans-serif">​</font><font size="4">Actually "loop" isn't quite the right word because loops repeat and a machine could theoretically tell if it's been in its present state before; but Turing showed that sometimes you could be on a hopeless task with no way of knowing you're on a hopeless task, you never repeat yourself but you never get to your goal either. Real minds seldom get stuck like this because of a great invention of Evolution, boredom.  Of course there is no way for Evolution or anything else to know for certain the perfect place to give up and move on to other problems so real minds must use educated guesses based on rules of thumb, statistics, and ranking problems in order of importance; in other words based on judgment.  </font></div></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;display:inline">​> ​</div>Are there known cases of people who if left untreated would continue performing their compulsion until exhaustion? Or people who literally cannot stop thinking about their obsession while awake?<br></blockquote><div><br></div><div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;display:inline">​</div><font size="4">Like every other characteristic the boredom point is not the same for all the individuals in a population; I have a theory that for world class mathematicians the boredom point is set very high so they can give their full concentration to problems long after you or I would have given up. That may also be why great mathematicians often tend to be a bit...odd. There may be a fine line between insanity and genius.  <br><br><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;display:inline">​ ​</div>John K Clark</font></div><div><br></div><div><br></div><div><br></div><div><br></div><div> </div></div><br></div></div>