номер 15 (страница 208) гдз по информатике 10 класс учебник Босова, Босова

Генри Морис Шеффер

Генри Шеффер родился в семье польских евреев на Украине, вместе с родителями эмигрировал в США. Получил образование в Гарвардском университете, изучал логику под научным руководством Джосайя Ройса. Его карьера учёного и преподавательская деятельность связаны, в основном, с кафедрой философии в Гарварде.

Шеффер был женат и жил в небольшой комнатке, заполненной книгами по логике и толстыми папками бумаг с записями своих идей. В последние 20 лет жизни он страдал от тяжёлой депрессии. Ему очень нравилось где-нибудь побыть одному.

В 1913 году Г.М. Шеффер определил булеву алгебру с помощью единственной бинарной операции NAND (НЕ-И). Исчисление высказываний могло быть сформулировано посредством одной истинностной таблицы, описывающей так называемый Штрих Шеффера, который обозначается вертикальной линией. Эти факты были также обнаружены Чарльзом Пирсом в 1880 году, но соответствующая статья им не была опубликована вплоть до 1933 года.

Г.М.Шеффер был малоизвестным среди логиков, поскольку почти не публиковал своих исследований. Он почти всегда описывал их где-нибудь в заметках или в кратких рефератах вместо того, чтобы сделать подробную публикацию. Штрих Шеффера, как говорилось, был им открыт в 1913 году, но стал широко известным лишь в 1925 году благодаря книге Б. Рассела «Начала математики» («Principia Mathematica»). Бертран Рассел высоко оценил открытие Шеффера. Оно позволило ему упростить изложение своей логики во втором издании этой книги. «Математическая логика» Уилларда ван Ормана Куайна была также во многом основана на Штрихе Шеффера. Умер Генри Морис Шеффер в 1964 году.

Источники: "https://ru.wikipedia.org/wiki/Шеффер,_Генри_Морис

"https://studbooks.net/2261329/matematika_himiya_fizika/genri_moris_sheffer