<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><span style="font-family:Arial,Helvetica,sans-serif">On Mon, Apr 13, 2026 at 9:15 AM Adrian Tymes via extropy-chat <<a href="mailto:extropy-chat@lists.extropy.org">extropy-chat@lists.extropy.org</a>> wrote:</span></div></div><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr"><br></div>On Sun, Apr 12, 2026 at 6:22 PM Jason Resch via extropy-chat<br> <br></div><blockquote style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex" class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><font size="4"><i><span class="gmail_default" style="font-family:arial,helvetica,sans-serif">>> </span>even with knowledge of the control flow and setting debugging break points, knowing what methods may be called isn't always trivial. <span class="gmail_default" style="font-family:arial,helvetica,sans-serif">[...] </span></i></font><i style="font-size:large">We don't know if foo() will ever be called because mathematicians don't yet know whether there exist any counter examples to Goldbach's conjecture.</i></blockquote></blockquote><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"> </blockquote><div class="gmail_quote gmail_quote_container"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><i style="font-family:georgia,serif;font-size:large"><span class="gmail_default" style="font-family:arial,helvetica,sans-serif">> </span>Consider that this would only be run on a computer that actually</i></blockquote><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><font size="4" face="georgia, serif"><i>
exists - which, by consequence of existing, has finite memory and thus<br>
a maximum exact value that it can hold in memory.  So, for a given<br>
computer, we can know if foo() will be called, since we <u>only</u> need to<br>
calculate up to that maximum number.</i></font><br></blockquote><div><br></div><div class="gmail_default" style=""><font face="arial, helvetica, sans-serif"></font><font size="4" style="" face="tahoma, sans-serif"><b style="">Only? Thanks to supercomputers we already know that <span class="gmail_default" style="">Goldbach's</span> Conjecture is true for every<span class="gmail_default" style=""> even numbers up to 4*10^18, but there is no shortcut so if you wanna go further than that you're just gonna have to continue on with the calculation grind, and thus the original program would have no point. And every Turing Machine that has ever halted has only used a finite amount of tape, and every Turing Machine that is still running has only used a finite amount of tape, so infinity doesn't enter into it.  </span></b></font></div><div class="gmail_default" style=""><font size="4" style="" face="tahoma, sans-serif"><b style=""><span class="gmail_default" style=""><br></span></b></font></div><div class="gmail_default" style=""><font size="4" style="" face="tahoma, sans-serif"><b style=""><span class="gmail_default" style=""> John K Clark</span></b></font></div><div><br></div><div><br></div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
</blockquote></div></div>