Part of the point is that computability is different from knowing how to write a program that actually computes the desired value. We can say a program exists t

Part of the point is that computability is different from knowing how to write a program that actually computes the desired value. We can say a program exists to print whether P=NP (whether it is computable) without knowing how to come up with a concrete implementation of that program.