Henry Sheffer

Henry Maurice Sheffer (Ucraina, 1883 – 1964) è 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

Funtori di Sheffer
Negazione alternativa

Collegamenti esterni

Sheffer Henry Maurice, in Dizionario delle scienze fisiche, Istituto dell'Enciclopedia Italiana, 1996.
Sheffer, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
(EN) Henry Sheffer, su Mathematics Genealogy Project, North Dakota State University.

Controllo di autorità	VIAF (EN) 204817094 · ISNI (EN) 0000 0003 5827 0524 · LCCN (EN) nb2015024319 · GND (DE) 102024710X · J9U (EN, HE) 987007603678705171