Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil > Séminaires > Séminaires et Groupes de travail hebdomadaires > Logique et Interactions

Séminaire Logique et Interactions

par Lozingot Eric, Vaux Lionel - publié le , mis à jour le

Agenda

Séminaire

  • Jeudi 22 février 11:00-12:30 - Assia MAHBOUBI - LS2N, Nantes & INRIA

    Une preuve assistée par ordinateur de l’irrationalité de zeta(3)

    Résumé : L’étude des valeurs de la fonction zeta de Riemann aux entiers impairs est encore aujourd’hui un sujet de recherche actif en théorie des nombres. R. Apéry a obtenu en 1978 un succès spectaculaire en établissant l’irrationalité de zeta(3). Mais le statut, rationnel ou irrationnel des autres entiers positifs impairs est encore inconnu à ce jour. Le point crucial de la présentation originale d’Apéry réside dans l’observation que deux suites particulières sont solutions d’une même récurrence, remarque qui permet d’estimer leurs comportements asymptotiques respectifs. Cette récurrence miraculeuse était difficile à deviner, mais elle s’est aussi révélé difficile à vérifier pour l’auditoire d’Apéry. Depuis les années 90, des chercheurs en combinatoire et en calcul formel ont conçu des algorithmes efficaces qui permettent de "deviner" de telles récurrences, et ainsi de faire des preuves "par calcul formel". Dans cet exposé nous présentons et discutons une preuve formelle de l’irrationalité de zeta(3) basée sur une session de calcul formel qui exécute de tels algorithmes.
    (en collaboration avec Frédéric Chyzak, Thomas Sibut-Pinote et Enrico Tassi)

    JPEG - 12.8 ko
    Assia MAHBOUBI

    Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
    Site Sud - Bâtiment TPR2
    Campus de Luminy, Case 907
    13288 MARSEILLE Cedex 9

    Exporter cet événement

  • Jeudi 8 mars 11:00-12:30 - Andrea GAGNA - I2M, Aix-Marseille Université

    Les petites catégories comme modèles des types d’homotopie

    Résumé : La théorie de l’homotopie des petites catégories a été introduite par Grothendieck avec la définition du foncteur nerf, qui permet de donner une notion sensible d’équivalence faible parmi les petites catégories. Dans sa thèse, Illusie montre (et il attribue la preuve à Quillen) que la catégorie de l’homotopie des petites catégories est équivalente aux types d’homotopie. On donnera une variante de cette preuve qui utilise le théorème A de Quillen.

    JPEG - 7.9 ko
    Andrea GAGNA

    Exporter cet événement

  • Jeudi 22 mars 11:00-12:30 - Alexis SAURIN - IRIF, Université Paris-Diderot

    Séminaire Logique et Interactions (TBA)

    Résumé : TBA

    JPEG - 7 ko
    Alexis SAURIN

    Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
    Site Sud - Bâtiment TPR2
    Campus de Luminy, Case 907
    13288 MARSEILLE Cedex 9

    Exporter cet événement

  • Jeudi 5 avril 11:00-12:30 - Amina DOUMANE - LIP, ÉNS Lyon

    Séminaire Logique et Interactions (TBA)

    Résumé : TBA

    JPEG - 21.8 ko
    Amina DOUMANE

    Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
    Site Sud - Bâtiment TPR2
    Campus de Luminy, Case 907
    13288 MARSEILLE Cedex 9

    Exporter cet événement

groupe de travail

Manifestation scientifique

Descriptif
Nature Séminaire et Groupe de travail
Intitulé Logique et interactions
Responsable Lionel Vaux
Équipe de rattachement Logique de la Programmation (LDP) du Groupe Arithmétique Géométrie Logique et Représentations (AGLR, ex-LUM)
Fréquence 1 à 2 séances par mois
Jour-Horaire Jeudi. 11h-12h30
Lieu Luminy, salle des séminaires 304-306 (accès)
Lien http://iml.univ-mrs.fr/ldp/seminaire/

Contact : lionel.vaux_AT_univ-amu.fr