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
Literatura
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.
- 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 |
|
---|
diccionarios y enciclopedias |
|
---|
En catálogos bibliográficos |
---|
|
|