Michel Pascal, Stérin Tristan, Ligocki Shawn.
« La longue quête du castor affairé »
in la Recherche (Paris. 1970), 582 (07/2025), p.88-95.
|
Titre :
|
La longue quête du castor affairé
|
|
Auteurs :
|
Pascal Michel ;
Tristan Stérin ;
Shawn Ligocki
|
|
Type de document :
|
Article : texte imprimé
|
|
Dans :
|
la Recherche (Paris. 1970) (582, 07/2025)
|
|
Article en page(s) :
|
p.88-95
|
|
ISBN/ISSN/EAN :
|
0029-5671
|
|
Langues de la publication :
|
Français
|
|
Descripteurs
|
Algorithme
méthode de calcul
|
|
Résumé :
|
Le point sur l'évolution des recherches basées sur le problème du "castor affairé" lié à la machine de Turing. Une infinité de programmes. Un nombre limité de combinaisons possibles d'états. Nécessité de trouver des machines de Turing à n états capables d'atteindre des records en termes de nombre d'étapes effectuées ou de cases marquées avec un 1 avant de s'arrêter. Obligation de prouver que la meilleure machine trouvée est effectivement la gagnante. Un algorithme pour éviter les doublons. Alliance des communautés mathématiques et informatiques pour accélérer les travaux permettant la mise en oeuvre d'assistants de preuve. Anthihydria, l'autre machine à six états. Encadré : "Seul l'effort collectif permettrait d'aboutir"
|
|
Nature du document :
|
documentaire
|
|
Genre :
|
article de périodique
|
