Conférence dans le cadre des Congrès scientifiques mondiaux TimeWorld : TimeWorld expose et anime la connaissance sous toutes ses formes, théorique, appliquée et prospective. TimeWorld propose un état de l'art sur une thématique majeure, avec une approche multiculturelle et interdisciplinaire. C'est l'opportunité de rencontres entre chercheurs, industriels, universitaires, artistes et grand public pour faire émerger des idées en science et construire de nouveaux projets.
https://timeworldevent.com/fr/
------------------------------------------------------------------------
Antoine Genitrini est maître de conférences en informatique à Sorbonne Université au sein du LIP6. Suite à des études à l'interface entre mathématiques et informatique, il s'intègre dans la communauté internationale de chercheurs qui développent des analyses quantitatives d'algorithmes et de structures de données. Depuis sa thèse il étudie en particulier des structures de données liées à la logique booléennes mais également la théorie informatique de la concurrence à travers une approche combinatoire et quantitative de ses propriétés. Son champ de recherche multidisciplinaire, dans le contexte théorique d'objets issus de l'informatique lui permet de nombreuses collaborations avec des chercheurs de divers horizons, aussi bien des mathématiques que de l'informatique.
Conférence : Une preuve mathématique peut-elle être consolidée grâce à l'informatique ?
30 juin 2022, 13h45 - 14h30 — Amphi 34B
À travers cet exposé, nous allons retracer l'histoire de la coloration de cartes planes. La question consiste à déterminer le nombre minimum de couleurs nécessaires pour colorer les régions de n'importe quelle carte plane de telle sorte que des régions limitrophes aient des couleurs différentes. Le problème est énoncé formellement au milieu du 19ème siècle lors d'une correspondance entre Augustus de Morgan et Sir Willian Rowan Hamilton. Les tentatives de preuves mathématiques se succèdent pendant plus d'une centaine d'années à travers le monde. Dans les années 1970's, alors que les mathématiciens ont réussi à résoudre le problème pour la plupart des cartes, il reste environ 1500 configurations qui ne vérifient pas les hypothèses permettant de conclure leur coloration. C'est alors que Appel et Haken décident de traiter le problème, de façon informatique, à l'aide d'une étude exhaustive de ces dernières configurations. Leur publication de 1976 finalisant la preuve complète du théorème des quatre couleurs n'est pourtant pas accueillie avec enthousiasme par les chercheurs du domaine, en raison de l'approche qu'ils ont suivie.