[r-t] Practical Extension

[Don Morrison]

On Sun, Jul 29, 2018 at 11:28 AM Robin Woolley <robin at robinw.org.uk> wrote:
> I have no way of checking indefinacy. This is what computers were
> made for.

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.


-- 
Don Morrison <dfm at ringing.org>
“A new scientific truth does not triumph by convincing its opponents
and making them see the light, but rather because its opponents
eventually die, and a new generation grows up that is familiar
with it.”     — Max Planck, “A Scientific Autobiography”, tr Frank Gaynor
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://bellringers.org/pipermail/ringing-theory/attachments/20180729/a5bddbcd/attachment.html>