4、羅莎

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