Henry M. Sheffer - Henry M. Sheffer
Henry Maurice Sheffer (1 Eylül 1882 - 17 Mart 1964) Amerikalı bir mantıkçıydı .
yaşam ve kariyer
Sheffer, Batı Ukrayna'da doğmuş , 1892'de ailesi ve altı kardeşiyle birlikte ABD'ye göç etmiş Polonyalı bir Yahudiydi . Harvard Üniversitesi'ne girmeden önce Boston Latin Okulu'nda okudu, Josiah Royce'dan mantık öğrendi ve 1905'te lisans, 1907'de yüksek lisans ve doktorasını tamamladı. 1908'de felsefede
Sheffer Harvard'da doktora sonrası araştırmacı, ve sonra öğretilen Washington Üniversitesi , Cornell , Minnesota Üniversitesi , Missouri Üniversitesi ve New York City College bir yıl her biri için. 1916'da Harvard tarafından felsefe profesörü olarak işe alındı ve 1952'de emekli olana kadar burada kaldı. Scanlan (2000), Sheffer'ın hayatı ve çalışması üzerine bir çalışmadır.
Sheffer o 1913 yılında kanıtladı Boole cebri , tek ilkel ikili işlemi kullanılarak, şimdi kısaltılmış "hem... Ve... Değil" tanımlanabilir NAND veya onun ikili NOR (anlamında "de... Ne de" ). Benzer şekilde, önermeler hesabı tek bir bağlaç kullanılarak formüle edilebilir, ya mantıksal NAND'ın doğruluk tablosuna sahiptir , genellikle Sheffer vuruşu olarak adlandırılan dikey bir çizgi ile sembolize edilir ya da ikili mantıksal NOR'u (genellikle dikey bir ok veya bir hançer ile sembolize edilir) sembolü). Charles Peirce de bu gerçekleri 1880'de keşfetmişti, ancak ilgili makale 1933'e kadar yayınlanmadı. Sheffer ayrıca yalnızca vuruşuyla formüle edilmiş aksiyomlar önerdi.
Sheffer, 1913'te şimdi Sheffer inme olarak bilinen şeyi tanıttı; ancak Whitehead ve Russell'ın Principia Mathematica'sının 1925 baskısında kullanıldıktan sonra iyi tanındı . Sheffer'ın keşfi, Principia Mathematica'nın ikinci baskısında, kendi mantığını basitleştirmek için kapsamlı bir şekilde kullanan Bertrand Russell'dan büyük övgü aldı . Bu yorumdan dolayı Sheffer, mantıkçılar için gizemli bir adamdı, özellikle de kariyerinde çok az yayın yapan Sheffer, bu yöntemin ayrıntılarını hiçbir zaman yayınlamadı, yalnızca taklit notlarda ve kısa bir yayınlanmış özette açıkladı. WV Quine 'ın Matematiksel Mantık da Sheffer inme çoğunu yaptı.
Bir Sheffer bağlacı , daha sonra, mantıksal bir sistemdeki benzer şekilde çalışan herhangi bir bağlaçtır : dilde diğer tüm olası bağlaçların ifade edilebildiği bir bağ. Örneğin, nicel ve modal mantıklar için de geliştirilmiştir.
Notlar
- Scanlan, Michael, 2000, "Bilinen ve Bilinmeyen HM Sheffer," CS Peirce Derneği'nin İşlemleri 36 : 193–224.
- Rosen, Kenneth, 2005, "Ayrık Matematik ve Uygulamaları" Temeller:Mantık ve Kanıtlar 1:28 .