Vidéo de l'IREM de Paris - Conférences. A propos de la théorie des démonstrations (du programme de Hilbert aux programmes tout court).

Auteur : Krivine Jean-Louis
Autre nom d'un auteur ci-dessus : Krivine Jean-Louis. Préf.

Résumé

Dans cette vidéo l'auteur aborde la théorie des démonstrations qui est une partie de la logique mathématiques.

Notes

Conférence donnée le 12 septembre 2014 par Jean-Louis Krivine dans le cadre dans le cadre de la journée en l'honneur de René Cori.
Le texte de cet expos est en téléchargement sur http://www.irif.fr/~krivine/

Depuis 2005 l'IREMS de Paris accueille différents cycles de conférences sur la culture, l'enseignement, la formation, la diffusion et la vulgarisation des mathématiques.
Ces différentes conférences peuvent être liées à un colloque, une journée d'étude ou autre évènement ponctuel. Par souci de commodité, et en raison de l'éclectisme des sujets, l'espace vidéo de l'IREMS de Paris regroupe en un endroit unique les archives vidéos de tous ces évènements.

Cette ressource est en ligne sur le site Vidéo de l'IREMS de Paris

Données de publication

Éditeur IREM de Paris , Paris , France , 2014 Format 59min

Public visé enseignant, formateur

Type Film, vidéo Langue français Support internet