Loading AI tools
німецький математик З Вікіпедії, вільної енциклопедії
Е́рнст Шре́дер (нім. Ernst Schröder; нар. 25 листопада 1841, Мангейм — пом. 16 червня 1902, Карлсруе) — німецький математик і логік, один із засновників математичної логіки.
Ернст Шредер | |
---|---|
нім. Ernst Schröder | |
Народився | 25 листопада 1841[1][2][3] Мангайм, Велике герцогство Баден, Німецький союз[4] |
Помер | 16 червня 1902[1][2][3] (60 років) Карлсруе, Німецька імперія[4] |
Країна | Велике герцогство Баден |
Діяльність | математик, викладач університету |
Галузь | математика[5] |
Відомий завдяки | математика |
Alma mater | Гайдельберзький університет Рупрехта-Карла |
Науковий керівник | Гессе Людвиг Отто[6] і Густав Роберт Кірхгоф[6] |
Вчителі | Густав Роберт Кірхгоф |
Знання мов | німецька[5] |
Заклад | Дармштадтський технічний університет і Університет Карлсруе |
Ернст Шредер — головна фігура в історії математичної логіки (термін, який він, можливо, винайшов), завдяки підведенню підсумків і продовженню роботи Джорджа Буля, Огастеса Де Моргана, Г'ю Маккола, і особливо Чарлза Пірса. Він найвідоміший монументальною працею «Vorlesungen über die Algebra der Logik» (1890—1895), в 3-х томах, який систематизацією різних систем формальної логіки торував шлях для появи математичної логіки як окремої дисципліни в двадцятому сторіччі.
З 1876 був професором Вищої технічної школи в Карлсруе.
«Vorlesungen über die Algebra der Logik» складається з трьох томів.[7] Перший описує числення класів[8], другий - пропозиційне числення, третій - алгебру відношень[9]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.