there certainly is a relation; you might not be able to prove all the properties you care about because of the halting problem; but that is more a theoretical problem, not a practical one
> you might not be able to prove all the properties you care about
And just to add, this is also true of "human" mathematics as well.