Demander un code

Une fonction d'arrêt constructive

Le projet

Le théorème de l'arrêt de Allan Turing annonce l'impossibilité de construire un algorithme qui sait déterminer quels algorithmes s'arrêtent ou non. Le cadre des machines de Turing est aproprié pour traiter cette question parce qu'il simplifie la notion de calcul et d'algorithme jusqu'à son expression la plus simple. C'est pourtant dans ce cadre que je propose de construire un algorithme d'arrêt (complètement constructif) qui détermine pour chaque entrée si elle s'arrête ou non. Y-a-t-il une erreur dans le théorème de Turing-Church ? Non, c'est rendu possible en élargissant la notion de 'réponse'. interdit le calcul des alogrithmes qui s'arrêtent. L'étude de cet algorithme appliqué à lui-même (l'argument de contradication) est alors très instructive.

L'article

Une fonction d'arrêt constructive
Au format PDF
Année: 2014
Taille: 34 pages

Commentaire sur cette page

--- Aucun commentaire pour l'instant. Ajoutez le premier... ---


Commentaire à ajouter

Nom, alias :

Traduction --

En quelques mots

Le bien se trouve sur le chemin qui mène à lui quand on cherche le bien plus que son chemin. On fait fausse route à s'attacher aux formes du bien passé, les tensions évoluent et transforment sa route. C'est aussi une erreur de penser qu'il faut changer de chemin pour produire mieux, c'est le bien qui conduit sur le chemin qui conduit au bien. (Système moral).

Texte au hasard

Les dimensions de l'intelligence artificielle Ière partie -Définition de l'intelligence Introduction S'il est une chose sur laquelle les tentatives de définitions de l'intelligence s'entendent, c'est que la notion n'est pas facile à définir. L'intelligence est une notion vague et multiforme. Je propose un parcours de la notion, tout en procédant à des choix face à chacune des tensions rencontrées, afin de diriger la question de l'i...
[...la suite ]