Ернст Шредер
| Ернст Шредер | |
|---|---|
| нім. Ernst Schröder | |
 | |
| Народився |
25 листопада 1841[1][2][3] Мангайм, Велике герцогство Баден, Німецький союз[4] |
| Помер |
16 червня 1902[1][2][3] (60 років) Карлсруе, Німецька імперія[4] |
| Країна |
.svg){kind=small} Велике герцогство Баден |
| Діяльність | математик, викладач університету |
| Галузь | математика[5] |
| Відомий завдяки | математика |
| Alma mater | Гайдельберзький університет Рупрехта-Карла |
| Науковий керівник | Гессе Людвиг Отто[6] і Густав Роберт Кірхгоф[6] |
| Вчителі | Густав Роберт Кірхгоф |
| Знання мов | німецька[5] |
| Заклад | Дармштадтський технічний університет і Університет Карлсруе |
Е́рнст Шре́дер (нім. Ernst Schröder; нар. 25 листопада 1841, Мангейм — пом. 16 червня 1902, Карлсруе) — німецький математик і логік, один із засновників математичної логіки.
Ернст Шредер — головна фігура в історії математичної логіки (термін, який він, можливо, винайшов), завдяки підведенню підсумків і продовженню роботи Джорджа Буля, Огастеса Де Моргана, Г'ю Маккола, і особливо Чарлза Пірса. Він найвідоміший монументальною працею «Vorlesungen über die Algebra der Logik» (1890—1895), в 3-х томах, який систематизацією різних систем формальної логіки торував шлях для появи математичної логіки як окремої дисципліни в двадцятому сторіччі.
З 1876 був професором Вищої технічної школи в Карлсруе.
Праця[ред. | ред. код]
Vorlesungen[ред. | ред. код]
«Vorlesungen über die Algebra der Logik» складається з трьох томів.[7] Перший описує числення класів[8], другий - пропозиційне числення, третій - алгебру відношень[9]
Примітки[ред. | ред. код]
- ↑ а б в Deutsche Nationalbibliothek Record #118761846 // Gemeinsame Normdatei — 2012—2016.
- ↑ а б в Архів історії математики Мактьютор — 1994.
- ↑ а б в Енциклопедія Брокгауз
- ↑ а б Шрёдер Эрнст // Большая советская энциклопедия: [в 30 т.] / под ред. А. М. Прохоров — 3-е изд. — Москва: Советская энциклопедия, 1969.
- ↑ а б Czech National Authority Database
- ↑ а б Математичний генеалогічний проєкт — 1997.
- ↑ Badesa, 2004, с. 18.
- ↑ https://www.encyclopediaofmath.org/index.php/Calculus_of_classes
- ↑ Архівована копія. Архів оригіналу за 22 липня 2020. Процитовано 13 березня 2020.
{{cite web}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title (посилання)
Література[ред. | ред. код]
- Badesa, Calixto (2004). The birth of model theory: Löwenheim's theorem in the frame of the theory of relatives (PDF). Princeton University Press. ISBN 978-0-691-05853-5. Архів оригіналу (PDF) за 11 травня 2022. Процитовано 13 березня 2020.
- Філософський словник / за ред. В. І. Шинкарука. — 2-ге вид., перероб. і доп. — К. : Головна ред. УРЕ, 1986.
Посилання[ред. | ред. код]
- Архів історії математики «MacTutor» [Архівовано 28 жовтня 2007 у Wayback Machine.] (англ.)
|
