Is there a computable function f : [0, 1] --> R that has no limit computable maximum? -------------- next part -------------- An HTML attachment was scrubbed... URL: </pipermail/fom/attachments/20210816/e412026d/attachment.html>