Accueil/ expose #carousel1 li{ width:150px; height:180px; } #carousel2 li{ width:150px; height:180px; } 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

Thèmes : Mathematiques
Catégories: séminaire de philosophie et mathématiques / Passion des formes : le qualitatif en mathématiques
Mot-clés : mathématiques, logique, Atome, algèbre, objet, espace, équation, égalité, définition, vecteur, théorème, formule

Voir aussi

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

Liens utiles

Contact
Partenaires
Conditions d'utilisation
Mentions légales
Podcasts

CYCLES

> Colloquium DEC
> Les Ernest
> Les jeudis de l’archéologie
> Actualité critique
> Les jeudis de l’HPS
> Séminaire Médecine
   Humanités
> Journée Georges Bram
> Les lundis de la philo


> Les Nuits de l’ENS
> Semaine du cerveau
> Séminaire général du
   département d'informatique
> Séminaire général
   de physique
> Séminaire Transferts culturels
> La Voix d’un texte

PARTENARIATS

Louvre

France cuture

Institut Français

RESEAUX SOCIAUX

Retrouvez-nous sur Facebook

Twitter

Savoirs ENS
Tous droits réservés
@ 2011 ENS