Schröder, Ernst
| Ernst Schröder | |
|---|---|
| Ernst Schröder | |
| Ernst Schröder | |
| Födelsedatum | 25 november 1841 |
| Födelseort | Mannheim |
| Dödsdatum | 16 juni 1902 (60 år) |
| En plats för döden | Karlsruhe |
| Land | |
| Vetenskaplig sfär | matematik , logik |
| Arbetsplats | |
| Alma mater | |
| vetenskaplig rådgivare | G. Kirchhoff |
| Mediafiler på Wikimedia Commons | |
Ernst Schröder ( tyska: Ernst Schröder , 25 november 1841 , Mannheim - 16 juni 1902 , Karlsruhe ) var en tysk matematiker och logiker .
Biografi
Efter att ha studerat matematik och fysik i Heidelberg och Königsberg följde en habilitering i Zürich 1865. Professor i matematik vid tekniska universitetet i Darmstadt från 1874, därefter från 1876 vid det tidigare tekniska universitetet i Karlsruhe.
Centralt för hans vetenskapliga intressen var grunderna för matematik , teorin om funktioner och kombinatorisk analys . I Iterated Functions ( tyska: Ueber iterirte Functionen ; 1871) studerade han funktionella ekvationer , som idag kallas Schröder-ekvationerna , som spelar en viktig roll i teorin om dynamiska system . När logik blev en vetenskaplig disciplin i sin egen rätt började han ta itu med algebra och symbolisk logik . Hans arbete med logikens algebra fick internationell berömmelse. Han förbättrade logiken hos George Boole och utvecklade 1877 ett komplett system av axiom för boolesk algebra . Ernst Schroeder bygger i trevolymen Algebra of Logik ( German Algebra der Logik ; 1890-1895), till skillnad från Boole, teorin om logisk kalkyl (hans författares namn för modern matematisk logik) på basis av klasskalkyl. Han bidrar till utvecklingen av relationsalgebra ( en:relation algebra ), introducerar begreppet normalform och utvecklar dualitetsprincipen i klassisk logik; använder metoden för eliminering av kvantifierare för avgörbarhetsfrågor .
Giuseppe Peano fortsatte utvecklingen av Schroeders teori om logik. Norbert Wieners avhandling är relaterad till Schröders arbete ( A comparison between the treatment of the Algebra of Relations by Schröder and that by Whitehead and Russell ). Alfred Tarski ansåg att Schröders arbete var grundläggande för modern högre algebra och logikens historia.
Lista över verk
- 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 även
Litteratur
- Schroeder, Ernst // Encyclopedic Dictionary of Brockhaus and Efron : i 86 volymer (82 volymer och ytterligare 4). - St Petersburg. 1890-1907.
Länkar
- Primär
- Schröder, E., 1877. Der Operationskreis des Logikkalküls . Leipzig: BG Teubner.
- Schröder, E., 1890-1905. Vorlesungen über die Algebra der Logik , 3 vols. Leipzig: BG Teubner. Omtryck: 1966, Chelsea; 2000, Thoemmes Press.
- Vorlesungen über die Algebra der Logik (Exakte Logik) Volym 1 ,
- Vorlesungen über die Algebra der Logik (Exact Logik) Volym 2, Abt. ett
- Vorlesungen über die Algebra der Logik (Exact Logik) Volym 2, Abt. 2
- Algebra und Logik der Relative, der Vorlesungen über die Algebra der Logik 3 Volume 3, Abt. ett
- 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 och sekundär
- Brady, Geraldine, 2000. Från Peirce till Skolem . Norra Holland. Inkluderar en engelsk översättning av delar av 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 och verk," Modern Logic 1 : 117-139.
- Frege , G., 1960, "En kritisk förklaring av några punkter i E. Schröders Vorlesungen über die Algebra der Logik ", översatt av Geach , i Geach & Black , Översättningar från Gottlob Freges filosofiska skrifter . Blackwell: 86-106. Original: 1895, Archiv für systematische Philosophie 1 : 433-456.
- Ivor Grattan-Guinness , 2000. Sökandet efter matematiska rötter 1870-1940 . Princeton University Press.
- Clarence Irving Lewis , 1960 (1918). En undersökning av symbolisk 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. Återtryckt i Glen van Brummelen och Michael Kinyon, red., 2005. Mathematics and the Historian's Craft. Kenneth O. May-föreläsningarna . Springer: 203-220. Online här eller här .
- Peckhaus, V., 2004. "Schröder's Logic" i Gabbay, Dov M., och John Woods, red., Handbook of the History of Logic. Vol. 3: The Rise of Modern Logic: Från Leibniz till Frege . Norra Holland: 557-609.
- Hilary Putnam , 1982, " Peirce the Logician," Historia Mathematica 9 : 290-301. Återtryckt i hans 1990 Realism with a Human Face . Harvard University Press: 252-260. online-fragment.
- Thiel, C., 1981. "A portrait, or, how to tell Frege from Schröder," History and Philosophy of Logic 2 : 21-23.
 Tematiska platser | ||||
|---|---|---|---|---|
| Ordböcker och uppslagsverk |
| |||
| ||||