Carmin.tv

Mathematics
and Interactions

Please leave your feedback in order for us to improve your experience !
p-adic aspects of the Langlands program - Thematic month week 3 / Aspects p-adiques du programme de Langlands - Mois thématique sem. 3
5 videos

p-adic aspects of the Langlands program - Thematic month week 3 / Aspects p-adiques du programme de Langlands - Mois thématique sem. 3

Summer School 2018 - Teichmüller dynamics, mapping class groups and applications.
3 videos

Summer School 2018 - Teichmüller dynamics, mapping class groups and applications.

History of mathematics, Philosophy of mathematics, and mathematics: which interactions? / Histoire des mathématiques, Philosophie des mathématiques, et mathématiques: quelles interactions?
5 videos

History of mathematics, Philosophy of mathematics, and mathematics: which interactions? / Histoire des mathématiques, Philosophie des mathématiques, et mathématiques: quelles interactions?

Dustin Clausen : Weil Anima
4 videos

Dustin Clausen : Weil Anima

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

Comment écrire une démonstration au 21ème siècle

By Leslie Lamport

Appears in collection : Séminaire Mathematic Park

Nous exposerons une nouvelle manière pour écrire les démonstrations avec laquelle il devient plus difficile de démontrer des résultats faux. Cette méthode, qui s'appuie sur la structuration hiérarchique, est simple et pratique. Mon expérience de vingt ans dans l'écriture de telles démonstrations viendra étayer mon propos.

Information about the video

  • Date of publication 08/10/2016
  • Institution IHP
  • Licence CC BY NC ND
  • Language French
  • Audience Students
  • 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