Carmin.tv

Mathematics
and Interactions

Please leave your feedback in order for us to improve your experience !
Not Only Scalar Curvature Seminar
58 videos

Not Only Scalar Curvature Seminar

Arithmetic Geometry – A Conference in Honor of Hélène Esnault on the Occasion of Her 70th Birthday
8 videos

Arithmetic Geometry – A Conference in Honor of Hélène Esnault on the Occasion of Her 70th Birthday

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

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

Lean for the curious mathematician / Lean pour mathématiciens
4 videos

Lean for the curious mathematician / Lean pour mathématiciens

All the collections
CIMPA
CIRM
IHES
IHP
LMR
SMF
All the institutions
Séminaire Mathematic Park

Collection Séminaire Mathematic Park

00:00:00 / 00:00:00
26 54

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

By Leslie Lamport

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
  • 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 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