Walter Dean

Walter Dean
01/01/2008
Résidents Labex RFIEA+
pas Eurias
Résidents Programme FIAS

dates de séjour

01/09/2022 - 30/06/2023

discipline

Philosophie
Mathématiques

Fonction actuelle

Professeur associé

Institution actuelle

Université de Warwick (Royaume-Uni)

pays d'origine

Royaume-Uni

lien internet

projet de recherche

Le projet établit un lien entre la philosophie des mathématiques et l'étude des algorithmes et de la complexité en informatique théorique. Il étudie la signification des barrières, c'est-à-dire des résultats mathématiques illustrant pourquoi certains problèmes actuellement considérés comme "difficiles" ne peuvent être résolus à l'aide des techniques de preuve existantes.
La fameuse question P vs NP illustre ce genre de problèmes. Elle permet de se demander si la tâche consistant à trouver une solution à un certain type de problème fini est intrinsèquement plus difficile que celle consistant à vérifier qu'une solution donnée est correcte. Une solution à cette question aurait des ramifications importantes, par exemple pour la sécurité des données, l'informatique quantique et l'intelligence artificielle. Mais après avoir été posé pour la première fois en 1971, P vs NP reste non résolu et est considéré comme l'un des problèmes ouverts les plus difficiles en mathématiques.

 

La découverte des barrières permet d'expliquer ce phénomène en illustrant comment les stratégies successives de résolution de P vs NP ont échoué. Une thèse centrale du projet est que les barrières éclairent non seulement les obstacles techniques, mais aussi les limites plus générales de la connaissance humaine, tant à l'intérieur qu'à l'extérieur des mathématiques. Ce thème sera exploré dans le cadre de sous-projets explorant la méthodologie des barrières comme étude de cas dans la résolution de problèmes mathématiques, l'histoire des algorithmes de multiplication dans le cadre de la question "Est-il intrinsèquement plus difficile de multiplier que d'ajouter ?" et les limites de la théorie de la complexité sur l'utilisation de l'intelligence artificielle pour la recherche de preuves mathématiques.

biographie

Walter Dean est professeur associé de philosophie à l'université de Warwick, où il dirige également les diplômes communs aux mathématiques et à la philosophie. Ses recherches portent sur la philosophie des mathématiques, la logique mathématique, l'histoire et la philosophie du calcul. Il s'est particulièrement intéressé aux interactions entre la calculabilité et la théorie de la complexité et les questions traditionnelles sur la connaissance, la preuve et la justification mathématiques. Ses recherches les plus récentes ont porté sur les applications des mathématiques inversées à l'argumentation philosophique et sur le rôle du théorème de complétude de Gödel dans les dernières étapes du programme de Hilbert. Il a été boursier de la Fondation Alexander von Humboldt, de l'Agence nationale de la recherche et de la Fondation Pays-Bas-Amérique.