Comment écrire une démonstration au 21ème siècle | Vidéo | Carmin.tv

00:00:00 / 00:00:00

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

By Leslie Lamport

structural proof theory

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

Copyright Carmin.tv 2026

Give feedback