Accueil/ recherche

Recherche


séminaire de philosophie et mathématiques / Passion des formes : le qualitatif en mathématiques

4 résultat(s) sur le site


> Vous pouvez aussi chercher parmi nos archives

Affiner la recherche


Expression exacte Du
L'un des mots suivants Au
Tous les mots suivants
Ne contenant pas les mots suivants
Exposés (4)  Titre        Date 
photoExpose
Logique tensorielle et catégories de dialogue: un point de vue topologique et interactif sur les démonstrations logiques
Paul-André Mellies
30/05/2016
Conférence donnée par Paul-André Mellies dans le cadre du séminaire de philosophie et mathématiques Logique tensorielle et catégories de dialogue: un point de vue topologique et interactif sur les démonstrations logiques
Catégories : séminaire de philosophie et mathématiques / Passion des formes : le qualitatif en mathématiques
Mots-clefs: mathématiques, logique, Atome, algèbre, objet, espace, équation, égalité, définition, vecteur, théorème, formule
photoExpose
Symbolique des formes / Eloge de la combinatoire
Pierre Cartier
04/04/2016
Exposé de Pierre Cartier dans le cadre du séminaire de philosophie et mathématiques, sur le thème sur la symbolique des formes et l'éloge de la combinatoire.
Catégories : séminaire de philosophie et mathématiques / Passion des formes : le qualitatif en mathématiques
Mots-clefs: mathématiques, algèbre, Entiers, terminologie, géométrie des nombres, complexité combinatoire