Leon Henkin: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
nova página: '''Leon Henkin''' (19 Abril 19211 Novembro 2006) foi um lógico da Universidade de Berkeley, California....
 
Pedrohp (discussão | contribs)
Linha 6:
 
Mais tarde Henkin generalizou seu resultado em uma variante das [[Lógica de ordem superior|Lógicas de maior ordem]] de [[Alonzo Church]]. Esta variante usa modelos gerais (também conhecidos por modelos de Henkin), os quais não precisam ser interpretados por um espaço de funções completo. Ao invés disso, um subconjunto do espaço de função pode ser utilizado.
 
==Juventude==
 
Nascido no Brooklyn, em uma família de Joalheiros imigrantes Russos, Graduou-se em Matemática e Filosofia pela [[Columbia University|Universidade de Columbia]], em 1941. Obteve o título de mestre lá em 1942
 
Trabalhou então no [[Signal Corps Radar Laboratory]], Belmar, New Jersey. Como participante no Projeto Manhattan, ele trabalhou na isotope diffusion, em [[Nova Iorque]], e Oak Ridge, Tennessee.