Vai al contenuto

Henry Sheffer

Da Wikipedia, l'enciclopedia libera.

Henry Maurice Sheffer (Ucraina, 18831964) è stato un logico e matematico statunitense, professore presso l'Università di Harvard.

Dedicatosi per gran parte della vita alle ricerche sui Fondamenti di matematica, la sua fama è dovuta per l'aver introdotto in logica matematica, nel 1913, l'operatore che prende il suo nome (operatore di Sheffer, detto anche negazione alternativa), espresso formalmente in questo modo: (...|...); ad esempio p|q, il quale è sempre vero eccetto il caso in cui entrambi gli enunciati siano veri.

La negazione alternativa costituisce da sé una potente base di connettivi; infatti, viene assunta per definire il linguaggio di NF.

Voci correlate

[modifica | modifica wikitesto]

Collegamenti esterni

[modifica | modifica wikitesto]
Controllo di autoritàVIAF (EN204817094 · ISNI (EN0000 0003 5827 0524 · LCCN (ENnb2015024319 · GND (DE102024710X · J9U (ENHE987007603678705171