Matemático polaco
Andrzej Mostowski (1 de noviembre de 1913 – 22 de agosto de 1975) fue un matemático polaco . Quizás se lo recuerde más por el lema del colapso de Mostowski .
Biografía
Mostowski nació en Lemberg , Austria-Hungría , e ingresó en la Universidad de Varsovia en 1931. Recibió la influencia de Kuratowski , Lindenbaum y Tarski . Obtuvo su doctorado en 1939, dirigido oficialmente por Kuratowski, pero en la práctica por Tarski , que era un joven profesor en ese momento.
Se convirtió en contable después de la invasión alemana de Polonia , pero continuó trabajando en la Universidad Clandestina de Varsovia . Después del levantamiento de Varsovia de 1944, los nazis intentaron encerrarlo en un campo de concentración. Con la ayuda de algunas enfermeras polacas, escapó a un hospital y decidió llevarse pan en lugar de su cuaderno con sus investigaciones. Reconstruyó parte de estas investigaciones después de la guerra, pero gran parte de ellas se perdieron.
En 1954 Mostowski fue condecorado con la Cruz de Caballero de la Orden de Polonia Restituta y en 1963 elegido miembro de pleno derecho del PAS . Después de la Segunda Guerra Mundial, dirigió las tesis de maestría y doctorado de Rasiowa sobre lógica y fundamentos de las matemáticas.
Su trabajo se centró principalmente en la teoría de la recursión 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 de gradiente de René Thom en 2000.
Véase 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 n.° 86, Holanda Septentrional, MR 0485384
- 1952: Oraciones indecidibles en aritmética formalizada: una exposición de la teoría de Kurt Gödel , Holanda Septentrional, Ámsterdam, ISBN 978-0313231513
- 1969: Conjuntos construibles con aplicaciones , Holanda Septentrional, Amsterdam.
Papeles
- 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 las álgebras de Boole. (Solución parcial del problema P92)", Colloquium Mathematicae Vol. 2, No. 3-4, ss. 216-219, (1951).
- Andrzej Mostowski, "Sobre los productos directos de las teorías", Journal of Symbolic Logic , vol. 17, núm. 1, ss. 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, No. 1, ss. 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, No. 2, ss. 259-270, (1955).
- Andrzej Mostowski, "Contribuciones a la teoría de conjuntos y funciones definibles", Fundamenta Mathematicae Vol. 42, No. 2, ss. 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 múltiples valores", Fundamenta Mathematicae Vol. 50, No. 2, ss. 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