Luke Palmer wrote: > and pick out the ones which denote a total computable function [...] How important is totality to this argument? If it is important, how do you decide it?