Шредер, Ернст

Ернст Шредер
Ernst Schrder
Ernst schroeder.jpg
Ернст Шредер
Дата народження:

25 листопада 1841 ( 1841-11-25 )

Місце народження:

Мангейм

Дата смерті:

16 червня 1902 ( 1902-06-16 ) (60 років)

Місце смерті:

Карлсруе

Наукова сфера:

математика, логіка

Ернст Шредер ( ньому. Ernst Schrder , 25 листопада 1841, Мангейм - 16 червня 1902, Карлсруе) - німецький математик і логік.


Біографія

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

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

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


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

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