Retourner au contenu associé (journal : [Letlang] Et si on rédigeait la spec ?)
Posté par David Delassus (site web personnel) le 06 mai 2022 à 09:48. En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 4.
Ta présentation me semble au minimum maladroite. Mais j'ai prête mal compris.
Non-non, je me suis bien mélangé les pinceaux.
La théorie ZFC utilise un axiome de compréhension restreint qui empêche la construction d'un ensemble selon le paradoxe de Russel.
Si je ne m'abuse il n'y a pas non plus de concept de "classe propre" dans ZFC
Il me semble justement décrire les classes comme étant un ajout qui ne fait pas parti de ZFC, je vais reformuler pour clarifier.
DISCLAIMER: Je ne suis pas mathématicien de profession, juste quelqu'un de très curieux qui a lu beaucoup de choses sur le sujet.
https://link-society.com - https://kubirds.com - https://github.com/link-society/flowg
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: théorie des ensembles pas naives
Posté par David Delassus (site web personnel) . En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 4.
Non-non, je me suis bien mélangé les pinceaux.
La théorie ZFC utilise un axiome de compréhension restreint qui empêche la construction d'un ensemble selon le paradoxe de Russel.
Il me semble justement décrire les classes comme étant un ajout qui ne fait pas parti de ZFC, je vais reformuler pour clarifier.
DISCLAIMER: Je ne suis pas mathématicien de profession, juste quelqu'un de très curieux qui a lu beaucoup de choses sur le sujet.
https://link-society.com - https://kubirds.com - https://github.com/link-society/flowg