Retourner au contenu associé (journal : Logiciel libre et morale font-il bon ménage ?)
Posté par thoasm le 23 avril 2021 à 14:55. En réponse au journal Logiciel libre et morale font-il bon ménage ?. Évalué à 3.
Oué enfin l’égalité en maths :) dés qu’on creuse un peu c’est pas si simple
https://en.wikipedia.org/wiki/Equality_(mathematics)
En faisant de la théorie des type, au sens le plus matheux, ils arrivent à des axiome rigolos https://en.wikipedia.org/wiki/Homotopy_type_theory#The_univalence_axiom (tout ce qui est équivalent est égal, et inversement)
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Cf discussion de fin janvier
Posté par thoasm . En réponse au journal Logiciel libre et morale font-il bon ménage ?. Évalué à 3.
Oué enfin l’égalité en maths :) dés qu’on creuse un peu c’est pas si simple
https://en.wikipedia.org/wiki/Equality_(mathematics)
En faisant de la théorie des type, au sens le plus matheux, ils arrivent à des axiome rigolos https://en.wikipedia.org/wiki/Homotopy_type_theory#The_univalence_axiom (tout ce qui est équivalent est égal, et inversement)