Эрнст Шредер (математик)

Эрнст Шредер

Эрнст Шредер (родился 25 ноября 1841 года в Мангейме † 16 июня 1902 года в Карлсруэ ; полное имя Эрнст Фридрих Вильгельм Карл Шредер ) был немецким математиком и логиком .

жизнь и работа

После изучения математики и физики в Ruprecht-Karls-Universität Heidelberg и Albertus-Universität Königsberg , Шредер получил звание профессора в Цюрихском университете в 1865 году. После завершения школьной работы он стал профессором математики в TH Дармштадт в 1874 году , затем в 1876 году в ТД Карлсруэ , где он также был директором в 1890/91.

Титульный лист первого издания книги « О формальных элементах абсолютной алгебры»

Основными направлениями его работы были основы математики, теория функций и комбинаторный анализ. В своей работе по повторяющимся функциям с 1871 года он исследовал функциональное уравнение Шредера, названное в его честь сегодня и играющее важную роль в сложной динамике. Тот факт, что логика стала независимой дисциплиной, объясняется его работой по теоретической алгебре и символической логике. Своими работами по алгебре логики он добился международного признания. Он оптимизирован логику Джорджа Буля и в 1877 году разработал первую полную систему аксиом в булевой алгебре . В своей трехтомной алгебре логики 1890–1895 гг., В отличие от Буля, который основывал свои вычисления на идентичности классов, он предполагал включение классов. Шредер также разработал реляционную алгебру (см. Реляционную теорию ), ввел термин нормальная форма и открыл принцип двойственности в логике классов (см. Булеву алгебру ). Кроме того, он решил частные случаи проблемы принятия решения , устранив кванторы .

Джузеппе Пеано основывался на логике Шредера; Норберт Винер также продолжил работу Шредера в своей диссертации «Сравнение между трактовкой алгебры родственников Шредером и трактовкой Уайтхеда и Рассела» . Для Альфреда Тарского его работа стала основой современной теории алгебры и истории логики.

Он является одним из однофамильцев теоремы Кантора-Бернштейна-Шредера . В числе Шрёдера также названы в его честь. Своим основным трехтомным трудом по алгебре логики Эрнст Шредер создал одну из основ концептуальной обработки знаний . Вот почему Центр обработки концептуальных знаний Эрнста Шредера также носит его имя. Он способствует обучению, исследованиям и разработкам в области обработки концептуальных знаний и их применения.

Шрифты

• Учебник арифметики и алгебры , 1873 г.
• О формальных элементах абсолютной алгебры , 31 с., Штутгарт, 1874 г.
• Операционный круг логического исчисления , 1877 г.
• Лекции по алгебре логики (точная логика) , 3 тома, Лейпциг 1890–1905 гг.

Том 1. Teubner, Leipzig 1890. ( оцифрованный , оцифрованный и полный текст в немецком текстовом архиве )

Том 2, отдел 1. Teubner, Leipzig 1891 ( оцифрованный , оцифрованный и полный текст в немецком текстовом архиве )

Том 2, отдел 2. Teubner, Leipzig 1905 ( оцифрованный , оцифрованный и полный текст в немецком текстовом архиве )

Том 3. Teubner, Leipzig 1895 ( оцифрованный и полный текст в немецком текстовом архиве )

• Алгебра и логика родственников, Лекции по алгебре логики 3 : том 3, кафедра 1 , Лейпциг, Б.Г. Тойбнер, 1890–1905
• О вывеске , Карлсруэ, 1890 г.
• О двух определениях конечности и предложениях Г. Кантора - трактат из серии Imperial Leopoldino-Carolinische Deutsche Akademie der Naturforscher Vol. 71, pp. 301–362, Halle, 1898
• Очерк алгебры логики , 2 части, Лейпциг, 1909/1910

литература

• И. Граттан-Гиннесс: Винер по логике Рассела и Шредера. Отчет о его докторской диссертации и его обсуждении с Расселом в: Annals of Science, Vol 32, 1975, No. 2, pp. 102-132.
• Даниэль С. Александер: История сложной динамики: от Шредера до Фату и Юлии. (Аспекты математики), Vieweg, Braunschweig 1994, ISBN 3-528-06520-6 . В разделах 1.1–1.7 дается подробный отчет о вкладе Шредера в теорию итераций.
• Давиде Бондони: Теория отношений нелетальной алгебры делла логика Schroederiana, Led Edizioni, Милан, 2007, ISBN 978-88-7916-349-1 .
• Д. Бондони: Parafrasi schröderiane, ovvero, Ernst Schröder: Le operazioni del calcolo logico (Оригинал: Operationskreis des Logic Calculus (1877) с параллельным итальянским переводом; в приложении отрывки из работ Буля, Фреге и Пирса), Led Edizioni, Милан , 2010, ISBN 978-88-7916-474-0 .
• Эрнст Шредер: О формальных элементах абсолютной алгебры (Оригинал: Ueber die formalelemente der Absolute Algebra (1874) Давиде Бондони со вступительным эссе), Led Edizioni, Милан, 2012, ISBN 978-88-7916-516-7 .
• Д. Бондони: Структурные особенности в работах Эрнста Шредера, Часть I , в: Логика и логическая философия, Том 20, 2011, № 4, стр. 327-359
• Д. Бондони: Структурные особенности в работах Эрнста Шредера, часть II , в: Логика и логическая философия, Том 21, 2012, № 3, стр. 271-315

веб ссылки

• Литература Эрнста Шредера и о нем в каталоге Немецкой национальной библиотеки
• Произведения Эрнста Шредера и о нем  в Немецкой цифровой библиотеке
• Джон Дж. О'Коннор, Эдмунд Ф. Робертсон :  Эрнст Шредер. В: Архив истории математики MacTutor .
• Шредер, Фридрих Вильгельм Карл Эрнст. Гессенская биография. (По состоянию на 25 ноября 2020 г.). В: Landesgeschichtliches Informationssystem Hessen (LAGIS).