Pour les porblèmes je ne sais pas... mais pour le fait qu'il y ai des choses non calculables en temps fini... oui, simple exemple la diagonalisation...
exemple énumérons toutes les fonctions de l'ensemble réel, et mettre en matrice :
f(1) x x x x x x x x
f(2) x x x x x x x x
...
f(n) x x x x x x x x
...
il est facile de montrer que la diagonale de cette matrice ou on ajoute 1 à chaque nombre de la diagonale n'est pas dans l'énumération.
[^] # Re: Le DeCSS de nouveau interdit de publication aux USA
Posté par allcolor . En réponse à la dépêche Le DeCSS de nouveau interdit de publication aux USA. Évalué à 2.
exemple énumérons toutes les fonctions de l'ensemble réel, et mettre en matrice :
f(1) x x x x x x x x
f(2) x x x x x x x x
...
f(n) x x x x x x x x
...
il est facile de montrer que la diagonale de cette matrice ou on ajoute 1 à chaque nombre de la diagonale n'est pas dans l'énumération.