<div dir="ltr"><div class="gmail_default"><div class="gmail_default"><font face="courier new, monospace">On Sun, Jul 29, 2018 at 11:28 AM Robin Woolley <<a href="mailto:robin@robinw.org.uk">robin@robinw.org.uk</a>> wrote:</font></div><div class="gmail_default"><font face="courier new, monospace">> I have no way of checking indefinacy. This is what computers were</font></div><div class="gmail_default"><font face="courier new, monospace">> made for.</font></div><div class="gmail_default"><font face="courier new, monospace"><br></font></div><div class="gmail_default"><font face="courier new, monospace">No, Ι don’t think that’s true. As they are usually used computers are good for checking lots of stages, but that’s not the same as infinite. I suppose a theorem proving affair might be constructed that could help, but (a) I’m unaware of anyone applying such technology to extension, and (b) it would almost certainly not be universally applicable, only helpful in some cases.</font></div><div class="gmail_default"><font face="courier new, monospace"><br></font></div><div class="gmail_default"><font face="courier new, monospace"><br></font></div><div class="gmail_default"><font face="courier new, monospace">-- </font></div><div class="gmail_default"><font face="courier new, monospace">Don Morrison <<a href="mailto:dfm@ringing.org">dfm@ringing.org</a>></font></div><div class="gmail_default"><font face="courier new, monospace">“A new scientific truth does not triumph by convincing its opponents</font></div><div class="gmail_default"><font face="courier new, monospace">and making them see the light, but rather because its opponents</font></div><div class="gmail_default"><font face="courier new, monospace">eventually die, and a new generation grows up that is familiar</font></div><div class="gmail_default"><font face="courier new, monospace">with it.”     — Max Planck, “A Scientific Autobiography”, tr Frank Gaynor</font></div><div style="font-family:"courier new",monospace"><br></div></div></div>