TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 DEF

A plodding procedure for finding the shortest path through a net by finding all possible paths and selecting the best ones.  1, fiche 1, Anglais, - British%20Museum%20procedure

Record number: 1, Textual support number: 1 OBS

Compare to branch-and-bond search  3, fiche 1, Anglais, - British%20Museum%20procedure

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 DEF

Procédure de résolution dénuée d'intelligence, qui explore systématiquement tous les états obtenus, leur applique tous les opérateurs, etc. jusqu'à l'apparition de la solution. Le nom provient de l'analogie avec l'efficacité d'une méthode qui consisterait à attendre que des singes pressant au hasard les touches d'une machine à écrire, reproduisent les titres des livres dans la bibliothèque du British Museum.  2, fiche 1, Français, - proc%C3%A9dure%20British%20Museum

Record number: 1, Textual support number: 1 CONT

Une telle procédure consisterait [...] à faire la liste de toutes les démonstrations possibles écrites dans le langage formel, c'est-à-dire dans le système d'axiomes choisi, par ordre de tailles et par ordre alphabétique des symboles employés. C'est ce qu'on peut appeler de manière imagée l'«algorithme du British Museum», pour faire allusion au gigantisme de l'«inventaire» à effectuer. Autrement dit, on énumère toutes les démonstrations possibles, et on vérifie si elles découlent bien des règles formelles du système axiomatique.  3, fiche 1, Français, - proc%C3%A9dure%20British%20Museum

Fiche 1,  Justifications,  Espagnol