Ернст Шредер

Ернст Шредер
нім. 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]
Заклад	Дармштадтський технічний університет і Університет Карлсруе
Медіафайли у Вікісховищі

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

Примітки

1. Deutsche Nationalbibliothek Record #118761846 // Gemeinsame Normdatei — 2012—2016.
   d:Track:Q27302d:Track:Q36578
2. Архів історії математики Мактьютор — 1994.
   d:Track:Q547473
3. Енциклопедія Брокгауз
   d:Track:Q237227
4. Шрёдер Эрнст // Большая советская энциклопедия: [в 30 т.] / под ред. А. М. Прохорова — 3-е изд. — Москва: Советская энциклопедия, 1969.
   d:Track:Q649d:Track:Q17378135
5. Чеська національна авторитетна база даних
   d:Track:Q13550863
6. Математичний генеалогічний проєкт — 1997.
   d:Track:Q829984
7. Badesa, 2004, с. 18.
8. https://www.encyclopediaofmath.org/index.php/Calculus_of_classes
9. Архівована копія. Архів оригіналу за 22 липня 2020. Процитовано 13 березня 2020.

Література

• 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.] (англ.)