[ambre] Re: Infinite d'ombre (attention, contient des Math...)

Auteur: Philippe Krait (pkrait@wanadoo.fr)
Date: Sun Dec 06 1998 - 15:57:26 CET


-----Message d'origine-----
De : Quisar <quisar@mail.dotcom.fr>
À : ambre@sorengo.com <ambre@sorengo.com>
Date : samedi 5 décembre 1998 19:05
Objet : [ambre] Re: Infinite d'ombre (attention, contient des Math...)

> >Bref, à chaque fois que j'ai eu une discussion à ce sujet, personne n'a
> >réussi à rpouver quoi que ce soit sur le cardinal des Ombres.
tenterez-vous
> >votre chance ?
>
> Oui, car c'est justement un sujet que je me suis déjà posé.
>
> Premièrement je te dirais que le modèle de la théorie des ensembles ainsi
> décrit peut ne pas convenir du tout à Ambre. Supposons comme semble le
> penser les Ambriens que tout existe en Ombre. Alors en particulier Ombre
> contient toutes ses sous parties.

Ah, pourquoi ?

> Or le cardinal des sous parties d'un
> ensemble est strictement supérieur au cardinal d'un sensemble =>
> contradiction...
>
> En revanche je vois mal la possibilité d'un nombre fini d'ombre car il
> semble que Corwin puisse atteindre toutes les ombres qui lui passent par
la
> tête, alors même si on ne peut pas facilement mettre un cardinal là
dessus,
> je suis capable de troucer un nombre dénombrable d'ombre différente sans
> trop de prb... Il suffit que j'en prenne une qui se présente comme un plan
> avec un point au milieu et une boite sur le point et je bouge un la boite
> de 10 cm vers le Sud pour faire une autre ombre. J'ai déjà un cardinal
> Aleph0 d'ombre.

Non, seulement si tu y passes un temps infini. La clef pour n'avoir qu'un
nombre fini d'Ombre tient dans le fait de considérer au moins partiellement
l'hypothèse solispistique comme valable, c'est à dire le fait que ce sont
les Ambérites qui créent les Ombres.

Il y a un nombre fini d'Ambérites, un temps fini depuis la création de la
Marelle, donc (pour l'instant) un nombre fini d'Ombres, même si les
Ambérites pourraient en crer un nombre infini.

Philippe



Cette archive a été créée par hypermail 2.1.5 : Sun Sep 15 2002 - 20:31:31 CEST