Leon Henkin: diferenças entre revisões

|nome = Leon HenkingHenkin

'''Leon Henkin''' ([[19 de Abril]] de [[1921]] – [[1 de Novembro]] de [[2006]]) foi um [[lógico]] da [[Universidade de Berkeley]]. Ele foi conhecido principalmente pelo "[[Teorema da Completude de Henkin]]": sua versão semântica da provademonstração da completude dos sistemas naturaispadrão dade [[Lógica de primeira ordem|lógica de primeira ordem]].

==O Teoremateorema da Completudecompletude==

O resultado obtido por Henkin não foi uma novidade: Haviahavia sido provado primeiro por Kurt Gödel, em sua dissertação de doutorado, que foi terminada emde 1929. (Ver [[Teorema da completude de Gödel]]) A desmonstração proposta por Henkin em 1949 é muito mais simples do que a de Gödel e, portanto, tornou-se a escolha padrão da demonstração do teorema da completude para apresentação em turmas introdutórias ou textos introdutórios. SuaA demonstração de Henkin é não-constutivaconstrutiva, ou puramente existecialexistencial: enquanto ela garante que se uma sentançasentença α segue (semanticamente) de um conjunto de sentenças Σ, então ''há'' uma derivação de α a partir de Σ, porémela não dá porém nenhuma indicação da natureza desta derivação.

Mais tarde, Henkin generalizou seu resultado empara uma variante das [[Lógica de ordem superior|Lógicaslógicas deordem maior ordemsuperior]] de [[Alonzo Church]]. Esta variante usa modelos gerais (também conhecidos porcomo modelos de Henkin), os quais não precisam ser interpretados por umpelo espaço de funções completointeiro. Ao invés disso, um subconjunto do espaço de funçãofunções pode ser utilizado.

Nascido no Brooklyn, em uma família de Joalheirosimigrande imigrantesrussos Russosjudeus, 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]] em Belmar, New Jersey. Como participante no Projeto Manhattan, ele trabalhou nacom isotopedifusão diffusionde isótopos, em [[Nova Iorque]], e em Oak Ridge, Tennessee.

Durante o doutorado, foi alunoorietando de [[Alonzo Church]], na universidade de Princeton, recebendo seu PH.D.título em 1947. Tornou-se professor de matemática na [[University of California, Berkeley|Universidade de Berkeley, Califórnia.]] Eraa partir de 1953. Foi um colaborador de [[Alfred Tarski]], e um aliado na divulgação da [[Lógica]].

*2000 - "Leon Henkin Citation - for Distinguished Service", Concedidoconcedido àa membros da [[University of California, Berkeley|Universidade de Berkeley, Califórnia.]], por "Comprometimento excepcional para o desenvolvimento educacional de estudantes de grupos negligenciadosminoritários no meio acadêmico."

*1991 - Berkeley Citation - A maior honramenção honrosa concedida pela [[University of California, Berkeley|Universidade de Berkeley, Califórnia.]]

*1972 - "Lester R. Ford Award", Porpor serviçosfundamentos distintosmatemáticos, àAmerican matemáticaMathematical Monthly 78 (1971), 463-487.

*1964 - The Chauvenet Prize, Prêmio da [[Mathematical Association of America]] condido ao autor do mais notórionotável artigo expositório num tópico sobre matemática por um membro desta associação.