A tese de doutorado escrita por Ronald Fagin na Universidade da Califórnia, em Berkeley, estabeleceu uma ligação fundamental entre a lógica de segunda ordem existencial e a classe de complexidade NP. Essa demonstração, agora conhecida como teorema de Fagin, forneceu uma base para o desenvolvimento da teoria de modelos finitos, moldando a forma como os pesquisadores abordam problemas de decisão e máquinas de Turing não determinísticas dentro da complexidade computacional.
Antecedentes acadêmicos
Nascido em 1945 em Oklahoma City, Fagin frequentou a Escola Secundária Northwest Classen antes de continuar sua educação no Dartmouth College. Ele concluiu seus estudos de doutorado em 1973 sob a supervisão de Robert Vaught na Universidade da Califórnia, em Berkeley. Logo após a graduação, ele integrou a Divisão de Pesquisa da IBM, iniciando sua trajetória no Centro de Pesquisa Thomas J. Watson.
Contribuições para a lógica e bancos de dados
Fagin transferiu-se para o IBM Research – Silicon Valley em San Jose, na Califórnia, em 1975. Seu trabalho abrange a teoria de bancos de dados e o raciocínio sobre o conhecimento. Além de seu teorema sobre a complexidade NP, ele demonstrou que a lógica de primeira ordem possui uma lei de zero ou um, indicando que a probabilidade de uma sentença de primeira ordem ser satisfeita por uma estrutura de n nós converge para zero ou um à medida que n se aproxima do infinito. Ele também desenvolveu estruturas teóricas para formas normais superiores em bancos de dados, especificamente 4NF, 5NF e DK/NF.
Algoritmos e reconhecimento
A comunidade científica identifica vários conceitos através de seu nome, incluindo o algoritmo de Fagin para agregação de pontuações e a inversa de Fagin usada na troca de dados. Ao longo de sua carreira, ele atuou como presidente de comitês em inúmeros encontros profissionais, como o Simpósio da ACM sobre Princípios de Sistemas de Bancos de Dados e a Conferência Internacional sobre Teoria de Bancos de Dados. Seu trabalho colaborativo inclui o livro de 1995 Reasoning about Knowledge.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Honrarias e afiliações
Fagin é membro da Academia Nacional de Ciências, da Academia Nacional de Engenharia, da Academia Americana de Artes e Ciências e do IEEE. Suas láureas incluem o Prêmio Gödel de 2014, o Prêmio Alonzo Church de 2020 e o Prêmio W. Wallace McDowell de 2012. Ele também recebeu um doutorado honorário da Universidade Paris Dauphine.
Dados rápidos
- Nascimento: 1945, Oklahoma City - Educação: Dartmouth College, Universidade da Califórnia, Berkeley - Empregador: IBM - Teorema principal: Teorema de Fagin - Prêmio selecionado: Prémio Gödel (2014) - Associação profissional: Membro da ACM - Área de destaque: Teoria de modelos finitos
Perguntas frequentes
### O que é o teorema de Fagin?
Ele identifica que um problema de decisão é expressivo em lógica de segunda ordem existencial se, e somente se, puder ser resolvido por uma máquina de Turing não determinística em tempo polinomial.
### Onde Fagin conduziu sua pesquisa?
Ele passou sua carreira na Divisão de Pesquisa da IBM, principalmente no IBM Research – Silicon Valley.
