Ернст Шредер
Е́рнст Шре́дер (нім. 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
ред.«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.] (англ.)