Retourner au contenu associé (journal : [Letlang] Et si on rédigeait la spec ?)
Posté par Nicolas Boulay (site web personnel) le 13 mai 2022 à 14:55. En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 3.
Comme dis plus haut, le "non" permet tout un tas de truc bizarre. Commencer à interdire des "a | !a" risque d'aller trés loin dans la complexité.
La théorie que je cherchais était celle des catégories, qui pose normalement moins de soucis que la théorie des ensembles.
"La première sécurité est la liberté"
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: théorie des ensembles pas naives
Posté par Nicolas Boulay (site web personnel) . En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 3.
Comme dis plus haut, le "non" permet tout un tas de truc bizarre. Commencer à interdire des "a | !a" risque d'aller trés loin dans la complexité.
La théorie que je cherchais était celle des catégories, qui pose normalement moins de soucis que la théorie des ensembles.
"La première sécurité est la liberté"