Schroeder, Ernest

Ernst Schröder ( germană :  Ernst Schröder , 25 noiembrie 1841 , Mannheim  - 16 iunie 1902 , Karlsruhe ) a fost un matematician și logician german .

Biografie

După ce a studiat matematica și fizica la Heidelberg și Königsberg , a urmat o abilitare la Zurich în 1865. Profesor de matematică la Universitatea de Tehnologie din Darmstadt din 1874, apoi din 1876 la fosta Universitatea Tehnică din Karlsruhe.

În centrul intereselor sale științifice au fost bazele matematicii , teoria funcțiilor și analiza combinatorie . În Iterated Functions ( germană:  Ueber iterirte Functionen ; 1871), el a studiat ecuațiile funcționale , care astăzi sunt numite Ecuații Schröder , care joacă un rol important în teoria sistemelor dinamice . Când logica a devenit o disciplină științifică în sine, el a început să se ocupe de algebră și logica simbolică . Lucrarea sa despre algebra logicii a câștigat faimă internațională. El a îmbunătățit logica lui George Boole și a dezvoltat în 1877 un sistem complet de axiome pentru algebra booleană . Ernst Schroeder în trei volume Algebra logicii ( German  Algebra der Logik ; 1890-1895), spre deosebire de Boole, construiește teoria calculului logic (numele autorului său pentru logica matematică modernă) pe baza calculului de clasă. El contribuie la dezvoltarea algebrei de relații ( en:relation algebra ), introduce conceptul de formă normală și dezvoltă principiul dualității în logica clasică; folosește metoda eliminării cuantificatorului pentru întrebările de decizie .

Giuseppe Peano a continuat dezvoltarea teoriei logicii a lui Schroeder. Disertația lui Norbert Wiener este legată de lucrarea lui Schröder ( A  comparație între tratarea Algebrei rudelor de către Schröder și cea de Whitehead și Russell ). Alfred Tarski a considerat lucrarea lui Schröder fundamentală pentru algebra superioară modernă și pentru istoria logicii.

Lista lucrărilor

• 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

Vezi și

• numerele Schroeder

Literatură

• Schroeder, Ernst // Dicționar enciclopedic al lui Brockhaus și Efron  : în 86 de volume (82 de volume și 4 suplimentare). - Sankt Petersburg. , 1890-1907.

Link -uri

• Primar
  • Schröder, E., 1877. Der Operationskreis des Logikkalküls . Leipzig: BG Teubner.
  • Schroder, E., 1890-1905. Vorlesungen über die Algebra der Logik , 3 vol. Leipzig: BG Teubner. Retipăriri: 1966, Chelsea; 2000, Thoemmes Press.
    • Vorlesungen über die Algebra der Logik (Exakte Logik) Volumul 1 ,
    • Vorlesungen über die Algebra der Logik (Logica exactă) Volumul 2, Abt. unu
    • Vorlesungen über die Algebra der Logik (Logica exactă) Volumul 2, Abt. 2
    • Algebra und Logik der Relative, der Vorlesungen über die Algebra der Logik 3 Volumul 3, Abt. unu
  • Schröder, E., 1898. „Über zwei Definitionen der Endlichkeit und G. Cantor'sche Sätze ”, Abh. Kaiserl. Leop.-Car. Akad. Naturf 71 : 301-362.
• Atât Primar, cât și Secundar
  • Brady, Geraldine, 2000. De la Peirce la Skolem . Olanda de Nord. Include o traducere în engleză a unor părți din Vorlesungen .
• secundar
  • Anellis, IH, 1990-91, „Materiale Schröder la Arhivele Russell”, Modern Logic 1 : 237-247.
  • Dipert, R.R., 1990/91. „Viața și opera lui Ernst Schröder”, Modern Logic 1 : 117-139.
  • Frege , G., 1960, „A critical elucidation of some points in E. Schröder's Vorlesungen über die Algebra der Logik ”, tradus de Geach , în Geach & Black , Translations from the philosophical writings of Gottlob Frege . Blackwell: 86-106. Original: 1895, Archiv für systematische Philosophie 1 : 433-456.
  • Ivor Grattan-Guinness , 2000. Căutarea rădăcinilor matematice 1870-1940 . Princeton University Press.
  • Clarence Irving Lewis , 1960 (1918). Un studiu asupra logicii simbolice . Dover.
  • Peckhaus, V., 1997. Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert . Academia-Verlag.
  • Peckhaus, V., 1999, „Logica secolului al XIX-lea între filozofie și matematică”, Buletinul de logică simbolică 5 : 433-450. Retipărit în Glen van Brummelen și Michael Kinyon, eds., 2005. Mathematics and the Historian's Craft. Prelegerile Kenneth O. May . Springer: 203-220. Online aici sau aici .
  • Peckhaus, V., 2004. „Schröder's Logic” în Gabbay, Dov M., and John Woods, eds., Handbook of the History of Logic. Vol. 3: Ascensiunea logicii moderne: de la Leibniz la Frege . Olanda de Nord: 557-609.
  • Hilary Putnam , 1982, „ Peirce the Logician”, Historia Mathematica 9 : 290-301. Retipărit în 1990, Realismul cu chip uman . Harvard University Press: 252-260. fragment online.
  • Thiel, C., 1981. „A portrait, or, how to tell Frege from Schröder”, History and Philosophy of Logic 2 : 21-23.

Site-uri tematice	Genealogie matematică zbMATH Deschide Arhiva pentru Istoria Matematicii MacTutor
Dicționare și enciclopedii	mare danez Mare catalană Brockhaus și Efron universal lituanian Brockhaus Treccani
În cataloagele bibliografice GND : 118761846 ICCU : SBLV123938 ISNI : 0000 0001 2276 3488 J9U : 987007296790505171 LCCN : n2008035784 NKC : mub2013789066 NTA : 068378475 NUKAT : n2011210983 SUDOC : 083358579 VIAF : 10641655 WorldCat VIAF : 10641655