Schröder, Ernst
Ernst Schröder ( saksaksi : Ernst Schröder , 25. marraskuuta 1841 , Mannheim - 16. kesäkuuta 1902 , Karlsruhe ) oli saksalainen matemaatikko ja loogikko .
Elämäkerta
Opiskeltuaan matematiikkaa ja fysiikkaa Heidelbergissä ja Königsbergissä , vuonna 1865 seurasi habilitaatio Zürichissä . Matematiikan professori Darmstadtin teknillisessä yliopistossa vuodesta 1874, sitten vuodesta 1876 entisessä Karlsruhen teknisessä yliopistossa.
Hänen tieteellisissä kiinnostuksenkohteissaan keskeisiä olivat matematiikan perusteet , funktioteoria ja kombinatorinen analyysi . Kirjassaan Iterated Functions ( saksa: Ueber iterirte Functionen ; 1871) hän tutki funktionaalisia yhtälöitä , joita nykyään kutsutaan Schröderin yhtälöiksi, joilla on tärkeä rooli dynaamisten järjestelmien teoriassa . Kun logiikasta tuli oma tieteenala, hän alkoi käsitellä algebraa ja symbolista logiikkaa . Hänen työnsä logiikan algebrassa saavutti kansainvälistä mainetta. Hän kehitti George Boolen logiikkaa ja kehitti vuonna 1877 täydellisen aksioomijärjestelmän Boolen algebralle . Ernst Schroeder kolmiosaisessa logiikkaalgebrassa ( saksa Algebra der Logik ; 1890-1895), toisin kuin Boole, rakentaa loogisen laskennan teorian (hänen kirjoittajan nimi nykyaikaiselle matemaattiselle logiikalle) luokkalaskennan pohjalta. Hän osallistuu relaatioalgebran (en:relation algebra) kehittämiseen , esittelee normaalimuodon käsitteen ja kehittää kaksinaisuuden periaatetta klassisessa logiikassa; käyttää kvantorien eliminointimenetelmää ratkaistavuuskysymyksissä .
Giuseppe Peano jatkoi Schroederin logiikkateorian kehittämistä. Norbert Wienerin väitöskirja liittyy Schröderin työhön ( Schröderin ja Whiteheadin ja Russellin sukulaisten algebran käsittelyn vertailu ). Alfred Tarski piti Schröderin työtä perustavanlaatuisena modernille korkeammalle algebralle ja logiikan historialle.
Luettelo teoksista
- Lehrbuch der Arithmetik und Algebra , 1873
- Yber die formalen Elemente der absoluutn 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, Leipzig, 1909/1910
Katso myös
Kirjallisuus
Linkit
- Ensisijainen
- Schröder, E., 1877. Der Operationskreis des Logikkalküls . Leipzig: BG Teubner.
- Schroder, E., 1890-1905. Vorlesungen über die Algebra der Logik , 3 osaa. Leipzig: BG Teubner. Uusintapainokset: 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.
- Sekä perus- että toissijainen
- Brady, Geraldine, 2000. Peircestä Skolemiin . Pohjois-Hollanti. Sisältää englanninkielisen käännöksen Vorlesungenin osista .
- toissijainen
- Anellis, IH, 1990-91, "Schröder Materials at the Russell Archives", Modern Logic 1 : 237-247.
- Dipert, R.R., 1990/91. "Ernst Schröderin elämä ja työ", Modern Logic 1 : 117-139.
- Frege , G., 1960, "Kriittinen selvitys joistakin E. Schröderin kirjassa Vorlesungen über die Algebra der Logik ", Geach , Geach & Black , Käännökset Gottlob Fregen filosofisista kirjoituksista . Blackwell: 86-106. Alkuperäinen: 1895, Archiv für systematische Philosophie 1 : 433-456.
- Ivor Grattan-Guinness , 2000. The Search for Mathematical Roots 1870-1940 . Princeton University Press.
- Clarence Irving Lewis , 1960 (1918). Symbolisen logiikan tutkimus . 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, "1800-luvun logiikka filosofian ja matematiikan välillä", Bulletin of Symbolic Logic 5 : 433-450. Uusintapainos julkaisussa Glen van Brummelen ja Michael Kinyon, toim., 2005. Mathematics and the Historian's Craft. Kenneth O. Mayn luennot . Springer: 203-220. Online täällä tai täällä .
- Peckhaus, V., 2004. "Schröder's Logic" julkaisussa Gabbay, Dov M. ja John Woods, toim., Handbook of the History of Logic. Voi. 3: Modernin logiikan nousu: Leibnizistä Fregeen . Pohjois-Hollanti: 557-609.
- Hilary Putnam , 1982, " Peirce the Logician", Historia Mathematica 9 : 290-301. Uusintapainos hänen 1990 Realism with a Human Face -julkaisussa . Harvard University Press: 252-260. online-fragmentti.
- Thiel, C., 1981. "Muotokuva tai kuinka erottaa Frege Schröderistä" , Logiikan historia ja filosofia 2 : 21-23.
Temaattiset sivustot |
|
---|
Sanakirjat ja tietosanakirjat |
|
---|
Bibliografisissa luetteloissa |
---|
|
|