Генрі Моріс Шеффер (англ. Henry Maurice Sheffer, 1882 — 1964) — американський логік.
Генрі Шеффер | |
---|---|
Henry Sheffer | |
Народився | вересень 1882 Україна |
Помер | 1964[1] |
Країна | США |
Діяльність | математик, філософ, викладач університету |
Alma mater | Гарвардський університет |
Галузь | Логіка |
Заклад | Гарвардський університет |
Посада | Професором факультету філософії |
Науковий ступінь | Доктор філософії |
Науковий керівник | d[2] |
Аспіранти, докторанти | d[2] |
Життєпис
Генрі Шеффер народився у родині польських євреїв в Україні, разом з батьками емігрував до США. Після закінчення [en] навчався в Гарвардському університеті, вивчав логіку під науковим керівництвом [en]. У 1907 році він здобув магістерський ступінь, в 1908 році — ступінь доктора філософії. Після захисту докторського ступеня в Гарварді, Генрі подорожує по Європі. До того як повернутися до Сполучених Штатів, Генрі стає «академічним кочівником», проводячи по одному року в Університеті Вашингтона, Корнеллі, Університеті Міннесоти, [en]. У 1916 році він повертається до Гарварду як викладач на кафедрі філософії. Він залишається в Гарварді до відставки в 1952 році.
Шеффер був відданим учителем математичної логіки. Він надавав перевагу невеликим класам перед величезними аудиторіями. Коли незнайомці з'явилися в його класі, Шеффер наказував їм вийти, навіть якщо це були його колеги або почесні гості, які відвідували Гарвард. Шеффер був заввишки ледь не п'ять футів; він був відомий своєю дотепністю і енергією, а також нервозністю та дратівливістю. Незважаючи на те, що Генрі подобався багатьом, він був вельми самотнім. Шеффер недовго був одружений і прожив більшу частину свого подальшого життя в невеликих приміщеннях, в готелі, з книгами з логіки й численними листками паперу, які він використовував, щоб записувати свої ідеї. Протягом останніх двох десятиліть свого життя Шеффер страждав від важкої депресії.
Під час своєї відставки, у 1952 році, Генрі зазначив: «Старі професори ніколи не вмирають, вони просто вислужуються.»
Відкриття Шеффера високо оцінив Бертран Расселл та використав для спрощення своєї логіки в другому виданні книги «Основи математики». «Математична логіка» Квайна також багато в чому базується на штриху Шеффера. Шефферу також приписують термін «Булева алгебра».
Праці
В 1913 році Шеффер довів, що Булева алгебра може бути визначена з використанням єдиної первинної бінарної логічної операції, яку можна виразити через заперечення та кон'юнкцію. Цю булеву функцію названо на честь вченого штрих Шефера. Чарльз Пірс також у 1880 році прийшов до подібних результатів, але його роботи не було опубліковано до 1933 року.
До відомих студентів Шеффера належить Сюзанна Лангер.
Примітки
- Deutsche Nationalbibliothek Record #102024710X // Gemeinsame Normdatei — 2012—2016.
- Математичний генеалогічний проєкт — 1997.
Література
- Scanlan, Michael, 2000, «The Known and Unknown H. M. Sheffer», The Transactions of the C.S. Peirce Society 36: 193–224.
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Genri Moris Sheffer angl Henry Maurice Sheffer 1882 1964 amerikanskij logik Genri ShefferHenry ShefferNarodivsya veresen 1882 UkrayinaPomer 1964 1 Krayina SShADiyalnist matematik filosof vikladach universitetuAlma mater Garvardskij universitetGaluz LogikaZaklad Garvardskij universitetPosada Profesorom fakultetu filosofiyiNaukovij stupin Doktor filosofiyiNaukovij kerivnik d 2 Aspiranti doktoranti d 2 U Vikipediyi ye statti pro inshih lyudej iz prizvishem Sheffer ZhittyepisGenri Sheffer narodivsya u rodini polskih yevreyiv v Ukrayini razom z batkami emigruvav do SShA Pislya zakinchennya en navchavsya v Garvardskomu universiteti vivchav logiku pid naukovim kerivnictvom en U 1907 roci vin zdobuv magisterskij stupin v 1908 roci stupin doktora filosofiyi Pislya zahistu doktorskogo stupenya v Garvardi Genri podorozhuye po Yevropi Do togo yak povernutisya do Spoluchenih Shtativ Genri staye akademichnim kochivnikom provodyachi po odnomu roku v Universiteti Vashingtona Kornelli Universiteti Minnesoti en U 1916 roci vin povertayetsya do Garvardu yak vikladach na kafedri filosofiyi Vin zalishayetsya v Garvardi do vidstavki v 1952 roci Sheffer buv viddanim uchitelem matematichnoyi logiki Vin nadavav perevagu nevelikim klasam pered velicheznimi auditoriyami Koli neznajomci z yavilisya v jogo klasi Sheffer nakazuvav yim vijti navit yaksho ce buli jogo kolegi abo pochesni gosti yaki vidviduvali Garvard Sheffer buv zavvishki led ne p yat futiv vin buv vidomij svoyeyu dotepnistyu i energiyeyu a takozh nervoznistyu ta drativlivistyu Nezvazhayuchi na te sho Genri podobavsya bagatom vin buv velmi samotnim Sheffer nedovgo buv odruzhenij i prozhiv bilshu chastinu svogo podalshogo zhittya v nevelikih primishennyah v goteli z knigami z logiki j chislennimi listkami paperu yaki vin vikoristovuvav shob zapisuvati svoyi ideyi Protyagom ostannih dvoh desyatilit svogo zhittya Sheffer strazhdav vid vazhkoyi depresiyi Pid chas svoyeyi vidstavki u 1952 roci Genri zaznachiv Stari profesori nikoli ne vmirayut voni prosto visluzhuyutsya Vidkrittya Sheffera visoko ociniv Bertran Rassell ta vikoristav dlya sproshennya svoyeyi logiki v drugomu vidanni knigi Osnovi matematiki Matematichna logika Kvajna takozh bagato v chomu bazuyetsya na shtrihu Sheffera Shefferu takozh pripisuyut termin Buleva algebra PraciV 1913 roci Sheffer doviv sho Buleva algebra mozhe buti viznachena z vikoristannyam yedinoyi pervinnoyi binarnoyi logichnoyi operaciyi yaku mozhna viraziti cherez zaperechennya ta kon yunkciyu Cyu bulevu funkciyu nazvano na chest vchenogo shtrih Shefera Charlz Pirs takozh u 1880 roci prijshov do podibnih rezultativ ale jogo roboti ne bulo opublikovano do 1933 roku Do vidomih studentiv Sheffera nalezhit Syuzanna Langer PrimitkiDeutsche Nationalbibliothek Record 102024710X Gemeinsame Normdatei 2012 2016 d Track Q27302d Track Q36578 Matematichnij genealogichnij proyekt 1997 d Track Q829984LiteraturaScanlan Michael 2000 The Known and Unknown H M Sheffer The Transactions of the C S Peirce Society 36 193 224