Nacimiento |
Septiembre 1882 Ucrania |
---|---|
Muerte | 1964 |
Nacionalidad | americano |
Capacitación | Universidad Harvard |
Ocupaciones | Matemático , filósofo , profesor universitario |
Trabajé para | Universidad Harvard |
---|---|
Campo | Lógica |
Director de tesis | Josiah royce |
Henry Maurice Sheffer ( septiembre de 1882 - 1964 ) es un lógico estadounidense .
Sheffer era un judío polaco nacido en Ucrania que emigró a Estados Unidos con sus padres. Continuó sus estudios en la Universidad de Harvard , aprendiendo lógica de Josiah Royce . Sheffer pasó toda su carrera enseñando en el Departamento de Filosofía de Harvard.
Sheffer demostró en 1913 que el álgebra booleana se puede definir utilizando un solo operador binario, NAND , o su NOR dual .
En otras palabras, el cómputo de las proposiciones se puede formular mediante un solo conector, es decir una de estas dos "barras de Sheffer", que tienen por tabla de verdad las de la negación de la disyunción o la de la negación de la conjunción .
Charles Peirce descubrió estos hechos en 1880, pero su texto no se publicó hasta 1933 .