Théorème de Rice

Où l'on montre que toutes les propriétés non triviales sur les ensembles récursivement énumérables sont indécidables.

• Théorème de Rice
• Théorème de Rice

Recasements :

• 913 -- Machines de Turing. Applications.
• 914 -- Décidabilité et indécidabilité. Exemples.
• 922 -- Ensembles récursifs, récursivement énumérables. Exemples.