Thèse de Church-Turing
Ère : Théorie précoce · années 1930–années 1950
Alonzo Church et Alan Turing ont proposé indépendamment la célèbre thèse de Church-Turing. Cette thèse affirme que toute fonction effectivement calculable est Turing-calculable. Cela formalise la notion intuitive de « calculabilité » et est devenu le fondement de l’informatique.
Alonzo Church et Alan Turing
Sources et éléments étayés
The Church-Turing Thesis
Stanford Encyclopedia of Philosophy · Type de source : Synthèse secondaire
Explique les formulations indépendantes de 1936 et le nom donné plus tard de « thèse de Church-Turing ».
Consulté :