matemático polaco
Andrzej Mostowski (1 de noviembre de 1913 - 22 de agosto de 1975) fue un matemático polaco . Quizás se le recuerde mejor por el lema del colapso de Mostowski .
Biografía
Nacido en Lemberg , Austria-Hungría , Mostowski ingresó en la Universidad de Varsovia en 1931. Fue influenciado por Kuratowski , Lindenbaum y Tarski . Su doctorado. Llegó en 1939, oficialmente dirigida por Kuratowski pero en la práctica dirigida por Tarski, que era un joven profesor en ese momento.
Se convirtió en contador después de la invasión alemana de Polonia , pero continuó trabajando en la Universidad Subterránea de Varsovia . Después del levantamiento de Varsovia de 1944, los nazis intentaron internarlo en un campo de concentración. Con la ayuda de algunas enfermeras polacas, escapó a un hospital, prefiriendo llevarse pan en lugar de su cuaderno que contenía su investigación. Parte de esta investigación la reconstruyó después de la guerra, aunque gran parte permaneció perdida.
En 1954 Mostowski recibió la Cruz de Caballero de la Orden de Polonia Restituta y en 1963 fue elegido miembro real del PAS . Después de la Segunda Guerra Mundial supervisó las tesis de maestría y doctorado de Rasiowa en lógica y fundamentos de las matemáticas.
Su trabajo se centró en gran medida en la teoría de la recursividad y la indecidibilidad . Desde 1946 hasta su muerte en Vancouver, Columbia Británica , Canadá, trabajó en la Universidad de Varsovia . Gran parte de su trabajo, durante ese tiempo, se centró en la lógica de primer orden y la teoría de modelos .
Su hijo Tadeusz también es matemático y trabaja en geometría diferencial . [1] Con Krzysztof Kurdyka y Adam Parusinski, Tadeusz Mostowski resolvió la conjetura del gradiente de René Thom en 2000.
Ver también
Obras
Libros
- 1968 y 1976: (con Kazimierz Kuratowski ) Teoría de conjuntos. Con una introducción a la teoría descriptiva de conjuntos , Estudios de lógica y fundamentos de las matemáticas #86, Holanda Septentrional, MR 0485384
- 1952: Oraciones indecidibles en aritmética formalizada: una exposición de la teoría de Kurt Godel , Holanda Septentrional, Ámsterdam, ISBN 978-0313231513
- 1969: Conjuntos construibles con aplicaciones , Holanda Septentrional, Ámsterdam.
Documentos
- Andrzej Mostowski, "Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip". Fundamentos Mathematicae vol. 32, núm. 1, arts. 201-252, (1939).
- Andrzej Mostowski, "Sobre conjuntos definibles de números 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, núm. 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úms. 3-4, arts. 212-215, (1951).
- Andrzej Mostowski, "Grupos relacionados con álgebras de Boole. (Solución parcial del problema P92)", Colloquium Mathematicae vol. 2, núms. 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 mediante 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, "La obra científica de Jan Łukasiewicz en el dominio de la lógica matemática", 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 incompletitud", Fundamenta Mathematicae vol. 49, núm. 2, arts. 205-232, (1961).
- Andrzej Mostowski, "Axiomatizabilidad de algunos cálculos de predicados de muchos valores", Fundamenta Mathematicae vol. 50, núm. 2, arts. 165-190, (1961).
- Yoshindo Suzuki, Andrzej Mostowski, "Sobre modelos ω que no son modelos β", Fundamenta Mathematicae vol. 65, núm. 1, arts. 83-93, (1969).
Referencias
- ^ "Wydział MIM UW - profesor Tadeusz Mostowski". Archivado desde el original el 13 de junio de 2011 . Consultado el 23 de febrero de 2010 .
enlaces externos