Henry M. Sheffer
- Henry M. 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é de 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
Portail de la logique
Portail de la philosophie
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Henry M. 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 (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 Maurice Sheffer — Pour les articles homonymes, voir Sheffer (homonymie). Henry Maurice Sheffer (1882 1964) est un logicien américain. Sommaire 1 Vie 2 Travaux … Wikipédia en Français
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 stroke — This article is about the logical NAND operator. For the electronic NAND gate, see Negated AND gate. For other uses, see Nand (disambiguation). Venn diagram of In Boolean functions and propositional calculus, the Sheffer stroke, named after … 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
sheffer's stroke — ˈshefə(r)z noun Usage: usually capitalized 1st S Etymology: after Henry M. Sheffer died 1964 American philosopher 1. : joint denial 2. : alternative denial … Useful english dictionary
SHEFFER, HENRY M. — SHEFFER, HENRY M. (1883–1964), U.S. logician. Born in the Ukraine, Sheffer was taken to the U.S. at the age of 10. After teaching in various institutions, he was appointed to Harvard in 1916 and became a professor there in 1938. Though Sheffer… … Encyclopedia of Judaism
