Hispanopedia Wiki
Articulo de referencia

Andrzej Mostowski

[[Alfred Tarski]]"},"doctoral_students":{"wt":"[[Andrzej Ehrenfeucht]] [[Moshé Machover]] [[Helena Rasiowa]] [[Roman Sikorski]] [[Victor W. Marek]] [[Krzysztof R. Apt]] [[Andrze...

Hispanopedia WikiContenido en espanolLectura gratuita

Andrzej Mostowski (1 de noviembre de 1913 – 22 de agosto de 1975) fue un matemático polaco . Trabajó principalmente en lógica y fundamentos de las matemáticas , y es quizás más recordado por el lema del colapso de Mostowski . Fue miembro de la Academia Polaca de Ciencias y representante de la Escuela de Matemáticas de Varsovia .

Biografía

Nacido en Lemberg , Austria-Hungría , Mostowski ingresó en la Universidad de Varsovia en 1931. Recibió la influencia de Kuratowski , Lindenbaum y Tarski . Obtuvo su doctorado en 1939, oficialmente dirigido por Kuratowski , pero en la práctica bajo la dirección de Tarski, quien por aquel entonces era un joven profesor.

Tras la invasión alemana de Polonia, se convirtió en contable, pero continuó trabajando en la Universidad Clandestina 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 con sus investigaciones. Reconstruyó parte de estas investigaciones después de la guerra, pero gran parte se perdió.

En 1954, Mostowski fue condecorado con la Cruz de Caballero de la Orden Polonia Restituta y en 1963 fue elegido miembro de pleno derecho de la PAS . Tras 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 . También trabajó en el Instituto Estatal de Matemáticas , que se incorporó a la Academia Polaca de Ciencias en 1952. [ 1 ]

Su hijo Tadeusz también es matemático y trabaja en geometría diferencial . [ 2 ] Junto con Krzysztof Kurdyka y Adam Parusinski, Tadeusz Mostowski resolvió la conjetura del 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 en lógica y fundamentos de las matemáticas n.º 86, North Holland, MR 0485384 
  • 1952: Sentencias indecidibles en aritmética formalizada: Una exposición de la teoría de Kurt Gödel , North-Holland, Ámsterdam, ISBN 978-0313231513
  • 1969: Conjuntos construibles con aplicaciones , North-Holland, Ámsterdam.

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 enteros positivos" , Fundamenta Mathematicae Vol. 34, No. 1, pp. 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 conectados con álgebras booleanas. (Solución parcial del problema P92)" , Colloquium Mathematicae Vol. 2, No. 3-4, pp. 216-219, (1951).
  • Andrzej Mostowski, "Sobre productos directos de teorías" , Journal of Symbolic Logic , vol. 17, n.º 1, pp. 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, pp. 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, No. 2, pp. 259-270, (1955).
  • Andrzej Mostowski, "Contribuciones a la teoría de conjuntos y funciones definibles" , Fundamenta Mathematicae Vol. 42, No. 2, pp. 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 los cuantificadores" , Fundamenta Mathematicae Vol. 44, No. 1, pp. 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

  1. ↑ "Historia" . impan.pl . Consultado el 7 de diciembre de 2024 .
  2. ↑ "Wydział MIM UW - profesor Tadeusz Mostowski" . Archivado desde el original el 13 de junio de 2011 . Consultado el 23 de febrero de 2010 .
Obtenido de " https://en.wikipedia.org/w/index.php?title=Andrzej_Mostowski&oldid=1361364114 "