Ернст Шредер
Е́рнст Шре́дер (нім. Ernst Schröder; нар. 25 листопада 1841, Мангейм — пом. 16 червня 1902, Карлсруе) — німецький математик і логік, один із засновників математичної логіки.
Ернст Шредер — головна фігура в історії математичної логіки (термін, який він, можливо, винайшов), завдяки підведенню підсумків і продовженню роботи Джорджа Буля, Огастеса Де Моргана, Г'ю Маккола, і особливо Чарлза Пірса. Він найвідоміший монументальною працею «Vorlesungen über die Algebra der Logik» (1890—1895), в 3-х томах, який систематизацією різних систем формальної логіки торував шлях для появи математичної логіки як окремої дисципліни в двадцятому сторіччі.
З 1876 був професором Вищої технічної школи в Карлсруе.
Праця
Vorlesungen
«Vorlesungen über die Algebra der Logik» складається з трьох томів.[9] Перший описує числення класів[10], другий - пропозиційне числення, третій - алгебру відношень[11]
Примітки
- ↑ а б в г д е ж и к л м н п р с т у ф х ц Архів історії математики Мактьютор — 1995.
- ↑ а б в Deutsche Nationalbibliothek Record #118761846 // Gemeinsame Normdatei — 2012—2016.
- ↑ а б в Brockhaus Enzyklopädie — F.A. Brockhaus, 1796.
- ↑ а б Шрёдер Эрнст // Большая советская энциклопедия: [в 30 т.] — 3-е изд. — Москва: Советская энциклопедия, 1969.
- ↑ а б Чеська національна авторитетна база даних
- ↑ а б Математичний генеалогічний проєкт — 1997.
- ↑ https://projecteuclid.org/journalArticle/Download?urlId=rml%2F1204834612 — С. 4.
- ↑ Complete Dictionary of Scientific Biography — Детройт: Charles Scribner's Sons, 2008. — ISBN 978-0-684-31559-1
- ↑ Badesa, 2004, p. 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.] (англ.)
Джерело: стаття у Вікіпедії та історія редагувань (автори).