What is an algorithm?

(Wee Kean here.) Some time a year ago, for some reason, the then observers and I were reading the following paper . It is related to Hilbert's tenth problem which asks: given any diophantine equation, is there a general algorithm to decide whether the equation has a solution in integer values? But how do we decide what an algorithm can or cannot do?