stringtranslate.com

Helena Rasiowa

Helena Rasiowa (20 de junio de 1917 - 9 de agosto de 1994) fue una matemática polaca . Trabajó en los fundamentos de las matemáticas y la lógica algebraica .

Primeros años

Rasiowa nació en Viena el 20 de junio de 1917 de padres polacos. Tan pronto como Polonia recuperó su independencia en 1918 , la familia se instaló en Varsovia . El padre de Helena era un especialista en ferrocarriles. Mostró muchas habilidades e intereses diferentes, desde la música hasta la gestión empresarial y el más importante de sus intereses, las matemáticas. [1]

En 1938, el momento no era muy oportuno para ingresar a la universidad. Rasiowa tuvo que interrumpir sus estudios, ya que después de 1939 no era posible realizar estudios jurídicos en Polonia . Mucha gente huyó del país, o al menos de las grandes ciudades, que estaban sujetas al bombardeo y al terror alemanes . La familia Rasiowa también huyó, ya que la mayoría de los altos funcionarios de la administración y miembros del gobierno estaban siendo evacuados a Rumania . La familia pasó un año en Lviv . Después de la invasión soviética en septiembre de 1939, la ciudad pasó a manos de la Unión Soviética. Las vidas de muchos polacos corrieron peligro, por lo que el padre de Helena decidió regresar a Varsovia .

Desarrollo academico

Rasiowa quedó fuertemente influenciado por los lógicos polacos. Escribió su tesis de maestría bajo la dirección de Jan Łukasiewicz y Bolesław Sobociński. En 1944 estalló el Levantamiento de Varsovia y, en consecuencia, Varsovia quedó casi completamente destruida. Esto no se debió sólo a los combates inmediatos, sino también a la destrucción sistemática que siguió al levantamiento después de haber sido reprimido. La tesis de Rasiowa ardió con toda la casa. Ella misma sobrevivió con su madre en un sótano cubierto por las ruinas del edificio derribado.

Después de la guerra, las matemáticas polacas comenzaron a recuperar sus instituciones, sus estados de ánimo y su gente. Los que se quedaron consideraron que su deber era la reconstrucción de las universidades polacas y de la comunidad científica. Una de las condiciones importantes para esta reconstrucción fue reunir a todos aquellos que pudieran participar en la recreación de las matemáticas. Mientras tanto, Rasiowa había aceptado un puesto de profesor en una escuela secundaria. Allí conoció a Andrzej Mostowski y regresó a la universidad. Reescribió su tesis de maestría en 1945 y al año siguiente comenzó su carrera académica como asistente en la Universidad de Varsovia , institución a la que permaneció vinculada por el resto de su vida.

En la universidad, preparó y defendió su tesis doctoral, Tratamiento algebraico de los cálculos funcionales de Lewis y Heyting, en 1950 bajo la dirección del profesor Andrzej Mostowski. Esta tesis sobre lógica algebraica inició su carrera contribuyendo a la escuela de lógica de Lwów-Varsovia : en 1956, obtuvo su segundo título académico, doktor nauk (equivalente a la habilitación actual) en el Instituto de Matemáticas de la Academia de Ciencias de Polonia , donde entre 1954 y 1957 ocupó el cargo de profesora asociada, convirtiéndose en profesora en 1957 y posteriormente en profesora titular en 1967. Para obtener la licenciatura, presentó dos artículos, Modelos algebraicos de teorías axiomáticas y Teorías constructivas , que en conjunto formaron una tesis denominada Modelos algebraicos. de Teorías Elementales y sus Aplicaciones .

Rasiowa fue fundamental en su papel al invitar a muchos matemáticos internacionales, especialmente lógicos, a Polonia a finales de los años 70 y principios de los 80, a pesar de la inestabilidad del país en ese momento. [2] Según el matemático japonés Hiroakira Ono, ella permitió la colaboración gracias a su voluntad de hierro. [3]

Obras

Referencias

  1. ^ W. Bartol, E. Orlowska y A. Skowran (1995) Helena Rasiowa, 1917-1994
  2. ^ Melvin apropiado (2006) Un homenaje a Helena Rasiowa Archivado el 3 de marzo de 2006 en la Wayback Machine.
  3. ^ Nicolás Galatos; Kazushige Terui (2022). Hiroakira Ono sobre lógica subestructural . Cham. ISBN 978-3-030-76920-8. OCLC  1288635200.{{cite book}}: Mantenimiento CS1: falta el editor de la ubicación ( enlace )

enlaces externos