Ronald Fagin
Ronald Fagin · Tecnología e ingeniería
Fagin, de familia judía en Oklahoma, obtuvo su doctorado en matemáticas en Berkeley y desarrolló su carrera en IBM Research.
1945, Oklahoma City, Oklahoma, Estados Unidos
Estados Unidos (San Jose, California)
Fagin, de familia judía en Oklahoma, obtuvo su doctorado en matemáticas en Berkeley y desarrolló su carrera en IBM Research. Fundó la teoría de modelos finitos: el teorema de Fagin demostró que la clase de complejidad NP corresponde exactamente a los problemas expresables en lógica existencial de segundo orden, uniendo lógica, computación y teoría de bases de datos. Fue nombrado IBM Fellow y recibió el Premio Gödel en 2014.
Verifique y profundice con estas referencias externas.
Fuente: Jinfo.org — Jewish recipients of the Gödel Prize
Esta página se publica en siete idiomas a partir de una fuente en inglés. Las traducciones se revisan, pero puede colarse un error. Si detecta alguno en esta ficha —una palabra equivocada, una fecha perdida, una frase que dice algo que el inglés no dice—, háganoslo saber.
Fagin, de familia judía en Oklahoma, obtuvo su doctorado en matemáticas en Berkeley y desarrolló su carrera en IBM Research.
Fuente: Jinfo.org — Jewish recipients of the Gödel Prize
Contribuidores similares
Frank Proschan
Éva Tardos
Abraham Charnes
David Peleg
