Revisão das 23h42min de 28 de março de 2013 editar Addbot (discussão \| contribs) Robôs 141 157 edições m A migrar 7 interwikis, agora providenciados por Wikidata em d:q111637 ← Ver a alteração anterior		Revisão das 01h21min de 1 de fevereiro de 2015 editar desfazer Rodrigolopesbot (discussão \| contribs) Robôs 61 123 edições m desambiguando categoria Ver a alteração posterior →
Linha 29: '''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== Linha 51: 1964 - [[Prêmio Chauvenet]] da [[Mathematical Association of America]], concedido ao autor do mais notável artigo expositório num tópico sobre matemática por um membro desta associação. =={{Ver também}}== [[Quantificadores]] =={{Ligações externas}}== [http://awards.berkeley.edu/berkeleyCitation.cfm Berkeley Citation Award] [http://infoshare1.princeton.edu/libraries/firestone/rbsc/finding_aids/mathoral/pmc14.htm Uma entrevista com Henkin e outros estudiosos sobre seus trabalhos em Princeton] Linha 64: [[Categoria:Matemáticos dos Estados Unidos]] [[Categoria:Lógicos dos Estados Unidos]] [[Categoria:Naturais de Nova Iorque (cidade)]]

Leon Henkin: diferenças entre revisões