Henry Maurice Sheffer
Page d'aide sur l'homonymie Pour les articles homonymes, voir Sheffer (homonymie).

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

Sommaire

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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”