But in the case of computation, we do not have a canonical axiom system to consider. It turns out that Kreisel’s own answer to the original question, “Which comes first... ?” is actually that functions come before calculations. Taking the notion of a recursive function in the finitary...