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