Mostovsky, Andrzej
| andrzej mostowski | |
|---|---|
| Polaco andrzej mostowski | |
| Nombrar al nacer | Polaco Andrzej Stanislaw Mostowski |
| Fecha de nacimiento | 1 de noviembre de 1913 [1] [2] |
| Lugar de nacimiento | |
| Fecha de muerte | 22 de agosto de 1975 [1] [2] (61 años) |
| Un lugar de muerte |
|
| País | |
| Esfera científica | matemáticas , lógica y fundamentos de las matemáticas |
| Lugar de trabajo | |
| alma mater | |
| consejero científico | Alfred Tarski y Kazimir Kuratovsky [5] |
| Estudiantes | Jerzy Pogonowski |
| Premios y premios | Premio Estatal de Polonia [d] ( 1953 , 1966 ) Premio Jurzykowski [d] ( 1972 ) |
| Archivos multimedia en Wikimedia Commons | |
Andrzej Stanisław Mostowski ( en polaco: Andrzej Mostowski , 1913–1975) fue un matemático y lógico polaco , miembro de la Academia de Ciencias de Polonia (1956). Los trabajos están dedicados a los fundamentos de las matemáticas , la lógica matemática , la teoría de conjuntos , la teoría de modelos , la solución de fórmulas recursivas , la aplicación de métodos algebraicos y topológicos en la lógica matemática. Presidente de la Sección de Lógica, Metodología y Filosofía de las Ciencias de la Unión Internacional para la Historia y Filosofía de las Ciencias (1971-1975). Caballero de la Orden del Renacimiento de Polonia [6] (1954), laureado con el Premio Estatal de la República Popular de Polonia (1966) [7] .
Biografía y actividad científica
Nacido en Lemberg ( Austria-Hungría , ahora Lviv, Ucrania). En 1931 ingresó en la Universidad de Varsovia . Fue muy influenciado por Kuratovsky , Lindenbaum y Tarski . En 1939, Mostovsky defendió su tesis; oficialmente su líder era Kuratovsky, pero de hecho era Tarsky.
Después de que la Wehrmacht invadiera Polonia, Mostowski tomó un trabajo como contador, pero continuó trabajando en secreto en la Universidad clandestina de Varsovia. Después del Levantamiento de Varsovia en 1944, los nazis intentaron enviarlo a un campo de concentración, pero con la ayuda de enfermeras polacas, logró escapar al hospital. Una parte significativa de sus trabajos matemáticos inéditos se perdió irremediablemente. En septiembre de 1944, Mostovsky se casó con Maria Matushevskaya.
Después del final de la guerra, trabajó durante algún tiempo en la Universidad de Cracovia , desde 1946 hasta el final de su vida, en la Universidad de Varsovia (profesor asociado desde 1947, profesor desde 1951). En el año académico 1948-1949 trabajó en el Instituto de Estudios Avanzados de Princeton, en 1958-1959 dio clases en la Universidad de California en Berkeley .
Muchos de los resultados de Mostovsky se han incluido en libros de texto. Realizó estudios en profundidad del sistema de axiomas de Zermelo-Fraenkel , modelos de aritmética de segundo orden, estudió los problemas de decidibilidad de las teorías matemáticas, interpretación algebraica de la lógica y lógica multivaluada . Se ocupó mucho de la educación y el desarrollo de la escuela matemática polaca, fue el supervisor de disertaciones de decenas de jóvenes científicos. Entre sus alumnos se encuentra Janusz Onyshkevich .
Grandes obras
Libros- Kuratowski, Kazimierz & Mostowski, Andrzej (1976), Teoría de conjuntos. Con una introducción a la teoría descriptiva de conjuntos , vol. 86 (segunda ed.), Studies in Logic and the Foundations of Mathematics, Amsterdam-Nueva York-Oxford: North-Holland Publishing Co.
- Andrzej Mostowski, Oraciones indecidibles en aritmética formalizada: una exposición de la teoría de Kurt Godel , Holanda Septentrional, Ámsterdam, 1952, ISBN 978-0313231513
- Andrzej Mostowski, Conjuntos construibles con aplicaciones , Holanda Septentrional, Amsterdam, 1969.
- Andrzej Mostowski, "Über die Unabhängigkeit des Wohlordnungssatzes von Ordnungsprinzip". Fundamentos Mathematicae vol. 32, N° 1, arts. 201-252, (1939).
- Andrzej Mostowski, "Sobre conjuntos definibles de enteros positivos" , Fundamenta Mathematicae vol. 34, núm. 1, arts. 81-112, (1947).
- Andrzej Mostowski, "Un théorème sur les nombres cos 2πk/n" , Colloquium Mathematicae vol. 1, no. 3, arts. 195-196, (1948).
- Casimir Kuratowski , Andrzej Mostowski, "Sur un problème de la théorie des groupes et son rapport à la topologie" , Colloquium Mathematicae vol. 2, núm. 3-4, arts. 212-215, (1951).
- Andrzej Mostowski, “Grupos conectados con álgebras booleanas. (Solución parcial del problema P92)” , Colloquium Mathematicae Vol. 2, núm. 3-4, arts. 216-219, (1951).
- Andrzej Mostowski, "Sobre los productos directos de las teorías" , Journal of Symbolic Logic , vol. 17, núm. 1, arts. 1-31, (1952).
- Andrzej Mostowski, "Modelos de sistemas axiomáticos" , Fundamenta Mathematicae vol. 39, núm. 1, arts. 133-158, (1952).
- Andrzej Mostowski, "Sobre un sistema de axiomas que no tiene un modelo aritmético recursivamente enumerable" , Fundamenta Mathematicae vol. 40, núm. 1, arts. 56-61, (1953).
- Andrzej Mostowski, "Una fórmula sin modelo recursivamente enumerable" , Fundamenta Mathematicae vol. 42, núm. 1, arts. 125-140, (1955).
- Andrzej Mostowski, "Ejemplos de conjuntos definibles por medio de dos y tres cuantificadores" , Fundamenta Mathematicae vol. 42, núm. 2, arts. 259-270, (1955).
- Andrzej Mostowski, "Contribuciones a la teoría de conjuntos y funciones definibles" , Fundamenta Mathematicae vol. 42, núm. 2, arts. 271-275, (1955).
- Andrzej Ehrenfeucht, Andrzej Mostowski, "Modelos de teorías axiomáticas que admiten automorfismos" , Fundamenta Mathematicae , vol. 43, núm. 1, arts. 50-68 (1956).
- Andrzej Mostowski, "L'oeuvre scientifique de Jan Łukasiewicz dans le domaine de la logique mathématique" , Fundamenta Mathematicae vol. 44, núm. 1, arts. 1-11, (1957).
- Andrzej Mostowski, "Sobre una generalización de cuantificadores" , Fundamenta Mathematicae vol. 44, núm. 1, arts. 12-36, (1957).
- Andrzej Mostowski, "Sobre secuencias computables" , Fundamenta Mathematicae vol. 44, núm. 1, arts. 37-51, (1957).
- Andrzej Grzegorczyk, Andrzej Mostowski y Czesław Ryll-Nardzewski, "La aritmética clásica y ω-completa" , Journal of Symbolic Logic vol. 23, núm. 2, arts. 188-206, (1958).
- Andrzej Mostowski, "Sobre un problema de W. Kinna y K. Wagner" , Colloquium Mathematicae vol. 6, núm. 1, arts. 207-208, (1958).
- Andrzej Mostowski, "Una generalización del teorema de incompletud" , Fundamenta Mathematicae vol. 49, núm. 2, arts. 205-232, (1961).
- Andrzej Mostowski, "Axiomatizabilidad de algunos cálculos predicados de muchos valores" , Fundamenta Mathematicae vol. 50, núm. 2, arts. 165-190, (1961).
- Yoshindo Suzuki, Andrzej Mostowski, "Sobre los modelos ω que no son modelos β" , Fundamenta Mathematicae vol. 65, núm. 1, arts. 83-93, (1969).
Traducciones al ruso
- Mostovsky A. El estado actual de la investigación sobre los fundamentos de las matemáticas . Uspekhi matematicheskikh nauk , 1954, volumen 9, número 3/61.
- Kuratovsky K., Mostovsky A. Teoría de conjuntos. M.: Mir, 1970. 416 p.
- Mostovsky A. Conjuntos constructivos y sus aplicaciones. M.: Mir, 1973. 256 p. Esta es esencialmente la segunda parte de "Teoría de conjuntos".
Notas
- ↑ 1 2 3 4 5 6 7 MacTutor Archivo de Historia de las Matemáticas
- ↑ 1 2 Andrzej Stanisław Mostowski // Diccionario biográfico en línea polaco (polaco)
- ↑ Biblioteca Nacional Alemana, Biblioteca Estatal de Berlín, Biblioteca Estatal de Baviera , Registro de la Biblioteca Nacional de Austria #118584510 // Control Regulador General (GND) - 2012-2016.
- ↑ https://www.ias.edu/scholars/andrzej-mostowski
- ↑ Genealogía matemática (inglés) - 1997.
- ↑ Uchwała Rady Państwa z dnia 28 września 1954 r. o nadaniu odznaczeń państwowych
- ↑ Matemáticas. Mecánica, 1983 , pág. 336-337.
Literatura
- Bogolyubov A. N. Mostovsky Andrzej // Matemáticas. Mecánica. Guía biográfica . - Kiev: Naukova Dumka , 1983. - S. 336-337. — 639 pág.
Enlaces
- Muravsky R. Filosofía polaca de la lógica y las matemáticas en el período entre las dos guerras mundiales . // Historia de la Ciencia y la Tecnología, N° 8 (2016).
- John J. O'Connor y Edmund F. Robertson . Mostowski, Andrzej - biografía en MacTutor .
 sitios temáticos | ||||
|---|---|---|---|---|
| ||||