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

  • $\begingroup$ Turing machine. $\endgroup$ – pointer Jun 7 '14 at 8:07

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.