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 más conocida como la "madre fundadora de la teoría de la recursión ". [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 permanente como profesora a pesar de que había aprobado sus exámenes para calificar como 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 esta época, también comenzó sus estudios de posgrado.
Inicialmente, Péter comenzó su investigación de posgrado sobre la teoría de números . Al descubrir que sus resultados ya habían sido demostrados por el trabajo de Robert Carmichael y L. E. 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 la incompletitud . [3] Preparó sus propias pruebas, diferentes del trabajo de Gödel. [5]
Péter presentó los resultados de su artículo sobre la teoría recursiva, " Rekursive Funktionen ", en el Congreso Internacional de Matemáticos en Zúrich, Suiza, en 1932. En el verano de 1933, trabajó con Paul Bernays en Göttingen, Alemania, para 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 revista líder de matemáticas, Mathematische Annalen , el primero en 1934. La publicación se realizó bajo el nombre de Politzer-Péter, ya que había cambiado su apellido judío Politzer por Péter ese mismo 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 investigación matemática. [6] [7]
En 1937, fue nombrada editora colaboradora del Journal of Symbolic Logic . [4]
Tras 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 estuvo confinada brevemente en un gueto de Budapest. Durante la Segunda Guerra Mundial, escribió su libro Playing with Infinity: Mathematical Explorations and Excursions , una obra para lectores legos sobre los temas de la teoría de números y la lógica. Publicada originalmente en húngaro, ha sido traducida al inglés y al menos a una docena de otros idiomas. [8]
En 1945, cuando terminó la guerra, Péter recibió su primer puesto como profesora a tiempo completo en la Escuela Normal de Budapest. En 1952, fue la primera mujer húngara en obtener el doctorado académico en matemáticas. Tras el cierre de la Escuela Normal 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" entre 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 la teoría de computadoras). Publicado originalmente en húngaro, fue el segundo libro matemático húngaro que se publicó en la Unión Soviética porque su contenido 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 en ser elegida para la Academia Húngara de Ciencias . [3]