Construction axiomatique de «… Donc, d’après… » : les graphes des théorèmes

 

Imaginée par Vincent Dujardin, professeur de mathématiques, à la lecture de «… Donc, d’après… »,
codée par son collègue Jean-Philippe Garcia Ballester (le code source est ici)
et généreusement offerte par eux à l’auteur du livre, cette application est un outil exceptionnel.

Grâce à elle, les lecteurs du livre peuvent enfin visualiser la généalogie de chacun des théorèmes qu’il introduit :

quels sont les parents (métaxiomes, théorèmes, définitions) de ce théorème ?
Quels sont ses grands-parents ? Ses arrière-grands-parents ?…

L’application permet de remonter à volonté du premier rang (les parents) à la base axiomatique de la construction.
Elle permet de n’afficher que les théorèmes de la généalogie, ou d’en afficher également les définitions et/ou les métaxiomes utilisés.

C’est un outil extraordinaire à la fois pour les amateurs passionnés qui peuvent ainsi remonter toute une construction axiomatique jusqu’à ses axiomes
et pour les professeurs qui peuvent situer chaque nouveau théorème dans un contexte et délimiter un cadre raisonnable (1, 2 ou 3 rangs) à son étude.


 LES GRAPHES                                    Mode d'emploi

 

 

.