Ronald Fagin
Ronald Fagin · Technologia i inżynieria
Fagin, z rodziny żydowskiej w Oklahomie, obronił doktorat z matematyki w Berkeley i spędził karierę w IBM Research.
1945, Oklahoma City, Oklahoma, USA
United States (San Jose, California)
Fagin, z rodziny żydowskiej w Oklahomie, obronił doktorat z matematyki w Berkeley i spędził karierę w IBM Research. Stworzył teorię modeli skończonych: twierdzenie Fagina dowiodło, że klasa złożoności NP odpowiada dokładnie problemom wyrażalnym w egzystencjalnej logice drugiego rzędu, łącząc logikę, obliczenia i teorię baz danych. Otrzymał tytuł IBM Fellow, a w 2014 roku Nagrodę Gödla.
Sprawdź i pogłęb temat dzięki tym zewnętrznym odniesieniom.
Źródło: Jinfo.org — Jewish recipients of the Gödel Prize
Ta strona ukazuje się w siedmiu językach na podstawie źródła angielskiego. Tłumaczenia są sprawdzane, ale błąd może się prześlizgnąć. Jeśli zauważysz go na tej stronie — błędne słowo, zgubioną datę, zdanie mówiące coś, czego nie ma w angielskim — daj nam znać.
Fagin, z rodziny żydowskiej w Oklahomie, obronił doktorat z matematyki w Berkeley i spędził karierę w IBM Research.
Źródło: Jinfo.org — Jewish recipients of the Gödel Prize
Podobni twórcy
Frank Proschan
Éva Tardos
Abraham Charnes
David Peleg
