![[1245] Model theory, differential algebra and functional transcendence](/media/cache/video_light/uploads/video/SeminaireBourbaki.jpg)
published on December 9, 2025
[1245] Model theory, differential algebra and functional transcendence
By Amador Martin-Pizarro
Comment écrire une démonstration au 21ème siècle
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.
