Sheffer

Enciclopedia della Matematica (2013)

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.

Vedi anche
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione al loro significato ...
Tag
Altri risultati per Sheffer
  • Sheffer, Henry Maurice
    Enciclopedia on line
    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
    Dizionario delle Scienze Fisiche (1996)
    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 ...