Commune
Théorème de Rice
théorème fondamental de la calculabilité
Théorème de Rice
En informatique théorique, plus précisément en théorie de la calculabilité, le théorème de Rice énonce que toute propriété sémantique non triviale d'un programme est indécidable. Le théorème de Rice généralise l'indécidabilité du problème de l'arrêt. Le théorème est devenu un classique et fait l'objet d'exercices dans certains ouvrages de théorie de la calculabilité. Il a une certaine portée philosophique vis-à-vis de la calculabilité et est dû au logicien Henry Gordon Rice.
Ouvre des boosters, collectionne des cartes et échange-les. Gratuit.
Jouer gratuitement