Portail Documentaire
A partir de cette page vous pouvez :
Retourner au premier écran avec les étagères virtuelles... |
Titre : | Logicité et non-logicité de l'axiomatique |
Titre original: | Logicity and the non-logicity of the axiomatical |
Auteurs : | Jean-Michel Salanskis |
Type de document : | Article : texte imprimé |
Dans : | Archives de Philosophie. Revue soutenue par l'Institut des sciences Humaines et sociales du CNRS et par la fondation de Montcheuil (4, Vol. 63 Octobre-Décembre 2000) |
Mots-clés: | Axiome ; correspondance Curry-Howard ; logique ; fondement mathématiques ; intuition ; Kant ; axiom ; curry-Howard correspondence ; logic ; foundations mathematics |
Note de contenu : | Bibliographie p. 704 |