The
history of the Church–Turing thesis ("thesis") involves the
history of the development of the study of the nature of functions whose values are effectively calculable; or, in more modern terms, functions whose values are algorithmically computable. It is an important topic in modern mathematical theory and computer science, particularly associated with the work of
Alonzo Church and
Alan Turing.