Рожа Петер , урожденная Рожа Политцер (17 февраля 1905 – 16 февраля 1977) была венгерским математиком и логиком . Она наиболее известна как «основательница теории рекурсии ». [1] [2]
Петер родился в Будапеште , Венгрия, как Рожа Политцер (венгерский: Politzer Rózsa). Она училась в Университете Пазмани Петера (ныне Университет Этвёша Лоранда ), первоначально изучая химию, но позже переключившись на математику. Она посещала лекции Липота Фейера и Йожефа Кюршака . Во время учебы в университете она познакомилась с Ласло Кальмаром ; они будут сотрудничать в будущем, и Кальмар призвал ее продолжать любить математику. [3]
После окончания университета в 1927 году Петер не смогла найти постоянную должность преподавателя, хотя она сдала экзамены на квалификацию учителя математики. Из-за последствий Великой депрессии многие выпускники университетов не могли найти работу, и Петер начала заниматься частным репетиторством. [4] В это же время она начала свое обучение в аспирантуре.
Первоначально Петер начала свое аспирантское исследование по теории чисел . Узнав, что ее результаты уже были доказаны работами Роберта Кармайкла и Л. Э. Диксона , она оставила математику, чтобы сосредоточиться на поэзии. Однако ее убедил вернуться к математике ее друг Ласло Кальмар , который предложил ей изучить работу Курта Гёделя по теории неполноты . [3] Она подготовила свои собственные, другие доказательства работы Гёделя. [5]
Петер представила результаты своей статьи по рекурсивной теории « Rekursive Funktionen » на Международном конгрессе математиков в Цюрихе, Швейцария, в 1932 году. Летом 1933 года она работала с Полом Бернайсом в Геттингене, Германия, над большой главой о рекурсивных функциях в книге Grundlagen der Mathematik , которая появилась в 1934 году под именами Давида Гильберта и Бернайса. Ее основные результаты обобщены в книге, а также появились в нескольких статьях в ведущем журнале математики Mathematische Annalen , первая из которых вышла в 1934 году. Публикация была под именем Политцер-Петер, поскольку она изменила свою еврейскую фамилию Политцер на Петер в том же году. За свои исследования она получила степень доктора философии с отличием в 1935 году. В 1936 году она представила доклад под названием « Über rekursive Funktionen der zweiten Stufe » на Международном конгрессе математиков в Осло. [3] Эти доклады помогли основать современную область теории рекурсивных функций как отдельную область математических исследований. [6] [7]
В 1937 году она была назначена редактором журнала «Символическая логика» . [4]
После принятия еврейских законов 1939 года в Венгрии Петер запретили преподавать из-за ее еврейского происхождения, и она была на короткое время заключена в гетто в Будапеште. Во время Второй мировой войны она написала свою книгу « Игры с бесконечностью: математические исследования и экскурсии» , работу для неспециалистов по темам теории чисел и логики. Первоначально опубликованная на венгерском языке, она была переведена на английский и по крайней мере на дюжину других языков. [8]
С окончанием войны в 1945 году Петер получила свою первую постоянную должность преподавателя в Будапештском педагогическом колледже. В 1952 году она стала первой венгерской женщиной, получившей академическую степень доктора математики. После закрытия колледжа в 1955 году она преподавала в Университете Лоранда Этвеша до выхода на пенсию в 1975 году. Она была популярным профессором, ее студенты называли ее «тетя Рожа». [4]
В 1951 году она опубликовала свою ключевую работу Rekursive Funktionen , [9] первую книгу по современной логике, написанную женщиной-автором, позже переведенную на английский язык как «Рекурсивные функции» . [10] На протяжении всей своей жизни она продолжала публиковать важные статьи по рекурсивной теории. В 1959 году она представила на Международном симпозиуме в Варшаве крупный доклад « Über die Verallgemeinerung der Theorie der Rekursiven Funktionen für abstrakte Mengen geeigneter Struktur als Definitionsbereiche » (позже опубликованный в двух частях в 1961 [11] и 1962 [12] ). [3]
Начиная с середины 1950-х годов Петер применила теорию рекурсивных функций к компьютерам. Ее последняя книга, опубликованная в 1976 году, называлась Rekursive Funktionen in der Komputer-Theorie (Рекурсивные функции в теории компьютеров). Первоначально опубликованная на венгерском языке, она стала второй венгерской математической книгой, опубликованной в Советском Союзе, поскольку ее предмет считался незаменимым для теории компьютеров . Она была переведена на английский язык в 1981 году. [13] [8]
В 1951 году Петер была удостоена премии Кошута. В 1953 году она получила премию Мано Беке от Математического общества Яноша Бойяи , в 1970 году — Серебряную государственную премию, а в 1973 году — Золотую государственную премию. В 1973 году она стала первой женщиной, избранной в Венгерскую академию наук . [3]