Henry Maurice Sheffer

Henry Maurice Sheffer Biografie
Naștere Septembrie 1882
Ucraina
Moarte 1964
Naţionalitate american
Instruire Universitatea Harvard
Activități Matematician , filosof , profesor universitar
Alte informații
Lucrat pentru Universitatea Harvard
Camp Logică
Supervizor Josiah Royce

Henry Maurice Sheffer ( septembrie 1882 - 1964 ) este un logician american .

Viaţă

Sheffer era un evreu polonez născut în Ucraina, care a imigrat în Statele Unite împreună cu părinții săi. Și-a continuat studiile la Universitatea Harvard , învățând logica de la Josiah Royce . Sheffer și-a petrecut întreaga carieră predând în departamentul de filozofie de la Harvard.

Lucrări

Sheffer a demonstrat în 1913 că algebra booleană poate fi definită folosind un singur operator binar, NAND , sau NOR-ul său dual .

Cu alte cuvinte, calculul propozițiilor poate fi formulat prin intermediul unui singur conector, adică una dintre aceste două „bare Sheffer”, care au pentru tabelul de adevăr cele ale negării disjuncției sau celei ale negării conjuncția. .

Charles Peirce a descoperit aceste fapte în 1880, dar textul său nu a fost publicat decât în 1933 .

Referințe

  1. Charles Sanders Peirce (MS, iarna 1880–81), „  O algebră booleană cu o constantă  ”, CP 4.12–20, W 4: 218-21. Previzualizare Google .

Vezi și tu

Bibliografie

linkuri externe