Эрнст Шрёдер
Биография
Эрнст Шредер (нем. Ernst Schröder) родился 25 ноября 1841 года в Мангейме и ушел из жизни 16 июня 1902 года в Карлсруэ. Он был известным немецким математиком и логиком.
Образование и карьера
Шредер изучал математику и физику в университетах Хайдельберга и Кенигсберга. В 1865 году он успешно защитил диссертацию и получил степень доктора наук в Цюрихе. С 1874 года он занимал должность профессора математики в Дармштадтском техническом университете, а с 1876 года он перешел в прежний технический университет в Карлсруэ.
Научные интересы и достижения
Основные научные интересы Шредера включали основания математики, теорию функций и комбинаторный анализ. В 1871 году он опубликовал работу "Итерированные функции", в которой исследовал функциональные уравнения, известные сейчас как Уравнения Шредера. Эти уравнения играют важную роль в теории динамических систем.
Позднее, когда логика стала самостоятельной научной дисциплиной, Шредер начал заниматься алгеброй и символической логикой. Его работы в этой области получили международную известность. Он усовершенствовал логику Джорджа Буля и в 1877 году разработал полную систему аксиом булевой алгебры. В своей трехтомной работе "Алгебра логики" (1890-1895) Шредер представил собственное математическое исчисление логики, основанное на исчислении классов.
Он также внес значительный вклад в развитие алгебры отношений и ввел понятие нормальной формы. В своих работах Шредер развил принцип двойственности в классической логике и использовал метод элиминации кванторов для вопросов разрешимости.
Влияние и признание
Работы Шредера оказали значительное влияние на последующие исследования в области логики. Джузеппе Пеано и Норберт Винер продолжили развитие его теории. Альфред Тарский считал работы Шредера основополагающими для современной высшей алгебры и истории логики.