Accueil > Projets de recherche financés en cours > Axiomatic Definitions ANR PRC PROJECT (2024-2028)
Axiomatic Definitions ANR PRC PROJECT (2024-2028)
La relation entre axiomes et définitions a été un tournant clé dans la transformation contemporaine de la logique, des mathématiques et de la science, suite à la naissance et au développement de l’axiomatique moderne. On dit souvent que les définitions ne jouent aucun rôle dans les systèmes axiomatiques, si ce n’est celui d’abréviations. Les axiomes sont souvent considérés comme des définitions ou des caractérisations implicites des termes primitifs qui apparaissent dans les axiomes.
https://axdef.hypotheses.org
