il faut une définition mathématique de ce qu'est un problème
Oui, c'est effectivement une des premières choses à faire en calculabilité.
En gros, les instances d'un problème sont représentées par des mots et, dans le cas d'un problème binaire, le problème est caractérisé par l'ensemble des mots (= langage) de ses instances positives. Comme l'ensemble des langages n'est pas dénombrable, l'ensemble des problèmes ne l'est pas non plus.
[^] # Re: Le DeCSS de nouveau interdit de publication aux USA
Posté par Alvarez . En réponse à la dépêche Le DeCSS de nouveau interdit de publication aux USA. Évalué à 2.
Oui, c'est effectivement une des premières choses à faire en calculabilité.
En gros, les instances d'un problème sont représentées par des mots et, dans le cas d'un problème binaire, le problème est caractérisé par l'ensemble des mots (= langage) de ses instances positives. Comme l'ensemble des langages n'est pas dénombrable, l'ensemble des problèmes ne l'est pas non plus.