Site officiel du LAMFA, UMR CNRS 7352 logée par l’Université de Picardie Jules Verne



Accueil > Séminaires, colloques

Le Colloquium

par Hervé Le Meur - publié le , mis à jour le

Contact : Hervé Le Meur

Le Colloquium a lieu un mardi par mois, à 16h.

La prochaine séance aura lieu en salle BC101, voire par zoom en cette salle.

  • 24 mai 2022 : Séance ZOOM. ID= 836 8164 8923 Pablo Jensen (CNRS)
    Titre : Pourquoi la société ne se laisse pas mettre en équations

Résumé : Je présenterai des exemples de modèles mathématiques de systèmes sociaux, tirés de mon livre « Pourquoi la société ne se laisse pas mettre en équations » (Seuil, 2018).
Je soutiendrai que, bien qu’ils puissent être conceptuellement utiles pour corriger nos modèles intuitifs de mécanismes sociaux, leur pertinence pour les systèmes sociaux réels n’est pas évidente. Qui plus est, puisque les physiciens ont toujours eu besoin de « dompter » le monde à l’intérieur des laboratoires pour rendre leurs modèles pertinents, la modélisation sociale est liée au « dressage » des humains.

  • 10 mai 2022 : Séance ZOOM Alain Prouté (Université de Paris)
    Titre : Comment déterminer la structure des preuves mathématiques sans rien supposer.

Présentation : La ``théorie de la démonstration’’ est une branche de la logique mathématique apparue vers 1930 avec les travaux de Arendt Heyting, Andreï Kolmogorov, et surtout Gerhard Gentzen qui en 1934 propose une formalisation des preuves mathématiques qu’il appelle ``calcul des séquents’’. En 1980, William Howard remarque qu’un certain lambda-calcul typé est identique, aux notation près, au formalisme de Gentzen. Cette remarque, maintenant connue sous le nom d’``Isomorphisme de Curry-Howard’’, a enthousiasmé nombre d’informaticiens théoriciens, ce qui a donné lieu à des théories de fondation des mathématiques, comme par exemple la théorie des types de Per Martin-Löf, et à la création d’assistants de preuves, comme par exemple COQ. Dans les années qui ont suivi, on s’est aperçu que cela posait certains problèmes. Par exemple, Martin-Löf explique dans un article publié en 2006 que sa théorie de 1984 est problématique, et le système COQ a dû être amendé le jour où on s’est aperçu qu’un certain théorème de Radu Diaconescu n’était pas démontrable dans le système. Ces mésaventures sont la conséquence du fait qu’on a (sans doute plus ou moins inconsciemment) admis que le formalisme de Gentzen représentait bien les preuves mathématiques telles qu’on les pratique tous les jours, ce qui ne peut être qu’un postulat. C’est pour ces raisons que je me suis demandé s’il pouvait exister une méthode qui nous conduirait à la structure des preuves sans qu’on ait besoin de s’appuyer sur un postulat. L’entreprise peut paraître désespérée, mais cette méthode existe bien, et c’est elle qui est le sujet de cet exposé.

L’exposé reste élémentaire, ne supposant que des notions mathématiques standard (niveau L1), et la compréhension de la dichotomie signifiant/signifié que j’expliquerai.

  • 3 mars 2020 : Alain Lithaud (IRCAM)
    Titre : La voix : manipulation et synthèse

Résumé : Petite causerie non-exhaustive à propos de manipulation et de synthèse la voix, du XVII° siècle à nos jours.
Quelques repères historiques.
Quelques éléments scientifiques (mais pas trop).
Quelques démos (édifiantes !).
Et surtout de la musique, de la scène, du cinéma…

  • 4 février 2020 : Catherine Goldstein (Institut de Mathématiques de Jussieu)
    Titre : Des échiquiers et des nombres : Henri Delannoy et la société mathématique française à la fin du 19e siècle

Résumé : Alors que les mathématiques se professionnalisent à la fin du 19e siècle, certains amateurs développent alors encore des approches et des résultats promis à un avenir durable. Je parlerai du cas d’Henri Delannoy (1833-1915), ancien intendant militaire, qui s’intéresse en particulier aux marches sur des échiquiers. Outre ses méthodes originales et leurs applications à la combinatoire et aux probabilités, nous évoquerons ses liens mathématiques et ses relations parfois conflictuelles avec le monde universitaire et l’Académie des sciences.

  • 14 janvier : Yves André (Institut de Mathématiques de Jussieu)
    Titre : De l’impossibilité de calculer algébriquement la position d’une planète à temps donné (Newton) à la structure générale des relations de périodes (Ayoub)

Résumé : Newton déduisait l’impossibilité de calculer algébriquement la position d’une planète à temps donné d’un étonnant lemme de transcendance dont le bien-fondé a été débattu pendant trois siècles. Ce fut l’occasion, chez Leibniz, d’une spéculation sur la transcendance d’intégrales de grandeurs algébriques sur des domaines algébriques. Il y a vingt ans, Kontsevich proposait un « principe de raison suffisante » pour les relations algébriques entre ces intégrales, principe confirmé par Ayoub dans sa variante fonctionnelle.
La compréhension de ces relations passe par les « motifs », ces pièces de puzzle algébro-géométriques d’abord rêvées par Grothendieck puis utilisées comme fiction utile par Deligne, avant de devenir les objets d’une théorie bien établie et efficace. L’exposé brossera ces histoires de manière non technique.

  • 1 octobre 2019 : Michèle Artigue (Paris-Diderot)
    Titre : La recherche en didactique des mathématiques sur la transition secondaire/supérieur et l’enseignement supérieur : acquis, évolutions et perspectives.

Résumé : A venir

Colloquium 2018-2019

Colloquium 2017-2018

Colloquium 2016-2017

Colloquium 2015-2016
Archives

Agenda

séminaire

  • Mercredi 1er octobre 2014 16:00-17:00 - Christian Kassel - CNRS-Université de Strasbourg

    Colloquium : Christian Kassel

  • Mercredi 12 novembre 2014 16:00-17:00 - Isabelle Gallagher - Université Paris 7

    Colloquium : Isabelle Gallagher

  • Mercredi 10 décembre 2014 16:00-17:00 - Alessandra Sarti - Université de Poitiers

    Colloquium : Alessandra Sarti

  • Mercredi 21 janvier 2015 16:00-17:00 - Matthieu Romagny - Rennes

    Colloquium : Matthieu Romagny

  • Mercredi 18 février 2015 16:00-17:00 - Denis Gratias

    Colloquium : Denis Gratias

  • Mercredi 18 mars 2015 16:00-17:00 -

    Colloquium : Sébastien Gouëzel

  • Mercredi 20 janvier 2016 16:00-17:00 - Lionel Schwartz - Paris 13

    Colloquium : Lionel Schwartz

    Lieu : LAMFA BC2.1


  • Mercredi 3 février 2016 16:00-17:00 - Bertrand Maury - Paris Sud

    Colloquium : Bertrand Maury

    Lieu : LAMFA BC2.1


  • Mercredi 23 mars 2016 16:00-17:00 - Christine Lescop - Grenoble

    Colloquium : Christine Lescop

    Lieu : LAMFA BC2.1


  • 1 | 2 | 3 | 4

Ajouter un événement iCal