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
Même si la réalité était entièrement définie et indépendante de l'homme, la science ne pourrait en atteindre la Vérité dans le sens où les mots et les concepts humains sont radicalement différents et distants des réalités qu'ils décrivent. Par contre, rien n'exclut qu'ils s'en approche toujours plus, c'est à dire qu'il en décrivent des formes toujours plus étendues et efficaces pour décrire l'interaction avec "l'extérieur", ce qu'on peut nommer tentative d'objectivité croissante sans pouvoir garantir une commensurabilité.(Epistemologie)
Texte au hasard
L'identité humaine
- Qu'est-ce que l'identité d'un homme? Il est une tendance chez l'homme à désirer la profondeur, l'unité et le sens. De cette tendance nait le désir d'une identité humaine qui existe comme centrale, essentielle, dont le corps n'est qu'une enveloppe. N'est-ce pas visible dans le quotidien de notre pensée : le monde peut s'évanouir à notre regard, le corps peut disparaitre, nous donnant quelque part...| Haut de page | Mentions légales | Du même auteur : Site Mike°soft |
Contact | Privé' |