Matemáticos

Línea de Tiempo Fotos Dinero Estampillas Bosquejo Búsqueda

Helena Rasiowa

Fecha del nacimiento:

Lugar del nacimiento:

Fecha de la muerte:

Lugar de la muerte:

20 June 1917

Vienna, Austria

9 Aug 1994

Warsaw, Poland

Presentación
ATENCIÓN - traducción automática de la versión inglesa

Aunque Helena Rasiowa nació en Viena, sus padres eran polacos. En 1918 Polonia recuperó su condición de nación independiente y los padres Rasiowa se trasladó a Varsovia. Fue educada allí, la obtención de una buena educación de escuela secundaria con clases de música tomada en una escuela de música especial. Después de completar sus estudios en la escuela tomó un curso en gestión de empresas antes de entrar a la universidad.

Rasiowa entró en la Universidad de Varsovia en 1938, pero, después de la invasión alemana de Polonia en 1939, la universidad cerrada. Rasiowa y sus padres se trasladaron a Lvov, pero los polacos estaban atrapados entre los soviéticos y los alemanes y Lvov quedó bajo control soviético. La vida allí parecía aún más difícil que bajo la ocupación alemana, por lo que después de un año la familia regresó a Varsovia.

Hubo una impresionante colección de los matemáticos de la Universidad de Varsovia, en este momento, incluyendo Borsuk, Lukasiewicz, Mazurkiewicz, Sierpinski, Mostowski y otros. Se había organizado una versión de metro de la universidad que se opusieron firmemente a las autoridades nazis. Borsuk, por ejemplo, fue encarcelado después de que las autoridades encontraron que estaba ayudando a la Universidad de metro.

En esta peligrosa situación matemáticas Rasiowa aprendido, sabiendo que se descubren las sanciones por fueron extraordinarios. Yet in this environment Rasiowa studied for her Master's Degree under Lukasiewicz 's supervision.

Cuando las fuerzas soviéticas se acercaron a Varsovia en 1944, la resistencia de Varsovia se levantaron contra la guarnición alemana debilitada. Sin embargo los refuerzos alemanes llegaron y sofocar la resistencia. Alrededor de 160.000 personas murieron en el levantamiento de Varsovia de 1944 y la ciudad quedó en un estado de devastación casi total. Rasiowa tiempo durante el levantamiento se describe en:

En 1944 el levantamiento de Varsovia estalló y, en consecuencia, Varsovia fue destruida casi por completo, no sólo por la guerra, sino también por la destrucción sistemática que siguió a la insurrección después de haber sido aplastado hacia abajo. Tesis Rasiowa quemaron junto con toda la casa. Ella sobrevivió con su madre en un sótano cubierto por las ruinas del edificio demolido.

Después de la guerra Rasiowa enseñó en una escuela secundaria, mientras que su supervisor Lukasiewicz marchó de Polonia después de la terrible sufrimiento que había pasado. Sin embargo, recordó Mostowski trabajo impresionante Rasiowa y la persuadió para regresar a la Universidad de Varsovia, para completar una tesis de maestría segunda bajo su supervisión.

En 1946, habiendo obtenido su maestría, fue nombrada como asistente en la Universidad de Varsovia y siguió trabajando para su doctorado en Mostowski 's supervisión. Su tesis, presentada en 1950, era el álgebra y la lógica algebraica tratamiento del cálculo funcional de Lewis y Heyting y estos temas se los principales ámbitos de su investigación durante toda su vida.

Rasiowa fue promovido de manera constante, alcanzando el rango de Profesor en 1957 y Profesor Titular en 1967. Llevó a los fundamentos de la Sección de Matemáticas de 1964 y la Sección de la lógica matemática después de su creación en 1970.

Su investigación principal fue en la lógica algebraica y los fundamentos matemáticos de la informática. En la lógica algebraica, continuó el trabajo por correo, Stone, Tarski y Lukasiewicz:

... destinadas a encontrar una descripción precisa de la estructura matemática de los sistemas de lógica formal.

Por supuesto, el trabajo Rasiowa en la lógica algebraica fue precisamente en la zona el derecho a hacer de ella una contribución natural a la ciencia de la computación teórica. Sin embargo, una cosa es estar en la zona de la derecha y otra a tener la capacidad de ver la importancia de una nueva asignatura, como la informática. Sus contribuciones se describen en:

Su contribución a la ciencia de la computación teórica proviene de su convicción de que hay profundas relaciones entre los métodos del álgebra y la lógica, por un lado y los problemas esenciales de los fundamentos de la informática en el otro. Entre estos problemas se distinguen claramente los métodos de inferencia característica de la informática y sus aplicaciones. Esta convicción de la suya había sido apoyada por sus resultados en muchos valores y lógicas no clásicas, sobre todo en las aplicaciones de la generalización de las álgebras de varios envíos a las lógicas de los programas y la lógica de aproximación.

En hecho Rasiowa introdujo en 1984 un concepto importante de la inferencia de que la información básica incompleta. Esto condujo a un razonamiento aproximado y lógica aproximado que ahora son fundamentales para el estudio de la inteligencia artificial.

Rasiowa Escribió unos 100 artículos, libros y monografías. También supervisó la tesis doctoral de más de 20 estudiantes. Sin embargo, sus contribuciones no se limitan a la investigación. Ella ayudó a crear la revista Fundamenta Informaticae la que fue editor en jefe de su creación en 1977 hasta su muerte. Además de estas tareas editoriales que también estaba reuniendo Editor de Studia Logica de 1974 y, desde 1986, editor asociado del Journal of Razonamiento aproximado.

Ella también desempeñó un papel importante en la vida matemática de Polonia. Un miembro de la Sociedad Matemática Polaca, fue su secretario en 1955-57 y de su vice-presidente en 1958/59. Ella sirvió en la Comisión de Matemáticas de la Academia Polaca de Ciencias y presidido varias comisiones del Ministerio polaco de Ciencia y Educación Superior. Fue en parte a través de sus esfuerzos que la Sociedad Polaca de Lógica y Filosofía de la Ciencia se creó.

El derecho Rasiowa permaneció activo hasta su muerte, después de haber completado ocho capítulos de una nueva monografía análisis algebraico de lógicas no clásicas de primer orden antes de entrar en el hospital con su última enfermedad.

Source:School of Mathematics and Statistics University of St Andrews, Scotland