Henry Maurice Sheffer
Un article de Wikipédia, l'encyclopédie libre.
Henry Maurice Sheffer (1882-1964) est un logicien américain.
Sommaire |
[modifier] Vie
Sheffer était un Juif Polonais né en Ukraine, qui émigra aux États-Unis avec ses parents. Il poursuivit ses études à l'Université de Harvard, apprenant la logique auprès de Josiah Royce. Sheffer passa toute sa carrière à enseigner au département de philosophie de Harvard.
[modifier] Travaux
Sheffer a prouvé en 1913 que l'algèbre booléenne peut être définie à l'aide d'un seul opérateur binaire, NAND, ou son dual NOR. De même, le calcul des propositions peut être formulé au moyen d'un seul connecteur, la « barre de Sheffer », qui a la même table de vérité que le NAND logique. Charles Peirce avait découvert ces faits en 1880 ; mais son texte n'a pas été publié avant 1933.
[modifier] Références
- Michael Scanlan (essai bibliographique, année 2000) : « The Known and Unknown H. M. Sheffer », The Transactions of the C.S. Peirce Society 36, pages 193 à 224.
[modifier] Voir aussi
- Les constituants du langage, section « Le langage ».
- (en) Sheffer stroke (traduction : la barre de Sheffer).