Institut de Mathématiques de Toulouse

Les événements de la journée


2 événements


  • Rough paths

    Jeudi 29 juin 2017 10:00-11:30 - L .coutin

    Rough paths :Intégration

    [En savoir plus]


  • Séminaire Info-Math

    Jeudi 29 juin 2017 16:00-17:00 -

    The Infinite Epsilon Calculus.

    Résumé : The Epsilon Calculus is a formal framework designed by Hilbert as part of his foundational program. As we show, there is a natural way in which it can be generalized to incorporate expressions of countable length, e.g., statements of the form “x=0 or x=1 or x=2 or …”. We give an overview of the general theory of the Infinite Epsilon Calculus, focusing on its connection to infinite games and various mathematical axioms.

    Lieu : salle 001, IRIT

    [En savoir plus]