4、羅莎

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