<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Thu, Jul 21, 2016 at 10:22 AM, Arnold Reinhold <span dir="ltr"><<a href="mailto:agr@me.com" target="_blank">agr@me.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><span class="gmail-"><br>
> On Jul 20, 2016, at 3:14 PM, Ron Garret <<a href="mailto:ron@flownet.com">ron@flownet.com</a>> wrote:<br>
> On Jul 15, 2016, at 4:58 PM, Ron Garret <<a href="mailto:ron@flownet.com">ron@flownet.com</a>> wrote:<br>
><br>
>> 2.  SEC(A) is true but nonetheless no proof exists.  (Godel sentences are not necessarily the only unprovable truths.)<br>
><br>
> It turns out that there is reason to believe that this is in fact the case.<br></span></blockquote><div>..... </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><span class="gmail-">
<br>
</span>Another interesting article by Scott Aaronson, thank you, but like P vs. NP <span class="gmail-"><br></span></blockquote><div> </div><div><br></div><div>The P vs. NP discussion should also live in the context of algorithms.<br><br>See:<br>Programming Pearls  --  Book by Jon Bentley</div><div><br></div><div>He has a number of examples where the algorithm and tool</div><div>have large impact on problem solving efficiency.<br><br>A graduate level question might ask if  P and NP apply to the problem</div><div>or to the chosen algorithm.</div><br>One might wonder if a code was anagram based.  <br>See the example on "Finding Anagrams from a Dictionary"</div><div class="gmail_quote"><br></div><div class="gmail_quote">A chink in a crypto system can collapse the assumptions</div><div class="gmail_quote">behind the notion of hard vs. easy to decrypt.<br><br>Should someone have an "Aha" moment, what was once hard</div><div class="gmail_quote">could become easy to trivial.  "Aha" see how much simpler the math is</div><div class="gmail_quote">when the Sun is used as the center of the solar system!" might be</div><div class="gmail_quote">one possible example where a historic perspective is shown to be less </div><div class="gmail_quote">than ideal for the math.</div><div class="gmail_quote"><br></div><div class="gmail_quote"><br><div> </div></div><br clear="all"><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr">  T o m    M i t c h e l l</div></div>
</div></div>