Résumé
La démonstration, au début du XXe siècle, que les mathématiques pouvaient en principe être complètement formalisées a eu un impact profond sur la façon dont le sujet a été considéré depuis lors. Cependant, l’accent de la formalisation a été fortement mis sur le raisonnement symbolique, et beaucoup moins sur le raisonnement visuel et schématique, qui joue un rôle fondamental dans la recherche, et qui convainc souvent les mathématicien·ne·s de la vérité d’un énoncé bien avant qu’ils n’aient écrit une preuve sous forme symbolique. Ce séminaire a examiné le rôle du raisonnement diagrammatique, en utilisant comme étude de cas un article d’Alain Connes et Dirk Kreimer qui inclut des diagrammes de Feynman.
