Henry Maurice Sheffer

Henry Maurice Sheffer Životopis
Narození Září 1882
Ukrajina
Smrt 1964
Státní příslušnost americký
Výcvik Harvardská Univerzita
Činnosti Matematik , filozof , univerzitní profesor
Jiná informace
Pracoval pro Harvardská Univerzita
Pole Logika
Dozorce Josiah Royce

Henry Maurice Sheffer ( září 1882 - 1964 ) je americký logik .

Život

Sheffer byl polský Žid narozený na Ukrajině, který emigroval do Spojených států se svými rodiči. Pokračoval ve studiu na Harvardské univerzitě a učil se logiku od Josiah Royce . Sheffer celou svou kariéru učil na katedře filozofie na Harvardu.

Funguje

Sheffer v roce 1913 demonstroval, že booleovskou algebru lze definovat pomocí jediného binárního operátoru NAND nebo jeho duální NOR .

Jinými slovy, výpočet tvrzení lze formulovat pomocí jediného konektoru, to znamená jednoho z těchto dvou „Shefferových pruhů“, které mají pro pravdivostní tabulku negaci disjunkce nebo negaci disjunkce. konjunkce. .

Charles Peirce objevil tato fakta v roce 1880, ale jeho text byl publikován až v roce 1933 .

Reference

  1. Charles Sanders Peirce (MS, zima 1880–1881), „  Booleova algebra s jednou konstantou  “, CP 4,12–20, Ž 4: 218–21. Náhled Google .

Podívejte se také

Bibliografie

externí odkazy