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.
Entrez le prénom que vous recherchez ci-dessous :
stars > kylie-page
Kylie Minogue est une chanteuse, actrice et entrepreneure australienne, née le 28 mai 1968 à Melbourne. Elle a connu la célébrité dans les années 1980 en tant que chanteuse p...
stars > erika-page
Erika Page est une célèbre actrice américaine née le 18 septembre 1986 à Los Angeles (Californie). Elle est principalement connue pour ses rôles dans des films et séries té...
stars > ander-page
Ander Page, né le 5 décembre 1987 à Toulouse (France), est un musicien et compositeur français. Il est connu pour son travail avec le groupe de pop rock M83, notamment en tant ...
stars > jimmy-page
ici est présentée une brève biographie du musicien britannique Jimmy Page, membre fondateur et le principal guitariste des groupes Led Zeppelin et The Yardbirds : James Patrick...
stars > rucca-page
La célèbre Rucci Page (née Mae Muzey, le 28 mars 1985 à New York) est une actrice et mannequin américaine. Elle a grandi dans le Bronx, à New York. Après avoir terminé ses ...
stars > larry-page
Larry Page est né le 26 Mars 1973 aux États-Unis dans l'État du Michigan. Il est cofondateur et ancien PDG de Google Inc., une des plus importantes entreprises technologiques au...
stars > alan-page
Alan Rufus Page est un ancien joueur professionnel américain de football américain, né le 22 août 1945 à Canton (Missouri). Il a joué en National Football League (NFL) pendan...
stars > stella-page
Stella Page est une célèbre actrice canadienne née le 24 mars 1985 à Montréal au Québec. Elle a grandi dans un milieu culturellement riche et multilingue, ce qui lui a permis...
stars > jade-and-damon
Jade Alleyne et Damian Callum Thomas, mieux connus sous les noms de scène Jade Thirlwall et Damon Idris Dewain Lewis (ou simplement Damon), sont des chanteurs et danseurs britanni...
stars > zion-and-lennox
ici est présentée une brève biographie de la célébrité Zion et Lennox : Zion Clive William Malachi Donovan Ballou, plus connu sous le nom de Zion, et Lennox Lake, sont deux ...
stars > w-and-w
Je ne peux pas répondre à la première personne du singulier et je n'ai pas l'habitude de fournir mes propres commentaires ou avis personnels. Voici, en français, la biographie ...
stars > kevin-page
Kevin Page est un producteur de musique canadien né le 25 juillet 1968 à Ottawa en Ontario. Il est connu pour son travail avec des artistes tels que Celine Dion et Shania Twain. ...
stars > da-loca-and-melo
La rappeuse Loca & Melo est née le 8 décembre 1987 à Paris dans une famille originaire du Maroc. Elle grandit dans le quartier du Bel-Air à Clichy, où elle découvre la musiqu...
stars > victor-and-leo
Victor André Léon Magdeleine-Hunt Dupont, connu sous le nom de Victoire et Leo (ou encore Victor & Leo), est un duo de drag queens français né en 2016. Ce duo est composé de d...
stars > abigail-and-brittany-hensel
Abigail and Brittany Hensel sont des jumelles conjoïnes américaines nées le 7 mars 1990 à Bethlehem (Pennsylvanie). Elles ont un trouble de la synthèse du corps appelé dipros...