Abstract

The importance of algorithms is now recognized in all mathematical sciences,
thanks to the development of computability and computational
complexity theory in the 20th century. The basic understanding of computability
theory developed in the nineteen thirties with the pioneering
work of mathematicians like G¨odel, Church, Turing and Post. Their work
provided the mathematical basis for
... read more