Ернст Шредер

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Ернст Шредер
Ernst schroeder.jpg
Народився 25 листопада 1841(1841-11-25)[1][2]
Мангайм, Велике герцогство Баден, Німецький союз[3]
Помер 16 червня 1902(1902-06-16)[1][2] (60 років)
Карлсруе, Баден-Вюртемберг[3]
Громадянство Flag of Germany.svg Німеччина
Діяльність математик, викладач університету
Відомий математика
Заклад
  • Дармштадтський технічний університет
  • Університет Карлсруе
  • Е́рнст Шре́дер (нім. Ernst Schröder; нар. 25 листопада 1841, Мангейм — пом. 16 червня 1902, Карлсруе) — німецький математик і логік, один із засновників математичної логіки.

    Ернст Шредер — головна фігура в історії математичної логіки (термін, який він, можливо, винайшов), завдяки підведенню підсумків і продовженню роботи Джорджа Буля, Огастеса Де Моргана, Х'ю Маккола, і особливо Чарлза Пірса. Він краще всього відомий його монументальним трудом «Vorlesungen über die Algebra der Logik» (1890—1895), в 3-х томах, який систематизацією різних систем формальної логіки торував шлях для появи математичної логіки як окремої дисципліни в двадцятому сторіччі.

    З 1876 був професором Вищої технічної школи в Карлсруе.

    Примітки[ред. | ред. код]

    Література[ред. | ред. код]

    Посилання[ред. | ред. код]