Leon Henkin: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Bot: Adicionando: de:Leon Henkin |
|||
Linha 1:
{{Info
|nome
|imagem
|
|legenda
|nome_nativo =
|data_nascimento
|local_nascimento
|
|
|causa_morte =
|pais_de_residencia =
|nacionalidade =Americano
|etnicidade =
|campo =[[Matemática]] e [[lógica]]
|instituicao_trabalho=
|alma_mater =
|tese =
|orientador =
|orientado =
|conhecido_por =
|influenciado =
|premio ={{nowrap|[[Prêmio Chauvenet|Prêmio Chauvenet (1964)]]}}
|conjuge =
|religiao =
|assinatura =
|notas =
}}
'''Leon Henkin''' ([[Brooklyn]], [[19 de Abril]] de [[1921]] – [[Oakland (Califórnia)|Oakland]], [[1 de Novembro]] de [[2006]]) foi um [[lógico]] da [[Universidade de Berkeley]].
Conhecido principalmente pelo "[[Teorema da Completude de Henkin]]": sua versão semântica da demonstração da completude dos sistemas padrão de [[Lógica de primeira ordem|lógica de primeira ordem]]. ==O teorema da completude==
O resultado obtido por Henkin não foi uma novidade: havia sido provado primeiro por Kurt Gödel, em sua dissertação de doutorado, de 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 ou textos introdutórios. A demonstração de Henkin é não-construtiva, ou puramente existencial: enquanto ela garante que se uma sentença α segue (semanticamente) de um conjunto de sentenças Σ, então ''há'' uma derivação de α a partir de Σ, ela não dá porém nenhuma indicação da natureza desta derivação.
Linha 19 ⟶ 37:
==Juventude==
Nascido no Brooklyn, em uma família de imigrande russos judeus, Graduou-se em Matemática e Filosofia pela [[Columbia University|Universidade de Columbia]], em 1941. Obteve o título de mestre lá em 1942
Linha 25 ⟶ 42:
==Carreira Acadêmica==
Durante o doutorado, foi orietando de [[Alonzo Church]], na universidade de Princeton, recebendo seu título em 1947. Tornou-se professor de matemática na [[University of California, Berkeley|Universidade de Berkeley, Califórnia]] a partir de 1953. Foi um colaborador de [[Alfred Tarski]], e um aliado na divulgação da [[Lógica]].
==Prêmios
*2000 - "Leon Henkin Citation - for Distinguished Service", concedido a membros da [[University of California, Berkeley|Universidade de Berkeley, Califórnia]], por "Comprometimento excepcional para o desenvolvimento educacional de estudantes de grupos minoritários no meio acadêmico."
*1991 - Berkeley Citation - A maior menção honrosa concedida pela [[University of California, Berkeley|Universidade de Berkeley, Califórnia.]]
Linha 37 ⟶ 52:
=={{Ver também}}==
*
==
*
*
*
*[http://www.berkeley.edu/news/media/releases/2006/11/09_henkin.shtml Noticiário da Universidade de Berkeley]
*[http://www.latimes.com/news/printedition/california/la-me-henkin16nov16,1,4630425.story?coll=la-headlines-pe-california&ctrack=1&cset=true Obituário do ''LA Times'', 16 de novembro, 2006]
| |||