Re: Computable functions/reasls: followup.



Bill Taylor wrote:

(c) ...because they also (effectively) know about it from Brouwer's
insistence on "all functions are uniformly coninuous", (UC).

'Insistence' is a strange way of putting it, that all functions are
uniformly continuous is a theorem.

--
He is not here; but far away
The noise of life begins again
And ghastly thro' the drizzling rain
On the bald street breaks the blank day.
.