Philippe Gaucher a écrit :
Denis Feldmann <feldmann.denis.asupprimer@neuf.fr> writes:
Et je parle même pas des résultats difficiles en théorie des ensembles
(Cohen, Woodin, etc.)
Sans rentrer dans le combat de trolls qui a lieu, tu crois vraiment
que ce type de résultat a de l'importance pour toutes les maths :-) ?
Non. Mais y'a beaucoup de choses comme ça. Le fait que tout corps fini soit commutatif n'intéresse qu'assez peu les analystes...
A part le microcosme de gens travaillant en théorie des ensembles, et
Joe Cool qui semble en faire une obsession personnelle, je peux
t'assurer que personne ne s'intéresse à la position de 2^{aleph_0} sur
l'échelle des alephs. Inclus moi qui dois pourtant parfois utiliser
le cardinal régulier >= 2^{aleph_0} pour utiliser certains théorèmes
de théorie des catégories. Je présente d'ailleurs les choses comme ça
car je n'ai pas connaissance du moindre argument qui dit que
2^{aleph_0} est régulier ou singulier, mais je peux me tromper.
Ben on sait que 2^aleph_0 <> aleph_w (plus généralement, qu'il n'est pas de cofinalité w), tout de même (Hartog)...
pg.
