Rózsa Péter , nacida Rózsa Politzer , (17 de febrero de 1905 - 16 de febrero de 1977) fue una matemática y lógica húngara . Es mejor conocida como la "madre fundadora de la teoría de la recursividad ". [1] [2]
Péter nació en Budapest , Hungría, como Rózsa Politzer (húngaro: Politzer Rózsa). Asistió a la Universidad Pázmány Péter (ahora Universidad Eötvös Loránd ), originalmente estudió química pero luego pasó a matemáticas. Asistió a conferencias de Lipót Fejér y József Kürschák . Mientras estaba en la universidad, conoció a László Kalmár ; colaborarían en años futuros y Kalmár la animó a seguir su amor por las matemáticas. [3]
Después de graduarse en 1927, Péter no pudo encontrar un puesto docente permanente a pesar de haber aprobado sus exámenes para obtener el título de profesora de matemáticas. Debido a los efectos de la Gran Depresión , muchos graduados universitarios no pudieron encontrar trabajo y Péter comenzó a dar clases particulares. [4] En este momento, también comenzó sus estudios de posgrado.
Inicialmente, Péter comenzó su investigación de posgrado sobre teoría de números . Al descubrir que sus resultados ya habían sido probados por el trabajo de Robert Carmichael y LE Dickson , abandonó las matemáticas para centrarse en la poesía. Sin embargo, su amigo László Kalmár la convenció de volver a las matemáticas , quien le sugirió que investigara el trabajo de Kurt Gödel sobre la teoría de lo incompleto . [3] Ella preparó sus propias pruebas, diferentes de la obra de Gödel. [5]
Péter presentó los resultados de su artículo sobre teoría recursiva, " Rekursive Funktionen ", en el Congreso Internacional de Matemáticos celebrado en Zurich, Suiza, en 1932. En el verano de 1933, trabajó con Paul Bernays en Göttingen, Alemania, en el largo capítulo sobre funciones recursivas en el libro Grundlagen der Mathematik que apareció en 1934 bajo los nombres de David Hilbert y Bernays. Sus principales resultados se resumen en el libro y también aparecieron en varios artículos en la principal revista de matemáticas, el Mathematische Annalen , el primero en 1934. La publicación se realizó bajo el nombre de Politzer-Péter, ya que ese mismo día había cambiado su apellido judío Politzer por el de Péter. año. Por su investigación, recibió su doctorado summa cum laude en 1935. En 1936, presentó un artículo titulado " Über rekursive Funktionen der zweiten Stufe " en el Congreso Internacional de Matemáticos en Oslo. [3] Estos artículos ayudaron a fundar el campo moderno de la teoría de funciones recursivas como un área separada de la investigación matemática. [6] [7]
En 1937, fue nombrada editora colaboradora del Journal of Symbolic Logic . [4]
Después de la aprobación de las Leyes Judías de 1939 en Hungría, a Péter se le prohibió enseñar debido a su origen judío y fue confinada brevemente en un gueto en Budapest. Durante la Segunda Guerra Mundial, escribió su libro Jugando con el infinito: exploraciones y excursiones matemáticas , una obra para lectores no profesionales sobre temas de teoría de números y lógica. Publicado originalmente en húngaro, ha sido traducido al inglés y al menos a una docena de idiomas más. [8]
Al finalizar la guerra en 1945, Péter obtuvo su primer puesto docente a tiempo completo en la Escuela Normal de Budapest. En 1952, fue la primera mujer húngara en obtener el título de Doctora Académica en Matemáticas. Después del cierre de la universidad en 1955, enseñó en la Universidad Eötvös Loránd hasta su jubilación en 1975. Era una profesora popular, conocida como "tía Rózsa" por sus alumnos. [4]
En 1951, publicó su obra clave Rekursive Funktionen , [9] el primer libro sobre lógica moderna escrito por una autora, posteriormente traducido al inglés como Recursive Functions . [10] Continuó publicando importantes artículos sobre teoría recursiva a lo largo de su vida. En 1959, presentó un importante artículo " Über die Verallgemeinerung der Theorie der rekursiven Funktionen für abstrakte Mengen geeigneter Struktur als Definicionesbereiche " en el Simposio Internacional de Varsovia (posteriormente publicado en dos partes en 1961 [11] y 1962 [12] ). [3]
A mediados de la década de 1950, Péter aplicó la teoría de funciones recursivas a las computadoras. Su último libro, publicado en 1976, fue Rekursive Funktionen in der Komputer-Theorie (Funciones recursivas en teoría informática). Publicado originalmente en húngaro, fue el segundo libro matemático húngaro que se publicó en la Unión Soviética porque su tema se consideraba indispensable para la teoría de las computadoras . Fue traducido al inglés en 1981. [13] [8]
Péter recibió el Premio Kossuth en 1951. Recibió el Premio Manó Beke de la Sociedad Matemática János Bolyai en 1953, el Premio Estatal de Plata en 1970 y el Premio Estatal de Oro en 1973. En 1973, se convirtió en la primera mujer elegida a la Academia de Ciencias de Hungría . [3]