Ернст Шредер

німецький математик

Е́рнст Шре́дер (нім. Ernst Schröder; нар. 25 листопада 1841, Мангейм — пом. 16 червня 1902, Карлсруе) — німецький математик і логік, один із засновників математичної логіки.

Ернст Шредер
нім. Ernst Schröder
Народився25 листопада 1841(1841-11-25)[1][2][3]
Мангайм, Велике герцогство Баден, Німецький союз[4]
Помер16 червня 1902(1902-06-16)[1][2][3] (60 років)
Карлсруе, Німецька імперія[4]
Країна Велике герцогство Баден
Діяльністьматематик, викладач університету
Галузьматематика[5]
Відомий завдякиматематика
Alma materГайдельберзький університет Рупрехта-Карла
Науковий керівникГессе Людвиг Отто[6] і Густав Роберт Кірхгоф[6]
ВчителіГустав Роберт Кірхгоф
Знання мовнімецька[5]
ЗакладДармштадтський технічний університет і Університет Карлсруе

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

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

Праця

ред.

Vorlesungen

ред.

«Vorlesungen über die Algebra der Logik» складається з трьох томів.[7] Перший описує числення класів[8], другий - пропозиційне числення, третій - алгебру відношень[9]

Примітки

ред.
  1. а б в Deutsche Nationalbibliothek Record #118761846 // Gemeinsame Normdatei — 2012—2016.
  2. а б в Архів історії математики Мактьютор — 1994.
  3. а б в Енциклопедія Брокгауз
  4. а б Шрёдер Эрнст // Большая советская энциклопедия: [в 30 т.] / под ред. А. М. Прохорова — 3-е изд. — Москва: Советская энциклопедия, 1969.
  5. а б Czech National Authority Database
  6. а б Математичний генеалогічний проєкт — 1997.
  7. Badesa, 2004, с. 18.
  8. https://www.encyclopediaofmath.org/index.php/Calculus_of_classes
  9. Архівована копія. Архів оригіналу за 22 липня 2020. Процитовано 13 березня 2020.{{cite web}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title (посилання)

Література

ред.

Посилання

ред.