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, États-Unis — 2006, Oakland, Californie, États-Unis
États-Unis · université de Californie, 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
Cette page paraît en sept langues à partir d'une source anglaise. Les traductions sont relues, mais une erreur peut passer. Si vous en repérez une sur cette fiche — un mot fautif, une date perdue, une phrase qui dit autre chose que l'anglais —, signalez-la-nous.
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
