Thèse de Church-Turing
Ère : Théorie Primitive · 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 & Alan Turing
Sources et éléments étayés
The Church-Turing Thesis
Stanford Encyclopedia of Philosophy · Type de source : secondary-summary
Explains the independent 1936 formulations and the later name "Church-Turing thesis".
Consulté :