La constante de Chaitin révèle le cœur aléatoire du calcul
La constante de Chaitin mesure la probabilité d'arrêt d'un programme. Elle incarne le profond caractère aléatoire sous-jacent à l'indécidabilité du problème de l'arrêt en théorie du calcul.
Alan Turing a prouvé en 1936 qu'aucun algorithme ne peut prédire si un programme informatique s'arrêtera. Ce "problème de l'arrêt" est fondamentalement indécidable. Des décennies plus tard, le mathématicien Gregory Chaitin a introduit Ω (Omega). C'est une constante représentant la probabilité qu'un programme généré aléatoirement s'arrête.
Il y a plus à découvrir — ouvrez l'app pour continuer la lecture.
Continuer la Lecture dans l'App
1 paragraphes de plus · et un quiz de 3 questions