Ernst Schröder

Ten artykuł dotyczy niemieckiego matematyka. Zobacz też: inne artykuły dotyczące tego nazwiska.
Ernst Schröder
Ilustracja
Państwo działania

 Cesarstwo Niemieckie

Data i miejsce urodzenia

25 listopada 1841
Mannheim

Data i miejsce śmierci

16 czerwca 1902
Karlsruhe

Specjalność: matematyka
Alma Mater

Uniwersytet w Heidelbergu

Uczelnia/Instytut/Instytucja

Technische Universität Darmstadt

Uczelnia/Instytut/Instytucja

Karlsruher Institut für Technologie

Multimedia w Wikimedia Commons

Ernst Schröder, pełne imię Ernst Friedrich Wilhelm Karl (ur. 25 listopada 1841 w Mannheimie, zm. 16 czerwca 1902 w Karlsruhe) – niemiecki matematyk, znany przede wszystkim z prac w dziedzinie logiki matematycznej i teorii algebry Boole’a.

Schröder był kontynuatorem prac Boole’a, De Morgana i Peirce’a, zmierzających do algebraizacji logiki. Większość swych wyników Schröder opublikował w wydanym własnym sumptem trzytomowym dziele Vorlesungen über die Algebra der Logik.

Życiorys

Studiował matematykę w Heidelbergu, Królewcu i Zurychu u Ottona Hessego, Kirchhoffa i Franciszka Neumanna. Po studiach kilka lat uczył w szkole. W latach 1874–1876 wykładał też na politechnice w Darmstadt, skąd przeniósł się na politechnikę w Karlsruhe, gdzie pozostał do końca życia. Nigdy się nie ożenił.

Dzieło

Wczesne prace Schrödera inspirowane były ideami Ohma i braci Hermanna oraz Roberta Grassmannów. Pisząc je, Schröder nie znał jeszcze wyników uzyskanych przez logików angielskich, Boole’a i de Morgana, z którymi zapoznał się dopiero w roku 1873. Wkrótce uzupełnił ich rezultaty o ważne idee zaczerpnięte od Pierce’a, w szczególności zaś o pojęcie subsumpcji i kwantyfikacji.

Wniósł nowatorski wkład do algebry, teorii mnogości, teorii krat i zbiorów uporządkowanych. Wspólnie z Cantorem odkrył twierdzenie Cantora-Bernsteina-Schrödera, choć dowód podany przez Schrödera zawierał błędy.

Wydana w roku 1877 praca Schrödera Der Operationskreis des Logikkalküls zawierała zwięzły wykład teorii algebry Boole’a i znacząco przyczyniła się do upowszechnienia nowych idei wśród matematyków kontynentalnych. Schröder zwracał tu szczególną uwagę na dualność w algebrach Boole’a – jeżeli w pewnej tezie zamienimy miejscami symbole dwuargumentowych operacji algebry i odpowiadających im stałych, to otrzymana teza pozostanie prawdziwa (przykładem dualności są prawa de Morgana). Wiadomo, że z pracy Schrödera korzystał Peirce podczas wykładów na Uniwersytecie Johnsa Hopkinsa.

Wielkim zamysłem Schrödera było wprowadzenie do logiki formalizmu, który pozwalałby przeprowadzać operacje logiczne w sposób podobny do innych dziedzin matematyki, w szczególności algebry. Byłoby to urzeczywistnieniem wielkiego marzenia Leibniza o stworzeniu uniwersalnego języka nauki. Udało się to o tyle, że wprowadzona przez niego symbolika wywarła decydujący wpływ na prace matematyków „szkoły” niemieckiej: Skolema, Königa, Löwenheima oraz Alfreda Tarskiego.

Linki zewnętrzne

  • publikacja w otwartym dostępie – możesz ją przeczytać John J. O'Connor; Edmund F. Robertson: Ernst Schröder w MacTutor History of Mathematics archive (ang.)
  • Hilary Putnam o Peircie i Schröderze
  • Krótkie omówienie Vorlesungen über die Algebra der Logik
  • ISNI: 0000000122763488
  • VIAF: 10641655
  • LCCN: n2008035784
  • GND: 118761846
  • SUDOC: 083358579
  • SBN: SBLV123938
  • NKC: mub2013789066
  • NTA: 068378475
  • Open Library: OL4540867A
  • NUKAT: n2011210983
  • J9U: 987007296790505171
  • WorldCat: lccn-n2008035784
  • PWN: 3973202
  • Treccani: ernst-schroder
  • VLE: ernst-schroder
  • Catalana: 0061431
  • DSDE: Ernst_Schröder
Identyfikatory zewnętrzne:
  • MacTutor: Schroder