Ronald Fagin
Ronald Fagin · Technologie & ingénierie
Fagin, issu d'une famille juive de l'Oklahoma, obtint son doctorat de mathématiques à Berkeley et fit carrière chez IBM Research.
1945, Oklahoma City, Oklahoma, États-Unis
États-Unis (San Jose, Californie)
Fagin, issu d'une famille juive de l'Oklahoma, obtint son doctorat de mathématiques à Berkeley et fit carrière chez IBM Research. Il fonda la théorie des modèles finis : le théorème de Fagin établit que la classe de complexité NP correspond exactement aux problèmes exprimables en logique du second ordre existentielle, reliant logique, calcul et théorie des bases de données. Il fut nommé IBM Fellow et reçut le prix Gödel en 2014.
Vérifiez et approfondissez avec ces références externes.
Source : Jinfo.org — Jewish recipients of the Gödel Prize
Cette page paraît en sept langues à partir d'une source anglaise. Les traductions sont relues, mais une erreur peut passer. Si vous en repérez une sur cette fiche — un mot fautif, une date perdue, une phrase qui dit autre chose que l'anglais —, signalez-la-nous.
Fagin, issu d'une famille juive de l'Oklahoma, obtint son doctorat de mathématiques à Berkeley et fit carrière chez IBM Research.
Source : Jinfo.org — Jewish recipients of the Gödel Prize
Contributeurs similaires
Frank Proschan
Éva Tardos
Abraham Charnes
David Peleg
