Henry Maurice Sheffer : Vie, Travaux, Références, Voir aussi Wikipédia, l'encyclopédie libre

Henry Maurice Sheffer

Pour les articles homonymes, voir Sheffer (homonymie).

Henry Maurice Sheffer

Biographie
Naissance	Septembre 1882 Ukraine
Décès	1964
Nationalité	américaine
Formation	Université Harvard
Activités	Mathématicien, philosophe, professeur d'université

Autres informations
A travaillé pour	Université Harvard
Directeur de thèse	Josiah Royce

modifier - modifier le code - modifier Wikidata

Henry Maurice Sheffer (septembre 1882 - 1964) est un logicien américain.

Vie

Sheffer était un juif polonais né en Ukraine, qui émigra aux États-Unis avec ses parents. Il poursuivit ses études à l'université Harvard, apprenant la logique auprès de Josiah Royce. Sheffer passa toute sa carrière à enseigner au département de philosophie de Harvard.

Travaux

Sheffer a démontré en 1913 que l'algèbre booléenne peut être définie à l'aide d'un unique opérateur binaire, NAND, ou son dual NOR.

Autrement dit, le calcul des propositions peut être formulé au moyen d'un unique connecteur, soit une de ces deux « barres de Sheffer », qui ont pour table de vérité celles de la négation de la disjonction ou celle de la négation de la conjonction.

Charles Peirce avait découvert ces faits en 1880 mais son texte n'a pas été publié avant 1933^[1].

Références

↑ Charles Sanders Peirce (MS, winter of 1880–81), « A Boolean Algebra with One Constant », CP 4.12–20, W 4:218-21. Google Preview.

Voir aussi

Bibliographie

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.