Matemaatikud

Ajakava Fotod Raha Margid Sketch Otsima

Rózsa Péter

Sünniaeg:

Sünnikoht:

Surmaaeg:

Koht surma:

1905

Hungary

1977

Hungary

Ettekanne
TÄHELEPANU - automaatne tõlge inglise versiooni

Rózsa Péter algne nimi oli Ursula Politzer kuid 1930 ta, nagu paljud teised ungarlased, muutis oma saksa stiili nimi on Ungari üks.

Rózsa Péter õppis Lorand Eötvös University, Budapest, kus tema huvi matemaatika oli toonud Fejér 'i loengud. Veel üks oluline mõju Rózsa Peetrus László Kalmar, kes oli mehe õpilane Lorand Eötvös University.

Pärast kooli lõpetamist aastal 1927 Péter teenis elu juhendamine matemaatika, ei ole võimalik saada alaline töökoht. Tema esimene postitus, Budapesti õpetaja koolitus College, saadi 1945. Peter's aastat Õpetajate Seminaris toodetud võluv raamat mängimine lõpmatus (esimene saksa, 1955). Kui kolleegium lõppes aastal 1955 sai temast professor Lorand Eötvös Ülikooli ja jäi sellele ametikohale kuni ta pensionile 1975.

Tema esimene teadustöö teema oli mitu teooriat, kuid ta sai julge leida, et tema tulemused olid juba tõestanud Dickson. Mõnda aega Péter kirjutas luuletusi, kuid umbes 1930 oli ta julgustas naasta matemaatika poolt Kalmar. Ta tegi ettepaneku, Péter uurida Gödel "töö ning hulka dokumente sai temast kaasasutaja rekursiivne funktsioon teooria.

Walter Felscher, on isiklik side mulle [EFR] kirjeldatud kontekstis Peetruse töö rekursiivne funktsioon teooria:

Rekursiivsed funktsioone leiutati aastal 1920 s Hilbert kooli, kuid midagi erilist ei olnud neist. Arendades ideid Herbrand, Gödel määratletud üldisemalt "üldine" rekursiivne funktsioone (mida Ackermann 's funktsioon kuulub) tema Princetoni loenguid 1933-34; varsti pärast, vanad funktsioonid sai nime "primitiivne rekursiivne", ja üldiselt need kaotasid omadussõna.

Aastal artiklite seeria, alates 1934, Péter välja mitu sügavat teoreemide kohta primitiivne rekursiivne funktsioone, enamik neist on selgelt algoritmilisel sisu. Ma imetlen seda tööd, ja võib öelda, et ta võltsitud koos oma paljaste kätega, teoorias lihtsa rekursiivne funktsioonide tekkimist.

[Teisest küljest oli see Kleene, kes võttes osa Gödel 'i loengud, arendada teooriat üldiselt (sh osaline) rekursiivne ülesandeid, see on rohkem põhimõtteline kui arvutuslikku ala.]

Aastal 1951 Péter kogutud teada olnud selleks ajaks, sh tema enda tööd, raamatute Rekursive Funtionen. Ingliskeelne tõlge ilmus alles 1967. See oli esimene raamat on pühendatud ainult sellele teemale, kuid

(1) ei olnud ulatuslik peatükid selles küsimuses varem Hilbert - Bernays (1934-1939), kui mõned Peetruse töö oli kommenteeritud ja

(2) inglise keelt kõneleva maailma ei lugenud tema raamatut, kuid loe, selle asemel, Kleene 's raamatu 1952.

Aastal 1952 Kleene kirjeldatud Rózsa Peeter paberile teavitada. Amer. Math. Soc. Nagu

juhtiv toetaja spetsiaalne teooria rekursiivne funktsioone.

From mid 1950 Péter kohaldada rekursiivne funktsioon teoreetiliselt arvuteid. Aastal 1976 tema viimane raamat oli sellel teemal Rekursiivsed funktsioonid Computer Theory.

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