18.11.2022

Шрёдер, Эрнст


Эрнст Шрёдер (нем. Ernst Schröder, 25 ноября 1841, Мангейм — 16 июня 1902, Карлсруэ) — немецкий математик и логик.

Биография

После изучения математики и физики в Хайдельберге и Кёнигсберге последовала хабилитация в Цюрихе в 1865 году. Профессор математики Дармштадтского технического университета с 1874 года, затем с 1876 года в прежнем техническом университете в Карлсруэ.

Центральное место в сфере его научных интересов занимали основания математики, теория функций и комбинаторный анализ. В работе Итерированные функции (нем. Ueber iterirte Functionen; 1871) он исследовал функциональные уравнения, которые сегодня называют Уравнениями Шрёдера, играющие важную роль в теории динамических систем. Когда логика стала самостоятельной научной дисциплиной, он начал заниматься алгеброй и символической логикой. Его работы по алгебре логики получили международную известность. Он усовершенствовал логику Джорджа Буля и разработал в 1877 году полную систему аксиом булевой алгебры. Эрнст Шрёдер в трёхтомной Алгебре логики (нем. Algebra der Logik; 1890—1895), в отличие от Буля, строит теорию логического исчисления (его авторское название современной математической логики) на основе исчисления классов. Он вносит вклад в развитие алгебры отношений (en:relation algebra), вводит понятие нормальная форма и развивает принцип двойственности в классической логике; использует метод элиминации кванторов для вопросов разрешимости.

Джузеппе Пеано продолжил развитие теории логики Шрёдера. Диссертация Норберта Винера связана с работами Шрёдера (англ. A comparision between the treatment of the Algebra of relatives by Schröder and that by Whitehead and Russell). Альфред Тарский считал работы Шрёдера основополагающими для современной высшей алгебры и истории логики.

Список произведений

  • Lehrbuch der Arithmetik und Algebra, 1873
  • Über die formalen Elemente der absoluten Algebra, 31 S., Stuttgart, 1874
  • Der Operationskreis des Logikkalkuls, 1877
  • Vorlesungen über die Algebra der Logik, 3 Bände, Band 1 1890—1895
  • Über das Zeichen, Karlsruhe, 1890
  • Über zwei Definitionen der Endlichkeit und G. Cantor’sche Sätze — Abhandlung in der Reihe Kaiserliche Leopoldino-Carolinische Deutsche Akademie der Naturforscher Bd. 71, S. 301—362, Halle, 1898
  • Abriß der Algebra der Logik, 2 Teile, Leipzig, 1909/1910

Похожие новости:

Барановский, Фёдор Титович

Барановский, Фёдор Титович
Фёдор Титович Барановский (18 мая 1931, Балашевка, Гомельской области) — советский математик. Доктор физико-математических наук (1983), профессор (1985). Биография В 1954 окончил Ленинградский

Стоилов, Симион

Стоилов, Симион
Симион Стоилов (рум. Simion Stoilow; 14 сентября 1887, Бухарест, Румыния — 4 апреля 1961, там же) — румынский математик, педагог, профессор, ректор Бухарестского университета (1944—1945), доктор

Беклемишев, Лев Дмитриевич

Беклемишев, Лев Дмитриевич
Лев Дмитриевич Беклемишев (род. 17 сентября 1967, Москва) — российский математик, доктор физико-математических наук (1998), академик РАН (2019), специалист в области математической логики.

Гейслер, Вильгельм Эрнст Мориц

Гейслер, Вильгельм Эрнст Мориц
Вильгельм Эрнст Мориц Гейслер (нем. Wilhelm Ernst Moritz Geißler; 30 июня 1875, Лейпциг — 12 февраля 1937, Дрезден) — немецкий инженер-строитель, профессор Дрезденского технического университета.
Комментариев пока еще нет. Вы можете стать первым!

Добавить комментарий!

Ваше Имя:
Ваш E-Mail:
Введите два слова, показанных на изображении: *
Популярные новости
Квартиры в современных новостройках – ЖК Весна
Квартиры в современных новостройках – ЖК Весна
Новостройки – это целый пласт рынка недвижимости, набирающий все большую популярность....
Проект ПМООС: когда и для чего необходим
Проект ПМООС: когда и для чего необходим
ПМООС – специализированный раздел строительного проекта, предполагающий информационную документацию...
Климатическая техника Russia-Gree
Климатическая техника Russia-Gree
Компания по продаже качественной климатической техники Russia-Gree предлагает потребителям широкий...
Все новости