Sheffer
- 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 Sheffer de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
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, 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
Sheffer function — Sheffer io funkcija statusas T sritis automatika atitikmenys: angl. NOT AND function; Sheffer function; stroke function vok. NICHT UND Funktion, f; Sheffer Funktion, f rus. функция НЕ И, f; функция Шеффера, f pranc. fonction de Sheffer, f;… … Automatikos terminų žodynas
Sheffer'io funkcija — statusas T sritis automatika atitikmenys: angl. NOT AND function; Sheffer function; stroke function vok. NICHT UND Funktion, f; Sheffer Funktion, f rus. функция НЕ И, f; функция Шеффера, f pranc. fonction de Sheffer, f; fonction NON OT, f ryšiai … Automatikos terminų žodynas
Sheffer-Funktion — Sheffer io funkcija statusas T sritis automatika atitikmenys: angl. NOT AND function; Sheffer function; stroke function vok. NICHT UND Funktion, f; Sheffer Funktion, f rus. функция НЕ И, f; функция Шеффера, f pranc. fonction de Sheffer, f;… … Automatikos terminų žodynas
Sheffer-Strich — [ ʃefə ; nach dem amerikanischen Logiker H. M. Sheffer, * 1901, ✝ 1964], in der Aussagenlogik der Junktor für die Exklusion, dargestellt durch das Zeichen |, in der Bedeutung »nicht beide«. Angewendet auf zwei Aussagen A und B gilt A | B ↔ ¬ ( … Universal-Lexikon
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 sequence — In mathematics, a Sheffer sequence is a polynomial sequence, i.e., a sequence { p n ( x ) : n = 0, 1, 2, 3, ... } of polynomials in which the index of each polynomial equals its degree, satisfying conditions related to the umbral calculus in… … 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 — Both Peirce in 1880 and the American logician H. M. Sheffer in 1913 realized that the truth functions of elementary logic could all be defined from a single function. Defining p / q to mean neither p nor q, p / p is equivalent to not p, (p / q )/ … Philosophy dictionary
