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
--- Aucun commentaire pour l'instant. Ajoutez le premier... ---
En quelques mots
Le réel : une solidité résistante de la perception conjuguée à tout niveau avec une multitude d'imprécisions et d'artifices perceptifs. (Résumé thèse réalité)
Texte au hasard
Etude du 'Code secret de la Bible'
Le projet
1997 a connu une grande promotion médiatique du 'Code Secret de la Bible': en lisant le texte hébreu à l'aide d'ordinateurs, on trouve de nombreux tableaux révélant des faits passés, présents et avenirs sur l'histoire, la science, les grands hommes,... Il fallait construire un modèle mathématique du procédé pour s'apercevoir que le 'Code Secret de la Bib...| Haut de page | Mentions légales | Du même auteur : Site Mike°soft |
Contact | Privé' |