écrivant

incluse dans ensembles.pdf une preuve constructiviste et déterministe d'un résultat déjà donné en exercice qui ne se fonde pas sur l'axiome du choix mais sur sa variante dénombrable au sens des cardinaux de la mathématique du théorème de Cantor-Bernstein pour homo sapiens-sapiens femelles ou mâles francophones vulgarisée comme fondation des statistiques et classifications fonctionnelles.
L'adjectif naïve dans le titre est un usage. Le terme constructiviste est emprunté au philosophe qui n'utilise pas l'axiome du choix pour établir une preuve, ceci qu'il choisit par des suites

De visu

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