(Indécidable Indécidable Dans la théorie de la calculabilité, un problème indécidable est un type de problème de calcul qui nécessite une réponse oui/non, mais où il ne peut pas y avoir de programme informatique qui soit toujours donne la bonne réponse; c'est-à-dire que tout programme possible donnerait parfois la mauvaise réponse ou s'exécuterait indéfiniment sans donner de réponse. https://en.wikipedia.org › wiki › List_of_undecidable_problems
Liste des problèmes indécidables - Wikipédia
signifie simplement non calculable dans le contexte d'un problème de décision, dont la réponse (ou la sortie) est soit "vrai" soit "faux"). Un problème non calculable est un problème pour lequel il n'existe aucun algorithme permettant de le résoudre.
Qu'est-ce qu'un problème non calculable ?
Dans la théorie de la calculabilité, un problème indécidable est un type de problème de calcul qui nécessite une réponse oui/non, mais où il ne peut y avoir aucun programme informatique qui donne toujours la bonne réponse; c'est-à-dire que tout programme possible donnerait parfois la mauvaise réponse ou s'exécuterait indéfiniment sans donner de réponse.
Qu'est-ce qu'un nombre non calculable ?
La constante de Chaitin est un exemple (en fait une famille d'exemples) d'un nombre non calculable. Il représente la probabilité qu'un programme généré aléatoirement (dans un certain modèle) s'arrête. Il peut être calculé approximativement, mais il n'existe (probablement) aucun algorithme pour le calculer avec une précision arbitraire.
Quel problème estcalculable ?
Un problème mathématique est calculable s'il peut être résolu en principe par un dispositif informatique. Certains synonymes courants de "calculable" sont "résoluble", "décidable" et "récursif". Hilbert croyait que tous les problèmes mathématiques pouvaient être résolus, mais dans les années 1930, Gödel, Turing et Church ont montré que ce n'était pas le cas.
L'ensemble vide est-il calculable ?
L'ensemble vide est calculable. L'ensemble des entiers naturels est calculable. Chaque nombre naturel (tel que défini dans la théorie des ensembles standard) est calculable; c'est-à-dire que l'ensemble des nombres naturels inférieurs à un nombre naturel donné est calculable.
