Математиците

Час линия Снимки Пари Марки Скица Търся

Rózsa Péter

Дата на раждане:

Родно място:

Дата на смъртта:

Място на смърт:

1905

Hungary

1977

Hungary

Представяне
ВНИМАНИЕ - Автоматичен превод от английски език

Rózsa Péter "и първоначалното име е Rósa Politzer, но през 1930 г., тя, подобно на много други Hungarians, промени си немски стил името на един унгарски.

Rózsa Péter Loránd Eötvös учи в университет в Будапеща, където си интерес към математиката е предизвикана от Fejér "и лекции. Друг един да имат важна влияние върху Rózsa Péter бе László Kalmár които е изследовател студент в Loránd Eötvös университет.

След като се дипломира през 1927 Péter получава живите уроци математика, не може да получи постоянна работа. Първия си пост в Будапеща колеж за обучение на учителите, е получена през 1945 г.. Péter на година в колеж за учители, произведени разположен на книгата играят с Infinity (първо на немски, 1955). Когато колеж приключи през 1955 г. тя става професор в Loránd Eötvös университет и остана в този пост до оттеглянето си от спорта през 1975 година.

Първата си изследователска тема е броят теория, но тя се превърна възпират от констатацията, че резултатите от нея вече беше доказано от Dickson. За известно време Péter пише стихове, но около 1930 год. е насърчавана да се върнете към математиката от Kalmár. Той предложи Péter разглежда Gödel "и работата и в поредица от статии тя се превръща в основател на recursive функция теория.

Валтер Felscher, в лично съобщение към мен [EFR], описани в контекста на Péter работата на recursive функция теория:

Recursive функции са измислени през 1920 и в Хилберт училище, но нищо не беше доказано много за тях. Развитие на идеите на Herbrand, Gödel определено по-общите "обща" recursive функции (за които Ackermann "и функция принадлежи) в Принстън си лекции 1933-34; скоро след това, старите функции, получили името" примитивен recursive ", както и на общите такива загубили прилагателно.

В поредица от статии, започва през 1934 г., Петер разработени различни дълбоко теореми за примитивни recursive функции, повечето от тях с изрично algorithmic съдържание. Възхищавам тази работа, и тя може да се каже също, че тя подправени, с гола си ръце, теорията на примитивен recursive функции в съществуването.

[От друга страна, беше Kleene които, след като присъстваха Gödel "и беседи, разработена теорията на общото (включително и частично) recursive функции; това е много повече, отколкото концептуални компютърната област.]

През 1951 Péter събрани това, което е известно с това, включително и собствената си работа, в книгата Rekursive Funtionen. Един английски превод се появява само в 1967 година. Тя е първата книга, посветена изключително на тази тема, но

(1) е имало обширна главите по този въпрос в началото на Хилберт - Bernays (1934-1939), където някои от Péter работата беше цитирана, както и

(2) на англоезични светът не прочетете книгата си, но чете, вместо, Kleene "и книгата на 1952.

През 1952 г. Kleene Péter Rózsa, описани в статията в Бул. Amer. Математика. Комитет на регионите. Като

водещ сътрудник на специалната теория на recursive функции.

От средата 1950s Péter прилага recursive функция теория за компютри. През 1976 г. ѝ бе последната книга по тази тема Recursive Функции по компютърни теория.

Source:School of Mathematics and Statistics University of St Andrews, Scotland