Leon Henkin , logicien américain (décédé en 2006)
Leon Albert Henkin (19 avril 1921, Brooklyn, New York - 1er novembre 2006, Oakland, Californie) était l'un des logiciens et mathématiciens les plus importants du XXe siècle. Ses travaux ont joué un rôle important dans le développement de la logique, en particulier dans la théorie des types. Il était un chercheur actif à l'Université de Californie à Berkeley, où il a apporté de grandes contributions en tant que chercheur, enseignant, ainsi qu'à des postes administratifs. Dans cette université, il a dirigé, avec Alfred Tarski, le Groupe de logique et de méthodologie des sciences, dont sont issus de nombreux logiciens et philosophes importants. Il avait un fort sens de l'engagement social et était un défenseur passionné de ses idées pacifistes et progressistes. Il a participé à de nombreux projets sociaux visant à enseigner les mathématiques, ainsi qu'à des projets visant à aider les femmes et les groupes minoritaires à poursuivre des carrières en mathématiques et dans des domaines connexes. Amoureux de la danse et de la littérature, il appréciait la vie sous toutes ses facettes : l'art, la culture, la science et surtout la chaleur des relations humaines. Ses étudiants se souviennent de lui pour sa grande gentillesse, ainsi que pour son excellence académique et pédagogique. Henkin est principalement connu pour ses preuves de complétude de divers systèmes formels, tels que la théorie des types et la logique du premier ordre (la complétude de cette dernière, dans sa version faible, avait été prouvé par Kurt Gödel en 1929). Pour prouver l'exhaustivité de la théorie des types, Henkin introduit une nouvelle sémantique, basée sur certaines structures, appelées modèles généraux (également appelés modèles Henkin). Le changement de sémantique qu'il a proposé permet de fournir un calcul déductif complet pour la théorie des types et pour la logique du second ordre, entre autres logiques. Les méthodes Henkin ont aidé à prouver divers résultats de la théorie des modèles, à la fois dans les logiques classiques et non classiques. Outre la logique, l'autre branche sur laquelle ses recherches étaient centrées était l'algèbre; il s'est spécialisé dans les algèbres cylindriques, dans lesquelles il a travaillé avec A. Tarski et D. Monk. Quant à la philosophie des mathématiques, bien que rares soient les ouvrages dans lesquels il l'aborde explicitement, on peut considérer qu'il a une position nominaliste.