Les maths et moi (interview)

Une page web personnelle, c'est aussi fait pour se présenter, non ?
Que diriez-vous de m'interviewer ?

[Vous]    M. Darnière, parlez-nous de vos maths.

[Moi]    Oh la la, c'est un peu compliqué...

[Vous]    Bon, concrètement, vous faites quoi ?

[Moi]    Eh bien, ma spécialité ce sont les anneaux qui satisfont un principe local-global comme le principe de Hasse : pour ces anneaux, on est tenté de ramener la théorie de l'anneau lui-même a celle de ces fibres (les anneaux où l'on va chercher les points locaux) plus des informations auxiliaires comme la topologie de son spectre maximal ou son groupe absolu de Galois. Bien sûr ce n'est pas toujours possible mais sous des conditions raisonnablement générales on peut obtenir des théorèmes de plongements qui permettent une classification efficace de ces anneaux et par là-même des résultats de décidabilité, de modèle-complétude, voire des applications à l'algébre classique.

[Vous]    Ce sont vraiment des maths, tout ça ?

[Moi]    Sans aucun doute. Plus précisément c'est de la théorie des modèles.

[Vous]    De la quoi !?

[Moi]    J'ai réalisé une petite page web de vulgarisation, intitulée « Qu'est-ce que la théorie des modèles ? » ou je tente de répondre à cette question. Elle est lisible (j'espère) par un étudiant de niveau DEUG (sauf certains exemples). Vous devriez aller y jeter un oeil.

[Vous]    Comment en êtes-vous arrivé là ?

[Moi]    En suivant le DEA « logique et fondement de l'informatique » à Jussieu. J'ai ensuite fait une thèse intitulée « Étude modèle-théorique d'anneaux satisfaisant un principe de Hasse non singulier ». Si ça vous intéresse, vous pouvez la télécharger sur la page qui présente mes (pré-)publications.

[Vous]    Et où peut-on trouver des informations sur la logique mathématique ?

[Moi]    Euh... vous pouvez par exemple aller voir le serveur web de l'équipe de logique mathématique de Jussieu, ou bien visiter la page Mathematical Logic around the world qui répertorie de nombreux liens.

[Vous]    Merci, M Darniere.

[Moi]    Y'a pas d'quoi, merci à vous.