Titre de l'article : Castor affairé

Le castor affairé, dont le nom a été proposé par le mathématicien hongrois Tibor Radó, est l'un des premiers exemples de fonction non calculable. Un castor affairé est une machine de Turing à n états qui écrit un maximum de "1" sur son ruban avant de s'arrêter. Déterminer le « castor affairé » pour un nombre n donné est un problème insoluble algorithmiquement ; en pratique on ne peut même pas espérer le résoudre pour un nombre n au-delà de 10. Ce problème abstrait a été, dès son origine, illustré par un jeu.

[Dernier contributeur : ZetudBot , Contenu soumis à la licence LGPL]

Statistiques détaillées

Nombre de vues de l'article nombre de vote de type 'article de qualité' Nombre de vote de type 'pas clair' Nombre de vite de type 'faux'
daily 1 0 0 0
global 115 3 8 4
Article de qualité
Article pas clair
Article faux

Participez à ce classement en donnant une note à ce résumé, et en donnant votre avis sur sa qualité.
Inscrivez-vous pour améliorer votre réputation et donc l'importance de votre vote.

Merci de patienter...
Popularité: 1.6/5 (16 votes)

Catégories relatives à cet article

Calculabilité

Commentaires