Leon Henkin
Leon Henkin · Technologie & ingénierie
Leon Henkin était un logicien américain surtout connu pour la 'preuve de Henkin' du théorème de complétude de la logique du premier ordre, technique aujourd'hui standard, ainsi que pour la construction de Henkin et ses travaux sur la théorie des types.
1921, Brooklyn, New York, USA — 2006, Oakland, California, USA
United States · University of California, Berkeley
Leon Henkin était un logicien américain surtout connu pour la 'preuve de Henkin' du théorème de complétude de la logique du premier ordre, technique aujourd'hui standard, ainsi que pour la construction de Henkin et ses travaux sur la théorie des types. Il enseigna à Berkeley et milita pour l'éducation mathématique et son accès. Il était juif.
Vérifiez et approfondissez avec ces références externes.
Source : Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
Leon Henkin était un logicien américain surtout connu pour la 'preuve de Henkin' du théorème de complétude de la logique du premier ordre, technique aujourd'hui standard, ainsi que pour la construction de Henkin et ses travaux sur la théorie des types.
Source : Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
