Sheffer 
 
Sheffer Henry Maurice (Ucraina 1882 - Boston 1964) logico matematico statunitense di origine ucraina. Emigrato negli Stati Uniti da bambino con la sua famiglia, fu professore di filosofia a Harvard fino al suo pensionamento nel 1952. I suoi lavori riguardarono soprattutto i fondamenti della matematica, ma è ricordato per aver dimostrato nel 1913 che l’algebra di Boole può essere descritta compiutamente per mezzo di un solo operatore binario, il connettivo nand, o del suo duale nor. Ai due connettivi nand e nor, in grado ciascuno di simulare i connettivi classici, è stato dato in seguito il nome di funtori di Sheffer.

<table class="sinottico" style="" summary="Tabella sinottica che riassume i principali dati del soggetto"></table>

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 ...

Sheffer, Henry Maurice

Sheffer (talora Sheller) 〈šèfër〉 Henry Maurice [STF] (n. in Russia 1883 - Cambridge, Massachusetts, 1964) Prof. di matematica nell'univ. Harvard di Cambridge, Massachusetts. ◆ [ALG] [FAF] Funtore di S.: nella logica matematica, detto anche operatore di S., e anche negazione alternativa o non congiunzione ...