![[1245] Model theory, differential algebra and functional transcendence](/media/cache/video_light/uploads/video/SeminaireBourbaki.jpg)
publiée le 9 décembre 2025
[1245] Model theory, differential algebra and functional transcendence
De Amador Martin-Pizarro
Comment écrire une démonstration au 21ème siècle
Apparaît dans la 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.
