Carmin.tv

Mathematics
and Interactions

Please leave your feedback in order for us to improve your experience !
Galois representations and automorphic forms - Thematic month week 1 / Représentations galoisiennes et formes automorphes - Mois thématique sem. 1
5 videos

Galois representations and automorphic forms - Thematic month week 1 / Représentations galoisiennes et formes automorphes - Mois thématique sem. 1

Bourbaki - Janvier 2026
3 videos

Bourbaki - Janvier 2026

SummerSchool 2016 - Geometric Analysis, Metric Geometry and Topology
48 videos

SummerSchool 2016 - Geometric Analysis, Metric Geometry and Topology

Colloquiums MathAlp
11 videos

Colloquiums MathAlp

All the collections
CIMPA
CIRM
IHES
IHP
Institut Fourier
LMR
SMF
All the institutions
00:00:00 / 00:00:00

Qu'est-ce qu'une réponse ? (l'analytique) 1/3

By Jean-Yves Girard

Appears in collection : 2014 - T2 - Semantics of proofs and certified mathematics

IHP thematic trimester : Semantics of proofs and certified mathematics 24/04/2014

Information about the video

  • Date of recording 24/04/2014
  • Date of publication 24/04/2014
  • Institution IHP
  • Licence CC BY-NC-ND
  • Format MP4

Domain(s)

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow




Register

  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
    community
  • Get notification updates
    for your favorite subjects
Copyright Carmin.tv 2026
By browsing our website, you accept the use of cookies to improve your experience. Find out more about our privacy policy.
Approve
Give feedback