Ернст Шредер
Матеріал з Вікіпедії — вільної енциклопедії.
(Перенаправлено з Шредер Ернст)
Е́рнст Шре́дер (нім. Ernst Schröder; *25 листопада 1841, Мангейм — 16 червня 1902, Карлсруе) — німецький математик і логік, один із засновників математичної логіки.
Ернст Шредер - головна фігура в історії математичної логіки (термін, який він, можливо, винайшов), завдяки підведенню підсумків і продовженню роботи Джорджа Буля, Огастеса Де Моргана, Х'ю Маккола, і особливо Чарлза Пірса. Він краще всього відомий його монументальним трудом «Vorlesungen über die Algebra der Logik» (1890–1895), в 3-х томах, який систематизацією різних систем формальної логіки торував шлях для появи математичної логіки як окремої дисципліни в двадцятому сторіччі.
З 1876 був професором Вищої технічної школи в Карлсруе.
[ред.] Література
- «Філософський словник» / За ред. В. І. Шинкарука. — 2.вид., перероб. і доп. — К.: Голов. Ред. УРЕ, 1986.
