Schroeder, Ernest
| Ernst Schroeder | |
|---|---|
| Ernst Schroder | |
| Ernst Schroeder | |
| Fødselsdato | 25. november 1841 |
| Fødselssted | Mannheim |
| Dødsdato | 16. juni 1902 (60 år) |
| Et dødssted | Karlsruhe |
| Land | |
| Videnskabelig sfære | matematik , logik |
| Arbejdsplads | |
| Alma Mater | |
| videnskabelig rådgiver | G. Kirchhoff |
| Mediefiler på Wikimedia Commons | |
Ernst Schröder ( tysk : Ernst Schröder , 25. november 1841 , Mannheim - 16. juni 1902 , Karlsruhe ) var en tysk matematiker og logiker .
Biografi
Efter at have studeret matematik og fysik i Heidelberg og Königsberg , fulgte en habilitering i Zürich i 1865. Professor i matematik ved Darmstadts teknologiske universitet fra 1874, derefter fra 1876 ved det tidligere tekniske universitet i Karlsruhe.
Centralt for hans videnskabelige interesser var grundlaget for matematik , teorien om funktioner og kombinatorisk analyse . I Iterated Functions ( tysk: Ueber iterirte Functionen ; 1871) studerede han funktionelle ligninger , som i dag kaldes Schröder-ligningerne , som spiller en vigtig rolle i teorien om dynamiske systemer . Da logik blev en videnskabelig disciplin i sig selv, begyndte han at beskæftige sig med algebra og symbolsk logik . Hans arbejde med logikkens algebra vandt international berømmelse. Han forbedrede George Booles logik og udviklede i 1877 et komplet system af aksiomer for boolsk algebra . Ernst Schroeder bygger i logikkens trebinds Algebra ( tysk Algebra der Logik ; 1890-1895), i modsætning til Boole, teorien om logisk beregning (hans forfatters navn for moderne matematisk logik) på basis af klasseregning. Han bidrager til udviklingen af relationsalgebra ( en:relation algebra ), introducerer begrebet normalform og udvikler princippet om dualitet i klassisk logik; anvender kvantifier-elimineringsmetoden til spørgsmål om afgørelighed .
Giuseppe Peano fortsatte udviklingen af Schroeder's teori om logik. Norbert Wieners afhandling er relateret til Schröders arbejde ( A comparison between the treatment of the Algebra of Related by Schröder and that by Whitehead and Russell ). Alfred Tarski betragtede Schröders arbejde som grundlæggende for moderne højere algebra og logikkens historie.
Liste over værker
- 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, Leipzig, 1909/1910
Se også
Litteratur
- Schroeder, Ernst // Encyclopedic Dictionary of Brockhaus and Efron : i 86 bind (82 bind og 4 yderligere). - Sankt Petersborg. , 1890-1907.
Links
- Primær
- Schröder, E., 1877. Der Operationskreis des Logikkalküls . Leipzig: BG Teubner.
- Schroder, E., 1890-1905. Vorlesungen über die Algebra der Logik , 3 bind. Leipzig: BG Teubner. Genoptryk: 1966, Chelsea; 2000, Thoemmes Press.
- Vorlesungen über die Algebra der Logik (Exakte Logik) bind 1 ,
- Vorlesungen über die Algebra der Logik (Exact Logik) Volume 2, Abt. en
- Vorlesungen über die Algebra der Logik (Exact Logik) Volume 2, Abt. 2
- Algebra und Logik der Relative, der Vorlesungen über die Algebra der Logik 3 Volume 3, Abt. en
- Schröder, E., 1898. "Über zwei Definitionen der Endlichkeit und G. Cantor'sche Sätze ", Abh. Kaiserl. Leop.-Bil. Akad. Naturf 71 : 301-362.
- Både primær og sekundær
- Brady, Geraldine, 2000. Fra Peirce til Skolem . Nordholland. Indeholder en engelsk oversættelse af dele af Vorlesungen .
- sekundær
- Anellis, IH, 1990-91, "Schröder Materials at the Russell Archives," Modern Logic 1 : 237-247.
- Dipert, R.R., 1990/91. "Ernst Schröders liv og arbejde," Modern Logic 1 : 117-139.
- Frege , G., 1960, "En kritisk belysning af nogle punkter i E. Schröders Vorlesungen über die Algebra der Logik ", oversat af Geach , i Geach & Black , Oversættelser fra Gottlob Freges filosofiske skrifter . Blackwell: 86-106. Original: 1895, Archiv für systematische Philosophie 1 : 433-456.
- Ivor Grattan-Guinness , 2000. Søgningen efter matematiske rødder 1870-1940 . Princeton University Press.
- Clarence Irving Lewis , 1960 (1918). En undersøgelse af symbolsk logik . Dover.
- Peckhaus, V., 1997. Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert . Akademi-Verlag.
- Peckhaus, V., 1999, "19th Century Logic between Philosophy and Mathematics," Bulletin of Symbolic Logic 5 : 433-450. Genoptrykt i Glen van Brummelen og Michael Kinyon, red., 2005. Mathematics and the Historian's Craft. Kenneth O. May-foredragene . Springer: 203-220. Online her eller her .
- Peckhaus, V., 2004. "Schröder's Logic" i Gabbay, Dov M., og John Woods, red., Handbook of the History of Logic. Vol. 3: The Rise of Modern Logic: Fra Leibniz til Frege . Nordholland: 557-609.
- Hilary Putnam , 1982, " Peirce the Logician," Historia Mathematica 9 : 290-301. Genoptrykt i hans 1990 Realism with a Human Face . Harvard University Press: 252-260. online fragment.
- Thiel, C., 1981. "Et portræt, eller, hvordan man fortæller Frege fra Schröder," History and Philosophy of Logic 2 : 21-23.
 Tematiske steder | ||||
|---|---|---|---|---|
| Ordbøger og encyklopædier |
| |||
| ||||