<div dir="ltr"><div class="gmail_default" style="font-family:times new roman,serif;font-size:large">This is a truly great paper, and I am glad to have read it.  But there is something wrong with the theorem at the beginning of 4.14 ("all computable functions that are defined for all computable real arguments and return computable real results are continuous"), probably that the claim is over-generalized (or maybe just that I am a high-school mathematician).  The domain of the signum function obviously includes the computable reals.  The codomain is {0, 1, -1}, which are all computable.  Yet signum is not continuous at 0.  This can be generalized to other stepwise functions with any countable number of discontinuous points.  What gives?</div><div class="gmail_default" style="font-family:times new roman,serif;font-size:large"><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Feb 1, 2022 at 12:15 PM Bradley Lucier <<a href="mailto:lucier@math.purdue.edu">lucier@math.purdue.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">I wrote a paper on the computable reals with a page of (Gambit) Scheme <br>
code at the end that implements some of the examples.  The code was <br>
organized for clarity of presentation (base 10, easiest algorithms, <br>
etc.), so it's not production quality, but there are references for <br>
people who are interested:<br>
<br>
<a href="https://scholarship.claremont.edu/jhm/vol12/iss1/25/" rel="noreferrer" target="_blank">https://scholarship.claremont.edu/jhm/vol12/iss1/25/</a><br>
<br>
I made sure that the typesetting didn't screw up the code, that you can <br>
just copy it to a Gambit REPL and everything works.<br>
<br>
And Section 3 tells a funny story about me learning how to compute <br>
square roots by hand.  (Perhaps only a mathematician could write that <br>
sentence!)<br>
<br>
Brad<br>
<br>
_______________________________________________<br>
Gambit-list mailing list<br>
<a href="mailto:Gambit-list@iro.umontreal.ca" target="_blank">Gambit-list@iro.umontreal.ca</a><br>
<a href="https://mailman.iro.umontreal.ca/cgi-bin/mailman/listinfo/gambit-list" rel="noreferrer" target="_blank">https://mailman.iro.umontreal.ca/cgi-bin/mailman/listinfo/gambit-list</a><br>
<br>
</blockquote></div>