> Je ne suis pas sûr de voir comment on pourrait définir \mathbf{T} pour qu'il soit dénombrable.
On peut approximer facilement par une constante de la forme (* n (nombre-de-pages 'google)) pour n assez grand.
En effet, le nombre de trolls sur le net est limité au nombre (fini, donc dénombrable) de trolls qui ont été dit ou sont dits par des gens.
Dans le pire des cas, ca va etre (expt taille-dictionnaire 4) car au dela de 3 comparaisons, le troll devient dur à suivre et ne prend pas (et 4 me permet de ne pas écrire en latex la somme de 1 a 3 des exponentielles).
> comment compare-t-on des ensembles non dénombrables ?
Avec une itération sur les transfinis ?
Avec une co-induction ?
[^] # Re: Re:
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Qt LGPL!. Évalué à 1.
On peut approximer facilement par une constante de la forme (* n (nombre-de-pages 'google)) pour n assez grand.
En effet, le nombre de trolls sur le net est limité au nombre (fini, donc dénombrable) de trolls qui ont été dit ou sont dits par des gens.
Dans le pire des cas, ca va etre (expt taille-dictionnaire 4) car au dela de 3 comparaisons, le troll devient dur à suivre et ne prend pas (et 4 me permet de ne pas écrire en latex la somme de 1 a 3 des exponentielles).
> comment compare-t-on des ensembles non dénombrables ?
Avec une itération sur les transfinis ?
Avec une co-induction ?