Schroeder, Ernest
| Ernst Schroeder | |
|---|---|
| Ernst Schroder | |
| Ernst Schroeder | |
| Születési dátum | 1841. november 25 |
| Születési hely | Mannheim |
| Halál dátuma | 1902. június 16. (60 évesen) |
| A halál helye | Karlsruhe |
| Ország | |
| Tudományos szféra | matematika , logika |
| Munkavégzés helye | |
| alma Mater | |
| tudományos tanácsadója | G. Kirchhoff |
| Médiafájlok a Wikimedia Commons oldalon | |
Ernst Schröder ( németül : Ernst Schröder , 1841 . november 25. , Mannheim – 1902 . június 16. , Karlsruhe ) német matematikus és logikus .
Életrajz
A heidelbergi és königsbergi matematika és fizika tanulmányait követően 1865-ben habilitáció következett Zürichben . 1874-től a Darmstadti Műszaki Egyetem matematika professzora , majd 1876-tól az egykori karlsruhei Műszaki Egyetemen.
Tudományos érdeklődésének középpontjában a matematika alapjai , a függvényelmélet és a kombinatorikus elemzés álltak . Iterált függvényekben ( németül: Ueber iterirte Functionen ; 1871) a funkcionális egyenleteket tanulmányozta , amelyeket ma Schröder-egyenleteknek neveznek , és amelyek fontos szerepet játszanak a dinamikus rendszerek elméletében . Amikor a logika önálló tudományággá vált, kezdett algebrával és szimbolikus logikával foglalkozni . A logikai algebrával kapcsolatos munkája nemzetközi hírnévre tett szert. Továbbfejlesztette George Boole logikáját, és 1877-ben kidolgozta a Boole-algebra teljes axiómarendszerét . Ernst Schroeder a háromkötetes logikai algebrában ( német Algebra der Logik ; 1890-1895) Boole-tól eltérően az osztályszámításra építi fel a logikai számítás elméletét (a modern matematikai logikát szerzőjének neve). Hozzájárul a relációs algebra ( en:relation algebra ) fejlesztéséhez, bevezeti a normálforma fogalmát és kidolgozza a dualitás elvét a klasszikus logikában; a kvantor eliminációs módszert használja a eldönthetőségi kérdésekhez .
Giuseppe Peano folytatta Schroeder logikaelméletének fejlesztését. Norbert Wiener disszertációja Schröder munkásságához kapcsolódik ( Schröder és Whitehead és Russell rokonalgebrájának összehasonlítása ). Alfred Tarski Schröder munkáját alapvetőnek tartotta a modern magasabb algebra és a logika történetében.
Művek listája
- Lehrbuch der Arithmetik und Algebra , 1873
- Über 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, Lipcse, 1909/1910
Lásd még
Irodalom
- Schroeder, Ernst // Brockhaus és Efron enciklopédikus szótára : 86 kötetben (82 kötet és további 4 kötet). - Szentpétervár. , 1890-1907.
Linkek
- Elsődleges
- Schröder, E., 1877. Der Operationskreis des Logikkalküls . Lipcse: BG Teubner.
- Schroder, E., 1890-1905. Vorlesungen über die Algebra der Logik , 3 vols. Lipcse: BG Teubner. Reprints: 1966, Chelsea; 2000, Thoemmes Press.
- Vorlesungen über die Algebra der Logik (Exakte Logik) 1. kötet ,
- Vorlesungen über die Algebra der Logik (Exact Logik) 2. kötet, Abt. egy
- Vorlesungen über die Algebra der Logik (Exact Logik) 2. kötet, Abt. 2
- Algebra und Logik der Relative, der Vorlesungen über die Algebra der Logik 3 Volume 3, Abt. egy
- Schröder, E., 1898. "Über zwei Definitionen der Endlichkeit und G. Cantor'sche Sätze ", Abh. Kaiserl. Leop.-Car. Akad. Naturf 71 , 301-362.
- Elsődleges és másodlagos is
- Brady, Geraldine, 2000. Peirce-től Skolemig . Észak-Hollandia. Tartalmazza a Vorlesungen egyes részeinek angol fordítását .
- másodlagos
- Anellis, IH, 1990-91, "Schröder Materials at the Russell Archives", Modern Logic 1 , 237-247.
- Dipert, R.R., 1990/91. "Ernst Schröder élete és munkássága", Modern Logic 1 : 117-139.
- Frege , G., 1960, "E. Schröder Vorlesungen über die Algebra der Logik című művének néhány pontjának kritikus magyarázata ", Geach fordítása, Geach & Black , Translations from the philosophical writes of Gottlob Frege . Blackwell: 86-106. Eredeti: 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). A szimbolikus logika felmérése . 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, "19. századi logika a filozófia és a matematika között", Bulletin of Symbolic Logic 5 : 433-450. Újranyomva: Glen van Brummelen és Michael Kinyon, szerk., 2005. Mathematics and the Historian's Craft. A Kenneth O. May előadásai . Springer: 203-220. Online itt vagy itt .
- Peckhaus, V., 2004. "Schröder's Logic" in Gabbay, Dov M. és John Woods, szerk., Handbook of the History of Logic. Vol. 3: A modern logika felemelkedése: Leibniztől Fregéig . Észak-Hollandia: 557-609.
- Hilary Putnam , 1982, " Peirce the Logician", Historia Mathematica 9 : 290-301. Újranyomva az 1990-es Realism with a Human Face című művében . Harvard University Press: 252-260. online töredék.
- Thiel, C., 1981. "Egy portré, vagy hogyan lehet megkülönböztetni Fregét Schrödertől," History and Philosophy of Logic 2 : 21-23.
 Tematikus oldalak | ||||
|---|---|---|---|---|
| Szótárak és enciklopédiák |
| |||
| ||||