Ronald Fagin

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