Mathematics and Computation

You may have heard at times that there are mathematicians who think that all functions are continuous. One way of explaining this is to show that all computable functions are continuous. The point not appreciated by many (even experts) is that the truth of this claim depends on what programming language we use.
(more…)

Spaces of higher-order functions are fascinating mathematical objects that we do not know enough about. What are they and what is known about them?

(more…)