Schröder, Ernest
Ernst Schröder ( Němec : Ernst Schröder , 25. listopadu 1841 , Mannheim – 16. června 1902 , Karlsruhe ) byl německý matematik a logik .
Životopis
Po studiu matematiky a fyziky v Heidelbergu a Königsbergu následovala v roce 1865 habilitace v Curychu . Profesor matematiky na Technické univerzitě v Darmstadtu od roku 1874, poté od roku 1876 na bývalé Technické univerzitě v Karlsruhe.
Ústředním bodem jeho vědeckých zájmů byly základy matematiky , teorie funkcí a kombinatorická analýza . V Iterated Functions ( německy: Ueber iterirte Functionen ; 1871) studoval funkcionální rovnice , které se dnes nazývají Schröderovy rovnice , které hrají důležitou roli v teorii dynamických systémů . Když se logika stala vědeckou disciplínou sama o sobě, začal se zabývat algebrou a symbolickou logikou . Jeho práce na algebře logiky získaly mezinárodní věhlas. Zdokonalil logiku George Boolea a v roce 1877 vyvinul kompletní systém axiomů pro Booleovu algebru . Ernst Schroeder v třísvazkové Algebře logiky ( německy Algebra der Logik ; 1890-1895) na rozdíl od Boolea staví teorii logického počtu (jeho autorské jméno pro moderní matematickou logiku) na základě třídního počtu. Přispívá k rozvoji relační algebry ( en:relační algebra ), zavádí pojem normální formy a rozvíjí princip duality v klasické logice; používá metodu eliminace kvantifikátoru pro otázky rozhodnutelnosti .
Giuseppe Peano pokračoval ve vývoji Schroederovy teorie logiky. Disertační práce Norberta Wienera souvisí s dílem Schrödera ( Porovnání mezi zpracováním algebry příbuzných Schröderem a Whiteheadem a Russellem ). Alfred Tarski považoval Schröderovu práci za zásadní pro moderní vyšší algebru a historii logiky.
Seznam prací
- 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 Bande, Band 1 1890-1895
- Uber das Zeichen , Karlsruhe, 1890
- Ü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
- Abriß der Algebra der Logik , 2 Teile, Lipsko, 1909/1910
Viz také
Literatura
Odkazy
- Hlavní
- Schröder, E., 1877. Der Operationskreis des Logikkalküls . Lipsko: BG Teubner.
- Schroder, E., 1890-1905. Vorlesungen über die Algebra der Logik , 3 sv. Lipsko: BG Teubner. Dotisky: 1966, Chelsea; 2000, Thoemmes Press.
- Schröder, E., 1898. "Über zwei Definitionen der Endlichkeit und G. Cantor'sche Sätze ", Abh. Kaiserl. Leop.-Auto. Akad. Naturf 71 : 301-362.
- Primární i sekundární
- Brady, Geraldine, 2000. Od Peirce po Skolem . Severní Holandsko. Zahrnuje anglický překlad částí Vorlesungen .
- sekundární
- Anellis, IH, 1990-91, "Schröder Materials at the Russell Archives," Modern Logic 1 : 237-247.
- Dipert, R.R., 1990/91. "Život a dílo Ernsta Schrödera," Modern Logic 1 : 117-139.
- Frege , G., 1960, "Kritické objasnění některých bodů v E. Schröderově Vorlesungen über die Algebra der Logik ", přeložil Geach , v Geach & Black , Překlady z filozofických spisů Gottloba Fregeho . Blackwell: 86-106. Originál: 1895, Archiv für systematische Philosophie 1 : 433-456.
- Ivor Grattan-Guinness , 2000. Hledání matematických kořenů 1870-1940 . Princeton University Press.
- Clarence Irving Lewis , 1960 (1918). Přehled symbolické logiky . Dover.
- Peckhaus, V., 1997. Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert . Academy-Verlag.
- Peckhaus, V., 1999, "Logika 19. století mezi filozofií a matematikou," Bulletin of Symbolic Logic 5 : 433-450. Přetištěno v Glen van Brummelen a Michael Kinyon, eds., 2005. Mathematics and the Historian's Craft. Přednášky Kennetha O. Maye . Springer: 203-220. Online zde nebo zde .
- Peckhaus, V., 2004. "Schröderova logika" v Gabbay, Dov M. a John Woods, eds., Handbook of the History of Logic. sv. 3: Vzestup moderní logiky: Od Leibnize k Fregeovi . Severní Holandsko: 557-609.
- Hilary Putnam , 1982, " Peirce the Logician," Historia Mathematica 9 : 290-301. Přetištěno ve svém Realismu s lidskou tváří z roku 1990 . Harvard University Press: 252-260. online fragment.
- Thiel, C., 1981. "Portrét aneb, jak rozeznat Fregeho od Schrödera," History and Philosophy of Logic 2 : 21-23.
Tematické stránky |
|
---|
Slovníky a encyklopedie |
|
---|
V bibliografických katalozích |
---|
|
|