Théorème de Rice
Théorème fondamental de la calculabilité / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Théorème de Rice?
Résumez cet article pour un enfant de 10 ans
AFFICHER TOUTES LES QUESTIONS
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[1],[2],[3]. Le théorème de Rice généralise l'indécidabilité du problème de l'arrêt. Le théorème est classique[4],[5],[6],[7],[8],[9] et fait l'objet d'exercices dans certains ouvrages de théorie de la calculabilité[10]. Il a une certaine portée philosophique vis-à-vis de la calculabilité et est dû au logicien Henry Gordon Rice.
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Rice's theorem » (voir la liste des auteurs).
Pour les articles homonymes, voir Rice.