Schroeder, Ernst

Ernst Schröder ( en alemán:  Ernst Schröder , 25 de noviembre de 1841 , Mannheim  - 16 de junio de 1902 , Karlsruhe ) fue un matemático y lógico alemán .

Biografía

Después de estudiar matemáticas y física en Heidelberg y Königsberg , siguió una habilitación en Zúrich en 1865. Profesor de matemáticas en la Universidad Tecnológica de Darmstadt desde 1874, luego desde 1876 en la antigua Universidad Técnica de Karlsruhe.

Para sus intereses científicos eran fundamentales los fundamentos de las matemáticas , la teoría de funciones y el análisis combinatorio . En Funciones iteradas ( alemán:  Ueber iterirte Functionen ; 1871), estudió ecuaciones funcionales , que hoy se denominan ecuaciones de Schröder , que juegan un papel importante en la teoría de sistemas dinámicos . Cuando la lógica se convirtió en una disciplina científica por derecho propio, comenzó a ocuparse del álgebra y la lógica simbólica . Su trabajo sobre el álgebra de la lógica ganó fama internacional. Mejoró la lógica de George Boole y desarrolló en 1877 un sistema completo de axiomas para el álgebra booleana . Ernst Schroeder en los tres volúmenes de Algebra of Logic ( Álgebra der Logik alemana  ; 1890-1895), a diferencia de Boole, construye la teoría del cálculo lógico (el nombre de su autor para la lógica matemática moderna) sobre la base del cálculo de clases. Contribuye al desarrollo del álgebra de relaciones ( en:relation algebra ), introduce el concepto de forma normal y desarrolla el principio de dualidad en la lógica clásica; utiliza el método de eliminación del cuantificador para las cuestiones de decidibilidad .

Giuseppe Peano continuó el desarrollo de la teoría de la lógica de Schroeder. La disertación de Norbert Wiener está relacionada con el trabajo de Schröder ( Una  comparación entre el tratamiento del Álgebra de los parientes por Schröder y el de Whitehead y Russell ). Alfred Tarski consideró el trabajo de Schröder fundamental para el álgebra superior moderna y la historia de la lógica.

Lista de obras

• 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, p. 301-362, Halle, 1898
• Abriß der Algebra der Logik , 2 Teile, Leipzig, 1909/1910

Véase también

• números de Schroeder

Literatura

• Schroeder, Ernst // Diccionario enciclopédico de Brockhaus y Efron  : en 86 volúmenes (82 volúmenes y 4 adicionales). - San Petersburgo. , 1890-1907.

Enlaces

• Primario
  • 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. Reimpresiones: 1966, Chelsea; 2000, Thoemmes Press.
    • Vorlesungen über die Algebra der Logik (Exakte Logik) Volumen 1 ,
    • Vorlesungen über die Algebra der Logik (Lógica exacta) Volumen 2, Abt. una
    • Vorlesungen über die Algebra der Logik (Lógica exacta) Volumen 2, Abt. 2
    • Álgebra und Logik der Relative, der Vorlesungen über die Algebra der Logik 3 Volumen 3, Abt. una
  • Schröder, E., 1898. "Über zwei Definitionen der Endlichkeit und G. Cantor'sche Sätze ", Abh. Káiserl. Leop.-Coche. Akád. Naturf 71 : 301-362.
• Tanto Primaria como Secundaria
  • Brady, Geraldine, 2000. De Peirce a Skolem . Holanda del Norte. Incluye una traducción al inglés de partes de Vorlesungen .
• secundario
  • Anellis, IH, 1990-91, "Materiales de Schröder en los Archivos Russell", Modern Logic 1 : 237-247.
  • Dipert, R.R., 1990/91. "La vida y obra de Ernst Schröder", Modern Logic 1 : 117-139.
  • Frege , G., 1960, "Una elucidación crítica de algunos puntos en Vorlesungen über die Algebra der Logik de E. Schröder ", traducido por Geach , en Geach & Black , Traducciones de los escritos filosóficos de Gottlob Frege . Blackwell: 86-106. Original: 1895, Archiv für systematische Philosophie 1 : 433-456.
  • Ivor Grattan-Guinness , 2000. La búsqueda de raíces matemáticas 1870-1940 . Prensa de la Universidad de Princeton.
  • Clarence Irving Lewis , 1960 (1918). Una revisión de la lógica simbólica . 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, "Lógica del siglo XIX entre la filosofía y las matemáticas", Boletín de lógica simbólica 5 : 433-450. Reimpreso en Glen van Brummelen y Michael Kinyon, eds., 2005. Mathematics and the Historian's Craft. Las conferencias de Kenneth O. May . Springer: 203-220. En línea aquí o aquí .
  • Peckhaus, V., 2004. "La lógica de Schröder" en Gabbay, Dov M. y John Woods, eds., Manual de historia de la lógica. vol. 3: El surgimiento de la lógica moderna: de Leibniz a Frege . Holanda Septentrional: 557-609.
  • Hilary Putnam , 1982, " Peirce the Logician", Historia Mathematica 9 : 290-301. Reimpreso en su Realismo con rostro humano de 1990 . Prensa de la Universidad de Harvard: 252-260. fragmento en línea.
  • Thiel, C., 1981. "Un retrato, o cómo distinguir a Frege de Schröder", Historia y filosofía de la lógica 2 : 21-23.

sitios temáticos	genealogía matemática zbMATH Abierto Archivo de Historia de las Matemáticas MacTutor
diccionarios y enciclopedias	Gran danés Gran catalán Brockhaus y Efron lituano universal Brockhaus Treccani
En catálogos bibliográficos TIERRA : 118761846 UCI : SBLV123938 ISNI : 0000 0001 2276 3488 J9U : 987007296790505171 LCCN : n2008035784 NKC : mub2013789066 NTA : 068378475 NUKAT : n2011210983 SUDOC : 083358579 VIAF : 10641655 WorldCat VIAF : 10641655