Martin Davis Harding (né le 26 novembre 1931 à New York et mort le 4 décembre 2019 à Berkeley) était un informaticien, mathématicien et logicien américain. Il est connu pour son travail sur la théorie de la complexité en informatique théorique.
Harding a grandi dans le Bronx, à New York, et a étudié les mathématiques à l'université Harvard. Il a commencé sa carrière en tant que chercheur à l'IBM en 1954. En 1962, il rejoint l'université de Californie à Berkeley, où il est resté jusqu'à sa mort.
Harding est connu pour son travail sur la théorie des automates et la théorie de la complexité. Il a démontré que le problème de la décidabilité des formules en arithmétique récurente primitive (AR) est indécidable, c'est-à -dire qu'il n'y a pas d'algorithme général qui peut résoudre tout problème d'AR. Il a également travaillé sur la théorie de la complexité des algorithmes, notamment en ce qui concerne les problèmes NP-complets et NP-difficiles.
Harding a été distingué pour son travail par plusieurs prix et récompenses, y compris le prix Gödel en 1985 et la médaille John von Neumann en 2011. Il a également été élu à l'Académie nationale des sciences des États-Unis en 1973.
Malgré son travail remarquable dans les mathématiques et les informatiques, Harding était aussi connu pour être un enseignant passionné qui se consacrait à ses étudiants. Il a été décrit comme un homme généreux et sympathique, toujours prêt à répondre aux questions de ses étudiants et à soutenir leur travail.
Harding a laissé une marque profonde sur les mathématiques et l'informatique théorique, et son travail continuera d'être une source d'inspiration pour les chercheurs dans ces domaines.
Harding a grandi dans le Bronx, à New York, et a étudié les mathématiques à l'université Harvard. Il a commencé sa carrière en tant que chercheur à l'IBM en 1954. En 1962, il rejoint l'université de Californie à Berkeley, où il est resté jusqu'à sa mort.
Harding est connu pour son travail sur la théorie des automates et la théorie de la complexité. Il a démontré que le problème de la décidabilité des formules en arithmétique récurente primitive (AR) est indécidable, c'est-à -dire qu'il n'y a pas d'algorithme général qui peut résoudre tout problème d'AR. Il a également travaillé sur la théorie de la complexité des algorithmes, notamment en ce qui concerne les problèmes NP-complets et NP-difficiles.
Harding a été distingué pour son travail par plusieurs prix et récompenses, y compris le prix Gödel en 1985 et la médaille John von Neumann en 2011. Il a également été élu à l'Académie nationale des sciences des États-Unis en 1973.
Malgré son travail remarquable dans les mathématiques et les informatiques, Harding était aussi connu pour être un enseignant passionné qui se consacrait à ses étudiants. Il a été décrit comme un homme généreux et sympathique, toujours prêt à répondre aux questions de ses étudiants et à soutenir leur travail.
Harding a laissé une marque profonde sur les mathématiques et l'informatique théorique, et son travail continuera d'être une source d'inspiration pour les chercheurs dans ces domaines.
