Forum de Mathématiques: Maths-Forum

Bonjour, j'étudie actuellement le théorème de Rice et le problème de l'arrêt. Je suis tombé sur un questionnaire sans les solutions en rapport avec ce sujet et j'aurai aimé avoir quelques avis. Voilà le problème : Question 2 : Les propriétés suivantes sont-elles extensionnelles ? Les formaliser d’ab...