Fødsel |
September 1882 Ukraina |
---|---|
Død | 1964 |
Nasjonalitet | amerikansk |
Opplæring | Harvard University |
Aktiviteter | Matematiker , filosof , universitetsprofessor |
Jobbet for | Harvard University |
---|---|
Felt | Logikk |
Veileder | Josiah royce |
Henry Maurice Sheffer ( september 1882 - 1964 ) er en amerikansk logiker .
Sheffer var en polsk jøde født i Ukraina som immigrerte til USA med foreldrene sine. Han fortsatte studiene ved Harvard University , og lærte logikk fra Josiah Royce . Sheffer tilbrakte hele sin karriereundervisning i filosofiavdelingen ved Harvard.
Sheffer demonstrerte i 1913 at boolsk algebra kan defineres ved hjelp av en enkelt binær operator, NAND , eller dens doble NOR .
Beregningen av proposisjonene kan med andre ord formuleres ved hjelp av en enkelt kontakt, det vil si en av disse to "Sheffer-stolpene", som for sannhetstabellen har de som er negasjonen av disjunksjonen eller den som negasjonen av den forbindelse. .
Charles Peirce oppdaget disse fakta i 1880, men teksten hans ble ikke publisert før i 1933 .