Mathematical formulation of Algorithms

Is there a way to formulate the definition of algorithms mathematically, so that the effectiveness and completeness of algorithms is justified.

• Turing machine. – pointer Jun 7 '14 at 8:07