罗莎·彼得

递归函数理论是现代逻辑学的一个专门分支，其基础发展可以追溯到罗莎·彼得（Rózsa Péter）的研究。她原名罗莎·波利策（Rózsa Politzer），出生于布达佩斯，她将对诗歌的短暂兴趣转化为终身的科学事业，最终建立了数学框架，该框架对于理解当代计算机理论中递归过程的运作方式仍然至关重要。

学术背景与早期研究

彼得于1923年至1927年间就读于帕兹马尼·彼得大学（即后来的厄特沃什·罗兰大学）。虽然她最初学习化学，但在听了利波特·费耶尔（Lipót Fejér）和约瑟夫·库尔沙克（József Kürschák）的讲座后，她将重心转向了数学。她在数论领域的早期研究生研究曾遭遇挫折，因为她发现自己关于奇完全数的发现与罗伯特·卡迈克尔（Robert Carmichael）和L. E. 迪克森（L. E. Dickson）已有的研究重复。在同事拉斯洛·卡尔马（László Kalmár）的鼓励下，她转向研究库尔特·哥德尔（Kurt Gödel）的不完备定理。这一思维转变使她于1935年以最优等（summa cum laude）的成绩获得博士学位。

递归理论的发展

1932年，彼得在苏黎世举行的国际数学家大会上介绍了她关于递归函数的发现。1933年，她在哥廷根与保罗·伯奈斯（Paul Bernays）合作，为1934年以大卫·希尔伯特（David Hilbert）和伯奈斯名义出版的《数学基础（Grundlagen der Mathematik）》一书做出了重要贡献。她随后在《数学年鉴（Mathematische Annalen）》杂志上发表的文章正式将递归函数理论确立为一个独特的研究领域。1937年，她成为《符号逻辑杂志（Journal of Symbolic Logic）》的特约编辑。

战时逆境与战后教学

第二次世界大战期间，匈牙利1939年《犹太法》的实施迫使彼得停止教学，并导致她被囚禁在布达佩斯的犹太区。在此期间，她撰写了颇具影响力的书籍《与无穷戏耍（Playing with Infinity）》，旨在让普通读者了解数论和逻辑。战后1945年，她加入了布达佩斯小学教师教育学院。1952年，她成为首位获得数学学术博士学位的匈牙利女性。1955年，她转入厄特沃什·罗兰大学任教，直到1975年退休。

免费测试

你的是多少？

二十道题、八分钟计时，以及与所有参与者对比得出的百分位。无需注册。

开始智商测试 →

对计算机理论的贡献

从20世纪50年代开始，彼得将递归函数理论的原理应用于计算机科学。她的最后一部专著《计算机理论中的递归函数（Rekursive Funktionen in der Komputer-Theorie）》于1976年出版。该文本被认为对计算理论至关重要，并最终在苏联发行。在整个职业生涯中，她始终保持着敬业的教育者角色，并被她的大学学生昵称为“罗莎阿姨”。