Википедија

Ернст Шредер

Ернст Шредер (нем. Friedrich Wilhelm Karl Ernst Schröder; Манхајм, Баден, Немачка, 25. новембар 1841 — Карлсруе, Немачка, 16. јун 1902) био је немачки математичар углавном познат по свом раду из области алгебарске логике.

Ернст Шредер
Лични подаци
Датум рођења25. новембар 1841.
Место рођењаМајнхајм, Немачка
Датум смрти16. јун 1902.
Место смртиКарлсруе, Немачка
Научни рад
Пољеалгебарска логика, математичка логика

Живот уреди

Шредер је учио математику на Хајделбергу, Кенигсбергу и Цириху, под менторством Ота Хесеа, Густава Киркофа и Франца Њумана. Након неколико година подучавања, прешао је у Високу техничку школу у Дармштату 1874. Две године касније, добио је место на математици у Политехничкој школи у Карлсрухе, где је провео остатак живота.

Посао уреди

Шредеров рани рад на формалној алгебри и логици написан је без знања британских логичара Џорџа Була и Аугустуса Де Моргана. Уместо тога, његови извори су били текстови Ома, Ханкела, Хермана Грасмана и Роберта Грасмана. Године 1873, Шредер је сазнао о Буловом и Де Моргановом раду из логике. Њиховом раду додао је неколико важних концепата под утицајем Чарлса Сандерса Пирса. Шредер је такође допринео алгебри, теорији скупова, теорији решетке, уређеним низовима и редним бројевима. Заједно са Георгом Кантором, открио је Кантор Бернстин Шредерову теорему, иако је Шредеров доказ (1898) погрешан. Феликс Бернстин (18781—956) накнадно је исправио доказ као део докторске дисертације. Шредер је 1877. био концизна експозиција Булових идеја из алгебре и логике, која је допринела представљању Буловог рада светским читаоцима. Очигледан је утицај Грасманових, посебно Роберта мало познатог као Форменлехре. За разлику од Була, Шредер је у потпуности ценио дуалност. Џон Вен и Кристин Лад Френклин су радо цитирали ову кратку Шредерову књигу, а Чарлс Сандерс Пирс ју је користио као текст док је предавао на Џонс Хопкинс Универзитету. Шредерово ремек-дело, његов Vorlesungen uber die Algebra der Logik, било је објављено у три књиге између 1890. и 1905, о трошку аутора. Друга књига се састојала из два дела, други је објављен постхумно, а измењен је од стране Еугена Милера. Ворлесунген је био свеобухватан научни преглед алгебарске логике све до краја 19. века, која је имала знатан утицај на појављивање математичке логике у 20. веку. Ворлесунген је обимна књига, а само мали део је преведен на енглески.

Шредер је једном рекао да му је циљ да:

...дизајнира логику као дисциплину рачуна, поготово да да приступ тачним бављењем релативним појмовима, и, од тада, еманципацијом од рутинских захтева природног језика, да повуче било које плодно тло из клишеа у области филозофије такође. Ово треба да припреми терен за научни универзални језик који више личи на знаковни језик него као звучни језик.

Утицај уреди

Сматра се да је Шредеров утицај на рани развоју предикатског рачуна првог реда велики скоро као и утицај Фрегеа или Пеана. Фреге је 1960. године одбацио Шредеров рад и дивљење за Фрегеову пионирску улогу доминирало је током историјских дискусија. Упоређујући Фрегеа са Шредером и C. С. Персом, ипак, Хилари Путнам (1982) пише:

Када сам почео да пратим каснији развој логике, прва ствар коју сам урадио је да сам погледао Шредерово Vorlesungen über die Algebra der Logik (Предавање о алгебри и логици),... чије треће поглавље је о релацијама (Algebra und logik der relative, 1895). Ова три поглавља су одмах постала најпознатији текстови о напредној логици, и отеловљење шта сваки математичар који студира логику мора да зна, или да буде макар упознат са тим, током 1890-их.

Литература уреди

  • Сцхрöдер, Е., 1877. Дер Оператионскреис дес Логиккалкüлс. Леипзиг: Б.Г. Теубнер.
  • Сцхрöдер, Е., 1890–1905. Ворлесунген üбер дие Алгебра дер Логик, 3 волс. Леипзиг: Б.Г. Теубнер. Репринтс: 1966, Цхелсеа; 2000, Тхоеммес Пресс.
    • Ворлесунген üбер дие Алгебра дер Логик (Еxакте Логик) Волуме 1,
    • Ворлесунген üбер дие Алгебра дер Логик (Еxакте Логик) Волуме 2, Абт. 1
    • Ворлесунген üбер дие Алгебра дер Логик (Еxакте Логик) Волуме 2, Абт. 2
    • Алгебра унд Логик дер Релативе, дер Ворлесунген üбер дие Алгебра дер Логик 3 Волуме 3, Абт. 1
  • Сцхрöдер, Е., 1898. "Üбер зwеи Дефинитионен дер Ендлицхкеит унд Г. Цантор'сцхе Сäтзе", Абх. Каисерл. Леоп.-Цар. Акад. Натурф 71: 301–362.
  • Брадy, Гералдине, 2000. Фром Пеирце то Сколем. Нортх Холланд. Инцлудес ан Енглисх транслатион оф партс оф тхе Ворлесунген.
  • Анеллис, I. Х., 1990–91, "Сцхрöдер Материалс ат тхе Русселл Арцхивес," Модерн Логиц 1: 237–247.
  • Диперт, Р. Р., 1990/91. "Тхе лифе анд wорк оф Ернст Сцхрöдер," Модерн Логиц 1: 117–139.
  • Фреге, Г., 1960, "А цритицал елуцидатион оф соме поинтс ин Е. Сцхрöдер'с Ворлесунген üбер дие Алгебра дер Логик", транслатед бy Геацх, ин Геацх & Блацк, Транслатионс фром тхе пхилосопхицал wритингс оф Готтлоб Фреге. Блацкwелл: 86–106. Оригинал: 1895, Арцхив фüр сyстематисцхе Пхилосопхие 1: 433–456.
  • Ивор Граттан-Гуиннесс, 2000. Тхе Сеарцх фор Матхематицал Роотс 1870–1940. Принцетон Университy Пресс.
  • Цларенце Ирвинг Леwис, 1960 (1918). А Сурвеy оф Сyмболиц Логиц. Довер.
  • Пецкхаус, V., 1997. Логик, Матхесис универсалис унд аллгемеине Wиссенсцхафт. Леибниз унд дие Wиедерентдецкунг дер формален Логик им 19. Јахрхундерт. Академие-Верлаг.
  • Пецкхаус, V., 1999, "19тх Центурy Логиц бетwеен Пхилосопхy анд Матхематицс," Буллетин оф Сyмболиц Логиц 5: 433–450. Репринтед ин Глен ван Бруммелен анд Мицхаел Кинyон, едс., 2005. Матхематицс анд тхе Хисториан'с Црафт. Тхе Кеннетх О. Маy Лецтурес. Спрингер: 203–220. Онлине хере [1] ор хере [2].
  • Пецкхаус, V., 2004. "Сцхрöдер'с Логиц" ин Габбаy, Дов M., анд Јохн Wоодс, едс., Хандбоок оф тхе Хисторy оф Логиц. Вол. 3: Тхе Рисе оф Модерн Логиц: Фром Леибниз то Фреге. Нортх Холланд: 557–609.
  • Хиларy Путнам, 1982, "Пеирце тхе Логициан," Хисториа Матхематица 9: 290–301. Репринтед ин хис 1990 Реалисм wитх а Хуман Фаце. Харвард Университy Пресс: 252–260. Онлине фрагмент.
  • Тхиел, C., 1981. "А портраит, ор, хоw то телл Фреге фром Сцхрöдер," Хисторy анд Пхилосопхy оф Логиц 2: 21–23.

Спољашње везе уреди

 
Ернст Шредер на Викимедијиној остави.
Преузето из „https://sr.wikipedia.org/w/index.php?title=Ernst_Šreder&oldid=27674183”