Computability is a property of a problem; not a program. Was that the last HTTP request I'll ever receive? That's not computable. But that's not the problem a server is solving. Any program that exists solves some kind of computable problem by definition.