Рожа Петер , урожденная Рожа Политцер , (17 февраля 1905 - 16 февраля 1977) была венгерским математиком и логиком . Она наиболее известна как «мать-основательница теории рекурсии ». [1] [2]
ранняя жизнь и образование
Петер родился в Будапеште , Венгрия, как Рожа Политцер (венгерский: Политцер Рожа). Она училась в Университете Пазмани Петер (ныне Университет Этвёша Лоранда ), сначала изучала химию, но позже перешла на математику. Она посещала лекции Липота Фейера и Йожефа Куршака . Во время учебы в университете она познакомилась с Ласло Калмаром ; они будут сотрудничать в будущем, и Калмар призвал ее продолжить ее любовь к математике. [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, первую книгу женщины-автора по современной логике, которая позже была переведена на английский как Recursive Funktionen . На протяжении всей своей жизни она продолжала публиковать важные статьи по теории рекурсии. В 1959 году она представила на Международном симпозиуме в Варшаве большой доклад «Uber die Verallgemeinerung der Theorie der rekursiven Funktionen für abstrakte Mengen geeigneter Struktur als Definitionsbereiche» (позже опубликованный в двух частях в 1961 и 1962 годах). [3]
Начиная с середины 1950-х годов Петер применил теорию рекурсивных функций к компьютерам. Ее последняя книга, опубликованная в 1976 году, называлась Rekursive Funktionen in der Komputer-Theorie (Рекурсивные функции в теории компьютеров). Первоначально опубликованная на венгерском языке, это была вторая венгерская математическая книга, опубликованная в Советском Союзе, поскольку ее предмет считался незаменимым для теории компьютеров . Он был переведен на английский язык в 1981 году. [9]
Почести
Петер была удостоена премии Кошута в 1951 году. Она получила премию Мано Беке от Математического общества Яноша Бойяи в 1953 году, Серебряную государственную премию в 1970 году и Золотую государственную премию в 1973 году. В 1973 году она стала первой женщиной, избранной. в Венгерскую академию наук . [3]
Смотрите также
Рекомендации
- ^ Моррис, Эди; Харклероад, Leon (1990), "Рожа Петера: матерью - основательницей теории рекурсивных функций в", Математическая Интеллидженсер , 12 (1): 59-64, DOI : 10.1007 / BF03023988 , S2CID 120595680
- ^ "Роза Петер: основатель теории рекурсивных функций" . Женщины в науке: выбор из 16 авторов . Суперкомпьютерный центр Сан-Диего. 1997 . Проверено 23 августа 2017 года .
- ^ а б в г д Архив истории математики MacTutor. "Рожа Петер" . Школа математики и статистики Университета Сент-Эндрюс, Шотландия . Проверено 14 апреля 2014 года .
- ^ а б в "Рожа Петер" . EpiGeneSys . Проверено 14 апреля 2014 года .
- ^ Тамаши, Иштван (1994), «Интервью с Розой Петер» , Modern Logic , 4 (3): 277–280
- ^ Альберс, Дональд Дж .; Александерсон, Джеральд Л .; Рид, Констанс , ред. (1990), "Rozsa Peter 1905–1977", More Mathematical People , Harcourt Brace Jovanovich, p. 149
- ^ Андрашфаи, Бела (1986), "Роза (Роза) Петер" , Periodica Polytechnica Electrical Engineering , 30 (2–3): 139–145
- ^ Загадка, Ларри. "Рожа Петер" . Биографии женщин-математиков . Колледж Агнес Скотт . Проверено 14 апреля 2014 года .
- ^ "Рожа Петер" . Биографии женщин-математиков . Колледж Агнес Скотт . Проверено 23 августа 2017 года .