Ернст Шредер
| Ернст Шредер | |
|---|---|
| нім. Ernst Schröder | |
 | |
| Народився | 25 листопада 1841[1][2][3] Мангайм, Велике герцогство Баденське, Німецький союз[4] |
| Помер | 16 червня 1902[1][2][3] (60 років) Карлсруе, Німецький Райх[4] |
| Країна |  Велике герцогство Баденське |
| Діяльність | математик, викладач університету |
| Галузь | математика[5] |
| Відомий завдяки | математика |
| Alma mater | Гайдельберзький університет Рупрехта-Карла |
| Науковий керівник | Гессе Людвиг Отто[6] і Густав Роберт Кірхгоф[6] |
| Вчителі | Густав Роберт Кірхгоф |
| Знання мов | німецька[5] |
| Заклад | Дармштадтський технічний університет і Університет Карлсруе |
Е́рнст Шре́дер (нім. Ernst Schröder; нар. 25 листопада 1841, Мангейм — пом. 16 червня 1902, Карлсруе) — німецький математик і логік, один із засновників математичної логіки.
Ернст Шредер — головна фігура в історії математичної логіки (термін, який він, можливо, винайшов), завдяки підведенню підсумків і продовженню роботи Джорджа Буля, Огастеса Де Моргана, Г'ю Маккола, і особливо Чарлза Пірса. Він найвідоміший монументальною працею «Vorlesungen über die Algebra der Logik» (1890—1895), в 3-х томах, який систематизацією різних систем формальної логіки торував шлях для появи математичної логіки як окремої дисципліни в двадцятому сторіччі.
З 1876 був професором Вищої технічної школи в Карлсруе.
«Vorlesungen über die Algebra der Logik» складається з трьох томів.[7] Перший описує числення класів[8], другий - пропозиційне числення, третій - алгебру відношень[9]
- ↑ а б в Deutsche Nationalbibliothek Record #118761846 // Gemeinsame Normdatei — 2012—2016.
- ↑ а б в Архів історії математики Мактьютор — 1994.
- ↑ а б в Енциклопедія Брокгауз
- ↑ а б Шрёдер Эрнст // Большая советская энциклопедия: [в 30 т.] / под ред. А. М. Прохорова — 3-е изд. — Москва: Советская энциклопедия, 1969.
- ↑ а б Чеська національна авторитетна база даних
- ↑ а б Математичний генеалогічний проєкт — 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.] (англ.)
 | |
|---|---|
| Література та бібліографія | |
| Наука | |
| Словники та енциклопедії | |
| Довідкові видання | |
| Нормативний контроль | FAST: 1928895 · Freebase: /m/029mrn · GND: 118761846 · ICCU: SBLV123938 · ISNI: 0000000122763488 · J9U: 987007296790505171 · LCCN: n2008035784 · NKC: mub2013789066 · NLA: 1078993 · NTA: 068378475 · NUKAT: n2011210983 · SUDOC: 083358579 · VIAF: 10641655 |