Henry Sheffer

Henry Maurice Sheffer ( Ucraina , 1883 - 1964 ) a fost un american logic și matematic , profesor la Universitatea din Harvard .

Dedicat pentru cea mai mare parte a vieții sale cercetărilor asupra fundamentelor matematicii , faima sa se datorează introducerii în logica matematică , în 1913, a operatorului care își ia numele ( operator Sheffer , numit și negație alternativă ), exprimat formal astfel: ( ... | ...); de exemplu p | q, care este întotdeauna adevărat, cu excepția cazului în care ambele afirmații sunt adevărate.

Negarea alternativă constituie prin ea însăși o bază puternică de conectivități ; de fapt, se presupune că definește limbajul NF .

Elemente conexe

• Functorii Sheffer
• Negarea alternativă

linkuri externe

• (EN) Henry Sheffer , de la Mathematics Genealogia Project , North Dakota State University.

Portal Biografii

Portalul de matematică