Leon henkin

Leon Henkin, Berkeley 1990

Leon Albert Henkin (nascido em 19 de abril de 1921 no Brooklyn , † 1º de novembro de 2006 em Oakland ) foi um lógico americano .

Vida

Henkin era filho de imigrantes judeus-russos e estudou matemática e filosofia no Columbia College, Columbia University (mestrado em 1942). Durante a Segunda Guerra Mundial, ele trabalhou em pesquisas de radar com o US Army Signal Corps e o projeto Manhattan (separação de isótopos em Oak Ridge). Após a guerra, ele recebeu seu doutorado em 1947 na Igreja Alonzo na Universidade de Princeton ( A completude dos sistemas formais ). A partir de 1953, ele estava na Universidade da Califórnia, Berkeley , onde se tornou professor. Em 1961/62 ele estava no Institute for Advanced Study e em 1968/69 no All Souls College , Oxford .

Henkin é mais conhecido por sua prova do teorema da completude de Gödel da lógica de primeira ordem (provado por Kurt Gödel em sua dissertação em 1929, veja o teorema de Henkin ). Ele primeiro provou a integridade das lógicas de nível superior da Igreja, introduzindo modelos de Henkin, e então estendeu isso para as lógicas de primeiro nível. Ele também desenvolveu a semântica de Henkin para lógicas de segundo nível com o seu nome e trabalhou com Alfred Tarski ( Cylindric Algebras ). Ele também foi ativo em didática da matemática e na promoção de alunos de matemática de minorias.

Em 1954/55 ele foi Fulbright Fellow e 1961/62 Guggenheim Fellow. Em 1964 ele recebeu o Prêmio Chauvenet para Are lógica ea matemática idênticos? e em 1991 a Citação de Berkeley da Universidade. Em 1990 ele recebeu o Prêmio Gung e Hu e em 1972 o Prêmio Lester R. Ford para fundamentos matemáticos para matemática .

Carol Karp é uma das alunas de doutorado de Henkin .

Fontes

• The Completeness of the First-Order Functional Calculus , Journal of Symbolic Logic 14, 1949, pp. 159-166
• Completude na teoria dos tipos , Journal of Symbolic Logic 15, 1950, pp. 81-91
• A lógica e a matemática são idênticas? , Science 138, 1962, pp. 788-794
• Fundamentos matemáticos para a matemática , The American Mathematical Monthly 78, 1971, pp. 463-487 (em MathDL: [1] )
• com James Donald Monk e Alfred Tarski : Cylindric Algebras , North-Holland, Amsterdam 1971 (parte 1) 1985 (parte 2), ISBN 0720420431 (parte 1) ISBN 0444876790 (parte 2)

Evidência individual

1. ^ A Completude do Cálculo Funcional de Primeira Ordem , 1949 e Completude na teoria dos tipos , 1950