Carmin.tv

Mathematics
and Interactions

Please leave your feedback in order for us to improve your experience !
Group operator algebras and Non commutative geometry / Algèbres d'opérateurs de groupes et Geometrie non commutative
4 videos

Group operator algebras and Non commutative geometry / Algèbres d'opérateurs de groupes et Geometrie non commutative

Albert Schwarz : Quantum Mechanics and Quantum Field Theory from Algebraic and Geometric Viewpoints
3 videos

Albert Schwarz : Quantum Mechanics and Quantum Field Theory from Algebraic and Geometric Viewpoints

Not Only Scalar Curvature Seminar
60 videos

Not Only Scalar Curvature Seminar

Clément Delcamp : Topological Symmetry and Duality in Quantum Lattice Models
4 videos

Clément Delcamp : Topological Symmetry and Duality in Quantum Lattice Models

All the collections
CIMPA
CIRM
IHES
IHP
LMR
SMF
All the institutions
2014 - T2 - Semantics of proofs and certified mathematics

Collection 2014 - T2 - Semantics of proofs and certified mathematics

Organizer(s)
Date(s) 13/05/2024
00:00:00 / 00:00:00
10 16

D'où vient la certitude ? (l'épidictique) 3/3

By Jean-Yves Girard

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 07/05/2014
  • Institution IHP
  • 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 2024
By browsing our website, you accept the use of cookies to improve your experience. Find out more about our privacy policy.
Approve
Give feedback