Archives mensuelles: avril 2015

 

La complexité de Birkhoff

Publié 17.04.2015 par Jean-Paul Delahaye

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