Ернст Шредер: біографія

Біографія

Після вивчення математики і фізики в Хайдельберге і Кенігсберзі послідувала хабілітація в Цюріху в 1865 році. Професор математики Дармштадтського технічного університету з 1874 року, потім з 1876 року в колишньому технічному університеті в Карлсруе.

Центральне місце в сфері його наукових інтересів займали підстави математики, теорія функцій і комбінаторний аналіз. У роботіІтерірованние функції(нім.Ueber iterirte Functionen; 1871) він досліджував функціональні рівняння, які сьогодні називають рівняннями Шредера, що грають важливу роль в теорії динамічних систем. Коли логіка стала самостійною науковою дисципліною, він почав займатися алгеброю і символічної логікою. Його роботи з алгебри логіки отримали міжнародну популярність. Він удосконалив логіку Джорджа Буля і розробив в 1877 році повну систему аксіом булевої алгебри. Ернст Шредер в тритомнійАлгебрі логіки(нім.Algebra der Logik; 1890 - 1895), на відміну від Буля, будує теорію логічного числення (його авторська назва сучасної математичної логіки) на основі обчислення класів. Він вносить вклад у розвиток реляційної алгебри, вводить поняттянормальна формата розвиває принцип подвійності в класичній логіці; використовує метод елімінації кванторів для питань розв'язання.

Джузеппе Пеано продовжив розвиток теорії логіки Шредера. Дисертація Норберта Вінера пов'язана з роботами Шредера (англ.A comparision between the treatment of the Algebra of relatives by Schr?der and that by Whitehead and Russell). Альфред Тарський вважав роботи Шредера основоположними для сучасної вищої алгебри та історії логіки.

Список творів

• ?ber die formalen Elemente der absoluten Algebra, 31 S ., Stuttgart, 1874
• Vorlesungen ?ber die Algebra der Logik, 3 B?nde, Band 1 1890-1895
• Abri? der Algebra der Logik, 2 Teile, Leipzig, 1909/1910
• Lehrbuch der Arithmetik und Algebra, 1873
• ?ber zwei Definitionen der Endlichkeit und G. Cantor 'sche S?tze- Abhandlung in der Reihe Kaiserliche Leopoldino-Carolinische Deutsche Akademie der Naturforscher Bd. 71, S. 301-362, Halle, 1898
• ?ber das Zeichen, Karlsruhe, 1890
• Der Operationskreis des Logikkalkuls, 1877

Комментарии

Сайт: Википедия