English
← Back to timeline

Church-Turing Thesis

Era: Early Theory · 1930s–1950s

Alonzo Church and Alan Turing independently proposed the famous Church-Turing Thesis. This thesis asserts that any effectively computable function is Turing-computable. This formalizes the intuitive notion of "computability" and became the foundation of computer science.

Alonzo Church & Alan Turing

Status
Verified
Content type
fact
Sources reviewed

Sources and support

  1. The Church-Turing Thesis

    Stanford Encyclopedia of Philosophy · Source type: secondary-summary

    Explains the independent 1936 formulations and the later name "Church-Turing thesis".

    Accessed: