Accueil/ expose
Logique tensorielle et catégories de dialogue: un point de vue topologique et interactif sur les démonstrations logiques
lundi 30 mai 2016

Loading the player ...
Descriptif

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

Voir aussi
  • Aucun exposé du même auteur.
  • Comment penser géométriquement aux point...
    Patrick Popescu pampu
  • Symbolique des formes / Eloge de la comb...
    Pierre Cartier
  • L'importance du qualitatif à l'ère du nu...
    Guiseppe Longo
Auteur(s)
Paul-André Mellies
CNRS
Professeur et chercheur

Plus sur cet auteur
Voir la fiche de l'auteur

Cursus :

Ses recherches d'intérêts portent sur la logique mathématique, théorie de la preuve, la sémantique des jeux, la théorie et la pratique des langages de programmation, les mathématiques formalisées, assistants de preuve, la physique mathématique, théorie des nœuds, des groupes quantiques, n-dimensionnel algèbre, opérades. Son ambition est de relier ces sujets.

Cliquer ICI pour fermer
Annexes
Téléchargements :
   - Télécharger l'audio (mp3)

Dernière mise à jour : 11/07/2017