Ernst Zermelo

Ernst Zermelo
Ernst Zermelo
	Ernst Zermelo en el siglo XX
Nacido	( 27 de julio de 1871 )27 de julio de 1871; Berlín , Imperio alemán
Fallecido	21 de mayo de 1953 (21 de mayo de 1953)(81 años); Friburgo de Brisgovia , Alemania Occidental
Nacionalidad	Alemán
Alma máter	Universidad de Berlín
Conocido por	Teoría de conjuntos de Zermelo; Teoría de conjuntos de Zermelo-Fraenkel; El problema de navegación de Zermelo; Ordinal de Zermelo; Teorema de Zermelo; Teorema de Zermelo (teoría de juegos);
Cónyuge	Gertrud Seekamp (1944 – muerte)
Premios	Premio en memoria de Ackermann-Teubner (1916)
	Carrera científica
Campos	Matemáticas
Instituciones	Universidad de Zúrich
Asesor de doctorado	Lázaro Fuchs; Hermann Schwarz;
Estudiantes de doctorado	Stefan Straszewicz [pl]

Lógico y matemático alemán (1871-1953)

Ernst Friedrich Ferdinand Zermelo ( / zɜːrˈmɛl oʊ / , alemán: [ tsɛɐ̯ˈmeːlo] ; 27 de julio de 1871 - 21 de mayo de 1953) fue un lógico y matemático alemán, cuyo trabajo tiene importantes implicaciones para los fundamentos de las matemáticas . Es conocido por su papel en el desarrollo de la teoría de conjuntos axiomáticos de Zermelo-Fraenkel y su prueba del teorema de buen orden . Además, su trabajo de 1929 ^{[1] sobre la clasificación de los jugadores de ajedrez es la primera descripción de un modelo de}comparación por pares que sigue teniendo un profundo impacto en varios campos aplicados que utilizan este método.

Vida

Ernst Zermelo se graduó en el Luisenstädtisches Gymnasium de Berlín (actualmente Heinrich-Schliemann-Oberschule [de] ) en 1889. Luego estudió matemáticas , física y filosofía en la Universidad de Berlín , la Universidad de Halle y la Universidad de Friburgo . Terminó su doctorado en 1894 en la Universidad de Berlín, otorgado por una disertación sobre el cálculo de variaciones ( Untersuchungen zur Variationsrechnung ). Zermelo permaneció en la Universidad de Berlín, donde fue nombrado asistente de Planck , bajo cuya guía comenzó a estudiar hidrodinámica . En 1897, Zermelo fue a la Universidad de Gotinga , en ese momento el principal centro de investigación matemática en el mundo, donde completó su tesis de habilitación en 1899.

En 1910, Zermelo dejó Gotinga al ser nombrado presidente de matemáticas en la Universidad de Zúrich , a la que renunció en 1916. Fue nombrado presidente honorario de la Universidad de Friburgo en 1926, a la que renunció en 1935 porque desaprobaba el régimen de Adolf Hitler . ^[2] Al final de la Segunda Guerra Mundial y a petición suya, Zermelo fue restituido en su puesto honorario en Friburgo.

Investigación en teoría de conjuntos

En 1900, en la conferencia de París del Congreso Internacional de Matemáticos , David Hilbert desafió a la comunidad matemática con sus famosos problemas de Hilbert , una lista de 23 cuestiones fundamentales sin resolver que los matemáticos deberían abordar durante el siglo siguiente. El primero de ellos, un problema de teoría de conjuntos , fue la hipótesis del continuo introducida por Cantor en 1878, y en el curso de su enunciado Hilbert mencionó también la necesidad de demostrar el teorema del buen orden .

Zermelo comenzó a trabajar en los problemas de la teoría de conjuntos bajo la influencia de Hilbert y en 1902 publicó su primer trabajo sobre la adición de cardinales transfinitos . Para entonces también había descubierto la llamada paradoja de Russell . En 1904, logró dar el primer paso sugerido por Hilbert hacia la hipótesis del continuo cuando demostró el teorema de buen orden ( todo conjunto puede estar bien ordenado ). Este resultado le dio fama a Zermelo, quien fue nombrado profesor en Gotinga, en 1905. Su demostración del teorema de buen orden , basada en el axioma de los conjuntos potencia y el axioma de elección , no fue aceptada por todos los matemáticos, principalmente porque el axioma de elección era un paradigma de las matemáticas no constructivas. En 1908, Zermelo logró producir una demostración mejorada haciendo uso de la noción de "cadena" de un conjunto de Dedekind, que fue aceptada más ampliamente; Esto se debió principalmente a que ese mismo año también ofreció una axiomatización de la teoría de conjuntos.

Zermelo comenzó a axiomatizar la teoría de conjuntos en 1905; en 1908 publicó sus resultados a pesar de no haber podido demostrar la consistencia de su sistema axiomático. Véase el artículo sobre la teoría de conjuntos de Zermelo para obtener un esquema de este trabajo, junto con los axiomas originales y la numeración original.

En 1922, Abraham Fraenkel y Thoralf Skolem mejoraron de forma independiente el sistema de axiomas de Zermelo. El sistema resultante, ahora llamado axiomas de Zermelo-Fraenkel (ZF), es actualmente el sistema más utilizado para la teoría axiomática de conjuntos .

El problema de navegación de Zermelo

Propuesto en 1931, el problema de navegación de Zermelo es un problema clásico de control óptimo . El problema trata de un barco que navega en una masa de agua, partiendo de un punto O hasta un punto de destino D. El barco es capaz de alcanzar una determinada velocidad máxima y queremos obtener el mejor control posible para llegar a D en el menor tiempo posible.

Sin tener en cuenta fuerzas externas como la corriente y el viento, el control óptimo es que el barco se dirija siempre hacia D. Su trayectoria es entonces un segmento de línea de O a D, lo que es trivialmente óptimo. Teniendo en cuenta la corriente y el viento, si la fuerza combinada aplicada al barco no es cero, el control en ausencia de corriente y viento no da como resultado la trayectoria óptima.

Publicaciones

Zermelo, Ernst (2013), Ebbinghaus, Heinz-Dieter; Fraser, Craig G.; Kanamori, Akihiro (eds.), Ernst Zermelo: obras completas. vol. I. Teoría de conjuntos, miscelánea , Schriften der Mathematisch-Naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften, vol. 21, Berlín: Springer-Verlag, doi :10.1007/978-3-540-79384-7, ISBN 978-3-540-79383-0, Sr. 2640544
Zermelo, Ernst (2013), Ebbinghaus, Heinz-Dieter; Kanamori, Akihiro (eds.), Ernst Zermelo: obras completas. vol. II. Cálculo de variaciones, matemáticas aplicadas y física , Schriften der Mathematisch-Naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften, vol. 23, Berlín: Springer-Verlag, doi :10.1007/978-3-540-70856-8, ISBN 978-3-540-70855-1, Sr. 3137671
Jean van Heijenoort , 1967. De Frege a Gödel: un libro de referencia sobre lógica matemática, 1879-1931 . Harvard Univ. Press.
- 1904. "Prueba de que todo conjunto puede estar bien ordenado", 139−41.
- 1908. "Una nueva prueba de la posibilidad del buen orden", 183–98.
- 1908. "Investigaciones sobre los fundamentos de la teoría de conjuntos I", 199–215.
1913. "Sobre una aplicación de la teoría de conjuntos a la teoría del juego de ajedrez" en Rasmusen E., ed., 2001. Lecturas en Juegos e Información , Wiley-Blackwell: 79–82.
1930. "Sobre números de frontera y dominios de conjuntos: nuevas investigaciones sobre los fundamentos de la teoría de conjuntos" en Ewald, William B., ed., 1996. De Kant a Hilbert: un libro de consulta sobre los fundamentos de las matemáticas , 2 vols. Oxford University Press : 1219–33.

Obras de otros:

El axioma de elección de Zermelo, sus orígenes, desarrollo e influencia, Gregory H. Moore, volumen 8 de Estudios en la historia de las matemáticas y las ciencias físicas, Springer Verlag, Nueva York, 1982.

Véase también

Referencias

Grattan-Guinness, Ivor (2000). La búsqueda de raíces matemáticas 1870-1940 . Princeton University Press.
Ebbinghaus, Heinz-Dieter (2007). Ernst Zermelo: Una aproximación a su vida y su obra . Springer. ISBN 978-3-642-08050-0.
Kanamori, Akihiro (2004). "Zermelo y la teoría de conjuntos". El Boletín de Lógica Simbólica . 10 (4): 487–553. doi : 10.2178/bsl/1102083759. SEÑOR 2136635. S2CID 231795240.
Schwalbe, Ulrich; Walker, Paul (2001). "Zermelo y la historia temprana de la teoría de juegos" (PDF) . Juegos y comportamiento económico . 34 (1): 123–137. doi :10.1006/game.2000.0794. Archivado desde el original (PDF) el 1 de abril de 2017.
Van Dalen, Dirk; Ebbinghaus, Heinz-Dieter (junio de 2000). "Zermelo y la paradoja de Skolem". Boletín de lógica simbólica . 6 (2): 145–161. CiteSeerX 10.1.1.137.3354 . doi :10.2307/421203. hdl :1874/27769. JSTOR 421203. S2CID 8530810.

Citas

^ Zermelo, Ernst (1929). "Die Berechnung der Turnier-Ergebnisse als ein Maximumproblem der Wahrscheinlichkeitsrechnung". Mathematische Zeitschrift (en alemán). 29 (1): 436–460. doi :10.1007/BF01180541. S2CID 122877703.
^ Kaplansky, Irving (2020). Teoría de conjuntos y espacios métricos . Providence: American Mathematical Society. págs. 36-37. ISBN 978-1-4704-6384-7.

Enlaces externos

Obras de o sobre Ernst Zermelo en Internet Archive
O'Connor, John J.; Robertson, Edmund F. , "Ernst Zermelo", Archivo de Historia de las Matemáticas MacTutor , Universidad de St Andrews
Navegación Zermelo

[1] Zermelo, Ernst (1929). "Die Berechnung der Turnier-Ergebnisse als ein Maximumproblem der Wahrscheinlichkeitsrechnung". Mathematische Zeitschrift (en alemán). 29 (1): 436–460. doi :10.1007/BF01180541. S2CID 122877703.

[2] Kaplansky, Irving (2020). Teoría de conjuntos y espacios métricos . Providence: American Mathematical Society. págs. 36-37. ISBN 978-1-4704-6384-7.