ШРЕДЕР (Schroder) Эрнст (1841—1902) — немецкий математик и логик, систематизатор и продолжатель результатов Дж. Буля (1815—1864) и его школы. В 1877 г. опубликовал свой труд <<Der Operationkreis der Logikkalkuls», в котором предельно кратко изложил алгебру логику (см.) и ввел в научный обиход термин «логическое исчисление» (см.). Монументален его трактат «Vorlosungen tiber die Algebra des Logik» («Лекции по алгебре логики»), опубликованный в 1890— 1895 гг., в котором не только продолжена разработка идей Дж. Буля, но излагаются и результаты исследований его последователей. В отличие от Буля, взявшего за основу логического исчисления отношение равенства, Шредер построил свое логическое исчисление на базе отношения включения класса в класс. Им введено понятие нормальной формы для логических выражений, открыт принцип двойственности (в логике классов). Шредер занимался также исследованием модусов силлогистических фигур (см. Модусы силлогизма). Он является автором аксиомы ингерентности знаков.
Метки:Выражения, Вычисления, Знания, Логика, Математика, Ученые, Число