Sheffer, Henry Maurice

Logico matematico (n. in Russia 1883 - m. 1964), prof. alla Harvard University. Le sue ricerche, che riguardano soprattutto i fondamenti della matematica, gli procurarono grande fama. È soprattutto ricordato per avere introdotto, nel 1913, un operatore (denotato con il simbolo /), detto negazione alternativa o non congiunzione o incompatibilità, ma chiamato comunemente operatore di Sheffer. Indicati con p, q due enunciati, l'operatore di S. è definito dal fatto che p / q è sempre vero salvo quando p e q sono entrambi veri. L'importanza dell'operatore di S. è legata al fatto che esso da solo costituisce una base per un linguaggio logico enunciativo, cioè è sufficiente per esprimere tutti i connettivi enunciativi. Così, la negazione ¬ p può essere espressa mediante / con la formula p / p;l'implicazione p ⇒ q con la formula p / (q / q); la congiunzione p∧q con la formula (p / q) / (p / q); ecc. Tra le sue opere si ricordano: A set of five independent postulates for Boolean algebras, with application to logical constants (1913); Mutually prime postulates (1916).