On the problem of deciding equality in partial combinatory algebras and in a formal system