La plus grande découverte d'Alan Turing est sans doute qu'il y a une notion universelle unique de fonction calculable. Cette notion se définit avec les machines élémentaires qu'il introduisit dans son article de 1936 et qu'Alonzo Church a nommées « machines de Turing ». L'idée peut aussi se formuler de nombreuses façons différentes, par le lambda-calcul, par des systèmes d'équations, par les langages de programmation, etc. On prouve que les notions obtenues sont équivalentes ce qui conforte l'idée que la notion proposée... Lire la suite