Vulgarisation
-
exposé « amphis pour tous » sur les symétries et pavages périodiques : supports « symétries » (janvier 2018, en français, exposé grand public)
-
exposé « amphis pour tous » sur l'origami : supports « mathématiques et origami » (novembre 2013, en français, exposé grand public)
-
exposé « amphis pour tous » sur les jeux : La science des jeux (décembre 2009, en français, exposé grand public)
Publications
Mes publications scientifiques sont rédigées en anglais. Elles sont listées sur la page correspondante.
La seule exception est le livre suivant, rédigé à 8 mains :
- [DHNR17]
-
"Les démonstrations mathématiques", with René David, Karim Nour and Christophe Raffalli éditions ellipses, 2017. (french)
Ce livre présente le langage utilisé par les mathématiciens en commençant par la construction et la sémantique des énoncés. Les règles de raisonnement à la base de toutes les démonstrations sont ensuite exposées en détail. Nous détaillons également les éléments de français qui permettent d'exprimer les preuves mathématiques par des textes concis, variés et intelligibles.
La seconde moitié de l'ouvrage insiste sur les difficultés de raisonnement et de langage exclusivement à travers d'exemples. La plupart sont tirés du programme du lycée et de première année universitaire; d'autres, ludiques et moins conventionnels, ne nécessitent pas de connaissance supplémentaire.
Les nombreux exercices ne testent pas uniquement les compétences mathématiques mais surtout la compréhension des principes de démonstration. À notre connaissance, ce style d'exercice n'existe dans aucun autre ouvrage. Les corrections proposées ne contiennent pas simplement une démonstration possible mais sont souvent accompagnées de commentaires sur le raisonnement sous-jacent.
Ce livre ne traite pas de logique formelle mais se veut une référence pour un cours de mathématiques sur le raisonnement tel qu'il est pratiqué. L'enseignant y trouvera des exemples et des explications qu'il pourra facilement réutiliser. L'étudiant qui aura assimilé les principes présentés sera mieux armé pour s'attaquer à la compréhension de notions mathématiques plus complexes.
René David, Pierre Hyvernat, Karim Nour et Christophe Raffalli sont des spécialistes de la théorie de la démonstration. Ils sont enseignants chercheurs et membres du laboratoire de mathématiques de l'université Savoie Mont Blanc. Ils sont joignables par email à l'adresse dhnr@univ-smb.fr.
Organisations d'évènements
J'ai participé à l'organisation des évènements suivants :
-
co-organisateur du workshop Termination and Circular Proofs (Juillet 2017)
-
co-organisateur du workshop Coinduction in Type Theory (Juillet 2017)
-
organisateur du workshop Parametricity, Logical Relations & Realizability (Septembre 2016)
-
co-organisateur du workshop Géocalisation à Chambéry (Juin 2015)
-
co-organisateur des journées LAC (Novembre 2014)
-
organisateur du workshop Réalisabilité à Chambéry (#6) workshop (Juin 2013)
-
organisateur du workshop Réalisabilité à Chambéry (#5) workshop (Juin 2012)
-
organisateur du workshop Réalisabilité à Chambéry (#4) workshop (Juin 2011)
-
organisateur du workshop Réalisabilité à Chambéry (#3) workshop (Juin 2010)
-
co-organisateur de l'École jeunes chercheurs du GDR IM
lien cassé(Mars 2010) -
organisateur du worshop Réalisabilité à Chambéry workshop (Juin 2009)
-
co-organisateur de la conférence TYPES meeting
lien cassé(Mai 2009) -
organisateur du worshop Réalisabilité à Chambéry (Juin 2008)
-
membre du comité de programme pour le workshop GaLoP III, ETAPS 2008 à Budapest, Hongrie: Games for Logic and Programming (Avril 2008)
-
co-organisateur et membre du comité de programme pour les rencontres LAC à Chambéry: Douzième réunion du groupe de travail Logique, Algèbre et Calcul (Février 2007)