Turing

 

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

Non, le test de Turing n’est pas passé !

Publié 10.06.2014 par Jean-Paul Delahaye

Le 8 juin 2014 et les jours suivants, les journaux du monde entier ont annoncé que le « Le test de Turing a été passé » (voir par exemple : ici ou ici ou  ici, etc.). Kevin Warwick, visiting professeur à l'Université de Reading et organisateur du test écrit : « Dans le domaine de l'intelligence artificielle, il n'y a pas de jalon plus important et controversé que le test de Turing. Il est particulièrement approprié que ce fait marquant ait été réalisé à... Lire la suite