Питер Розса

Родная форма этого личного имени — Петер Рожа . В этой статье при упоминании людей используется западный порядок имен .

Питер Розса
Питер Розса
Рожденный	Роза Политцер ( 1905-02-17 ) 17 февраля 1905 г. Будапешт , Австро-Венгрия
Умер	16 февраля 1977 г. (1977-02-16) (71 год) Будапешт, Венгрия
Национальность	венгерский
Научная карьера
Поля	Математика

Рожа Петер , урожденный Рожа Политцер (17 февраля 1905 — 16 февраля 1977) — венгерский математик и логик . Она наиболее известна как «мать-основательница теории рекурсии ».

Ранняя жизнь и образование

Петер родился в Будапеште , Венгрия, как Рожа Политцер (венгерский: Politzer Rózsa). Она училась в Университете Петера Пазмани (ныне Университет Этвёша Лоранда ), первоначально изучая химию, но позже переключившись на математику. Она посещала лекции Липота Фейера и Йожефа Кюршака . Во время учебы в университете она познакомилась с Ласло Кальмаром ; они будут сотрудничать в будущем, и Кальмар призвал ее продолжать любить математику.

После окончания учебы в 1927 году Петер не смогла найти постоянную преподавательскую должность, хотя сдала экзамены на квалификацию учителя математики. Из-за последствий Великой депрессии многие выпускники университетов не смогли найти работу, и Петер начал заниматься частным репетиторством. В это же время она начала обучение в аспирантуре.

Профессиональная карьера и исследования

Первоначально Петер начала аспирантуру по теории чисел . Обнаружив, что ее результаты уже были доказаны работами Роберта Кармайкла и Л.Э. Диксона , она отказалась от математики, чтобы сосредоточиться на поэзии. Однако вернуться к математике ее убедил ее друг Ласло Кальмар , который предложил ей исследовать работу Курта Гёделя по теории неполноты . Она подготовила свои собственные различные доказательства работы Гёделя.

Петер представила результаты своей статьи по рекурсивной теории « Rekursive Funktionen » на Международном конгрессе математиков в Цюрихе, Швейцария, в 1932 году. Летом 1933 года она работала с Паулем Бернейсом в Геттингене, Германия, над длинной главой, посвященной рекурсивные функции в книге «Основы математики» , вышедшей в 1934 году под именами Давида Гильберта и Бернейс. Ее основные результаты обобщены в книге, а также появились в нескольких статьях в ведущем математическом журнале Mathematische Annalen , первой из которых была опубликована в 1934 году. Публикация была под названием Политцер-Петер, поскольку в том же году она изменила свою еврейскую фамилию Политцер на Петер. год. За свои исследования она получила докторскую степень с отличием в 1935 году. В 1936 году она представила доклад под названием « Über rekursive Funktionen der zweiten Stufe » на Международном конгрессе математиков в Осло. Эти статьи помогли основать современную область теории рекурсивных функций как отдельную область математических исследований.

В 1937 году она была назначена ответственным редактором «Журнала символической логики» .

После принятия еврейских законов в Венгрии в 1939 году Петер запретили преподавать из-за ее еврейского происхождения, и ее на короткое время поместили в гетто в Будапеште. Во время Второй мировой войны она написала свою книгу «Игра с бесконечностью: математические исследования и экскурсии» — произведение для непрофессионалов на темы теории чисел и логики. Первоначально опубликованный на венгерском языке, он был переведен на английский и как минимум на дюжину других языков.

После окончания войны в 1945 году Петер получила свою первую должность преподавателя на полный рабочий день в Будапештском педагогическом колледже. В 1952 году она стала первой венгеркой, удостоенной звания академического доктора математики. После закрытия колледжа в 1955 году она преподавала в Университете Этвеша Лоранда до выхода на пенсию в 1975 году. Она была популярным профессором, которого студенты называли «тетей Рожа».

В 1951 году она опубликовала свою ключевую работу «Рекурсивные функции» . первая книга по современной логике, написанная женщиной-автором, позже переведенная на английский язык как «Рекурсивные функции» . На протяжении всей своей жизни она продолжала публиковать важные статьи по рекурсивной теории. крупный доклад « Об обобщении теории рекурсивных функций для абстрактных множеств подходящей структуры в качестве областей » (позже опубликованный в двух частях в 1961 году). В 1959 году она представила на Международном симпозиуме в Варшаве и 1962 год ).

Начиная с середины 1950-х годов Петер применил теорию рекурсивных функций к компьютерам. Ее последняя книга, опубликованная в 1976 году, называлась Rekursive Funktionen in der Komputer-Theorie (Рекурсивные функции в теории компьютеров). Первоначально опубликованная на венгерском языке, это была вторая венгерская математическая книга, изданная в Советском Союзе, поскольку ее предмет считался незаменимым для теории компьютеров . Он был переведен на английский язык в 1981 году.

Почести

Петер была удостоена премии Кошута в 1951 году. Она получила премию Мано Беке Математического общества Яноша Бойяи в 1953 году, Серебряную государственную премию в 1970 году и Золотую государственную премию в 1973 году. В 1973 году она стала первой женщиной, избранной в Венгерскую академию наук .

См. также

• функция Аккермана
• Рекурсивная теория функций
• Список пионеров информатики

Библиография

• Альберс, Дональд Дж.; Александерсон, Джеральд Л .; Рид, Констанс , ред. (1990), «Рожа Питер 1905–1977», «Больше математических людей » , Харкорт Брейс Йованович, с. 149

• Андрасфаи, Бела (1986). «Рожа (Роза) Петер» . Периодика Политехника Электротехника . 30 (2–3): 139–145.

• Андрасфаи, Бела (1997). «Рожа Питер: основатель теории рекурсивных функций» . Женщины в науке: выборка из 16 авторов . Суперкомпьютерный центр Сан-Диего . Проверено 13 августа 2023 г.

• О'Коннор, Джей-Джей; Робертсон, Э.Ф. (2014). Архив истории математики MacTutor (ред.). «Рожа Петер» . Школа математики и статистики, Университет Сент-Эндрюс, Шотландия . Проверено 13 августа 2023 г.

• мертвая ссылка (2023). «Рожа Петер» . ЭпиГенеСис. Архивировано из оригинала 26 марта 2017 г. Проверено 14 апреля 2014 г.

• Моррис, Эди; Харклроуд, Леон (1990). «Рожа Петер: мать-основательница теории рекурсивных функций». Математический интеллект . 12 (1): 59–64. дои : 10.1007/BF03023988 . S2CID   120595680 .

• Петер, Рожа (1957). Рекурсивные функции (на немецком языке) (2-е, расширенное издание, переиздание 2021 г.). Де Грютер. дои : 10.1515/9783112573082 . ISBN  9783112573075 .

• Петер, Рожа (1961). «Об обобщении теории рекурсивных функций для абстрактных множеств подходящей структуры в качестве областей определения». Acta Mathematica Academiae Scientiarum Hungaricae . 12 (3–4): 271–314. дои : 10.1007/BF02023919 . S2CID   121988998 .

• Петер, Рожа (1962). «Об обобщении теории рекурсивных функций для абстрактных множеств подходящей структуры в качестве областей определения (продолжение)». Acta Mathematica Academiae Scientiarum Hungaricae . 13 (1–2): 1–24. дои : 10.1007/BF02033622 . S2CID   189791355 .

• Петер, Рожа (1967). Рекурсивные функции (3-е исправленное издание). Академическая пресса . ISBN  978-0125526500 .

• Петер, Рожа (1981). Рекурсивные функции в теории компьютеров . Эллис Хорвуд. п. 179. ИСБН  9780470271957 .

• Риддл, Ларри (16 января 2022 г.). «Рожа Петер» . Биографии женщин-математиков . Колледж Агнес Скотт . Проверено 13 августа 2023 г.

• Тамасси, Иштван (1994). «Интервью с Петером Розой» . Современная логика . 4 (3): 277–280.