4、羅莎

　　羅莎（Rozsa，1905-1977）——遞歸函數論之母，匈牙利數理邏輯學家。1922年，羅莎進入布達佩斯的恩奧特弗斯·洛蘭德大學讀化學。不久，他的興趣轉向了數學。1927年畢業以后，直到1945年以前，整整18年內沒有找到一份正式的工作，只是做臨時性的教師，以私人身份教點課。不過，在這18年里，她成長為一位世界著名的數理邏輯學家。1932年，她在蘇黎世舉行的國際數學家大會上作“遞歸函數”的學術報告。1935年為她的博士論文答辯，1936年在國際數學家大會上作“高階遞歸”的演講。1937年，國際上最權威的《符號邏輯雜志》邀請她參加編輯部的工作。1945-1955年，她是布達佩斯師范學院的教授，其間她出版了《遞歸函數》一書，是世界上第一部有關遞歸函數的著作。后來師范學院撤銷，她回到母校恩奧特弗斯·洛蘭德大學任教授。1973年被選為匈牙利科學院通訊院士。她做了很多數學普及工作，提倡婦女在科學上作貢獻。她也是一位社會活動家，晚年注意數學教育，親自到小學里去研究數學教育改革。1975年退休，1977年因患癌癥去世。