<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><span style="font-family:arial,sans-serif">On Thu, Dec 29, 2016 at 4:26 PM, Dave Sill </span><span dir="ltr" style="font-family:arial,sans-serif"><<a href="mailto:sparge@gmail.com" target="_blank">sparge@gmail.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:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><span class=""><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div><div style="font-family:arial,helvetica,sans-serif;display:inline">​<div class="gmail_default" style="font-family:arial,helvetica,sans-serif;display:inline">​>> ​</div><font size="4">even the programer doesn't know what the ​</font></div><font size="4">programmer implemented<div style="font-family:arial,helvetica,sans-serif;display:inline">​. The programer took 5 minutes to write a program to find the first even number greater than 2 ​that is not the sum of two primes and then stop, but the programer has no idea what the computer will do when it runs that program, even worse the programer doesn't even know if he will ever know. The computer will decide for itself when or even if it will stop.</div></font></div></div></div></div></blockquote><div><br></div></span><div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;display:inline">​> ​</div>The programmer knows what he implemented. That doesn't mean he can predict the program's behavior for all possible inputs.<br></div></div></div></div></blockquote><div><br></div><div><font size="4"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;display:inline">​It has nothing to do with inputs, even if the programer knows exactly what inputs the program will receive in the future the programer still won't know what the final output of his ​program </div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;display:inline">​will be ​and doesn't even know if there will be a final output. There might there might not, it depends on how the computer feels about it.</div></font></div><div><font size="4"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;display:inline"><br></div></font></div><div><font size="4"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;display:inline"> John K Clark</div></font></div><div><font size="4"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;display:inline"><br></div></font></div><div><font size="4"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;display:inline"><br></div></font></div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br></blockquote></div><br></div></div>