Henry Maurice Sheffer
- Henry Maurice Sheffer
-
Henry Maurice Sheffer (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 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.
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.
Voir aussi
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Henry Maurice Sheffer de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Henry Maurice Sheffer — (* 1882; † 1964) war ein US amerikanischer Logiker. Inhaltsverzeichnis 1 Leben 2 Werk 3 Literatur 4 Referenzen … Deutsch Wikipedia
Henry M. Sheffer — Henry Maurice Sheffer Henry Maurice Sheffer (1882 1964) est un logicien américain. Sommaire 1 Vie 2 Travaux 3 Références 4 Voir aussi … Wikipédia en Français
Henry M. Sheffer — Henry Maurice Sheffer (1882 1964) was an American logician.Sheffer was a Polish Jew born in the Ukraine, who immigrated to the USA with his parents. He was educated at Harvard University, learning logic from Josiah Royce. Sheffer spent most of… … Wikipedia
Henry Sheffer — Henry Maurice Sheffer Henry Maurice Sheffer (1882 1964) est un logicien américain. Sommaire 1 Vie 2 Travaux 3 Références 4 Voir aussi … Wikipédia en Français
Sheffer — Henry Maurice Sheffer Henry Maurice Sheffer (1882 1964) est un logicien américain. Sommaire 1 Vie 2 Travaux 3 Références 4 Voir aussi … Wikipédia en Français
Sheffer — ist der Familienname folgender Personen: Craig Sheffer (* 1960), US amerikanischer Schauspieler Henry Maurice Sheffer (1882–1964), US amerikanischer Logiker Diese Seite ist eine Begriffsklärung zur Unterscheidung mehrerer mi … Deutsch Wikipedia
Sheffer (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sheffer est un nom de famille, notamment porté par (ordre alphabétique) : Craig Sheffer (1960 ), acteur, producteur, réalisateur et scénariste… … Wikipédia en Français
Henry Houry — est un acteur, réalisateur et scénariste français, né le 2 juillet 1874 à Paris 12e et mort le 13 mars 1972 à Nice (Alpes Maritimes). Sommaire 1 Filmographie 1.1 C … Wikipédia en Français
NAND — Die NAND Verknüpfung (engl. not and = nicht und; auch Sheffer stroke, Sheffer Strich, Sheffer Funktion oder Sheffer Operator nach Henry Maurice Sheffer genannt) ist in der Informatik und der Aussagenlogik ein boolescher Operator bzw. Junktor, der … Deutsch Wikipedia
Nand — Die NAND Verknüpfung (engl. not and = nicht und; auch Sheffer stroke, Sheffer Strich, Sheffer Funktion oder Sheffer Operator nach Henry Maurice Sheffer genannt) ist in der Informatik und der Aussagenlogik ein boolescher Operator bzw. Junktor, der … Deutsch Wikipedia
Pour les articles homonymes, voir Sheffer (homonymie).
