Pour montrer que l'ensemble des problèmes est indénombrable, la solution la plus simple (sans forcément passer par une définition précise de ce qu'est un problème, c'est là ou la démonstration est forte en fait) est de montrer qu'un sous-ensemble des problèmes est indénombrable.
L'ensemble des fonctions R -> R est indénombrable (je vais pas faire la démonstration ici parce que 1) je m'en souviens plus 2) elle est p'tet pas si triviale que ça) or les problèmes de calcul de fonctions dans R est bien un sous-ensemble des probèmes donc l'ensemble des problème est indénombrable. CQFD :)
[^] # Re: Le DeCSS de nouveau interdit de publication aux USA
Posté par MrTout . En réponse à la dépêche Le DeCSS de nouveau interdit de publication aux USA. Évalué à 2.
L'ensemble des fonctions R -> R est indénombrable (je vais pas faire la démonstration ici parce que 1) je m'en souviens plus 2) elle est p'tet pas si triviale que ça) or les problèmes de calcul de fonctions dans R est bien un sous-ensemble des probèmes donc l'ensemble des problème est indénombrable. CQFD :)