Demetrius enIm mihi est cognomen eRrorEm

Aller au contenu | Aller au menu | Aller à la recherche

écriture

dans ensembles.pdf propose une preuve constructive et déterministe d'un résultat déjà donné en exercice et qui ne se fonde pas sur l'axiome du choix mais sur une variante dénombrable au sens des cardinaux de la mathématique et sur une preuve constructiviste du théorème de Cantor-Bernstein qu'il espère lisible par des homo sapiens-sapiens femmes ou hommes francophones ou connaissant un peu le français incluse dans ce billet pour vulgariser ce théorème de fondement des classifications ensemblistes et fonctionnelles.
L'adjectif naïve dans "théorie naïve des ensembles" est un vocabulaire d'usage à comprendre comme un jargon, la théorie des ensembles n'est pas naïve et rentre en relation avec la logique. Le terme constructiviste est un terme de philosophie auquel il faut donner sens que l'auteur de ces lignes n'utilise pas la généralité de l'axiome du choix pour établir une preuve, ce qui signifie pas qu'il ne choisit pas, mais qu'il choisit suivant une relation ou une suite dénombrables sans utilisation de

l'analyse non-standard.

Ajouter un commentaire

Le code HTML est affiché comme du texte et les adresses web sont automatiquement transformées.

La discussion continue ailleurs

URL de rétrolien : http://a.wazner.free.fr/index.php?trackback/3

Fil des commentaires de ce billet