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.
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
Mots-clés :
algèbre
, Atome
, égalité
, équation
, définition
, espace
, formule
, logique
, mathématiques
, objet
, séminaire de philosophie et mathématiques / Passion des formes : le qualitatif en mathématiques
, théorème
, vecteur
