4、罗莎

　　罗莎（Rozsa，1905-1977）——递归函数论之母，匈牙利数理逻辑学家。1922年，罗莎进入布达佩斯的恩奥特弗斯·洛兰德大学读化学。不久，他的兴趣转向了数学。1927年毕业以后，直到1945年以前，整整18年内没有找到一份正式的工作，只是做临时性的教师，以私人身份教点课。不过，在这18年里，她成长为一位世界著名的数理逻辑学家。1932年，她在苏黎世举行的国际数学家大会上作“递归函数”的学术报告。1935年为她的博士论文答辩，1936年在国际数学家大会上作“高阶递归”的演讲。1937年，国际上最权威的《符号逻辑杂志》邀请她参加编辑部的工作。1945-1955年，她是布达佩斯师范学院的教授，其间她出版了《递归函数》一书，是世界上第一部有关递归函数的著作。后来师范学院撤销，她回到母校恩奥特弗斯·洛兰德大学任教授。1973年被选为匈牙利科学院通讯院士。她做了很多数学普及工作，提倡妇女在科学上作贡献。她也是一位社会活动家，晚年注意数学教育，亲自到小学里去研究数学教育改革。1975年退休，1977年因患癌症去世。